Test 1: Formal Logic

TEST 1
MTH 305
JULY 7, 2019

Name :
MTH 305
Test 1: Formal Logic
Statements, Symbolic Representation, and Tautologies
1) Let A, B, C, and D be the following statements:
A: The villain is French.
B: The hero is American.
C: The heroine is British.
D: The movie is good.
Translate the following compound statements into symbolic form, (a propositional wff).
a. The hero is American and the movie is good.
Sol.
B∧ D
b. If the movie is good, then either the hero is American or the heroine is British.
Sol.
D →(B ∨ C)
c. The hero is not American but the villain is French.
Sol.
∼ B∧ A