# Translate the following sentence into propositional form. Use the letters suggested for affirmative statements.

~ tilde

. conjunction

v disjunction

> implication

= biconditional

1. Translate the following sentence into propositional form. Use the letters suggested for affirmative statements.

If today is Saturday and it is not raining, then we will play golf. (S,R,G)

2. Translate the following sentence into propositional form. Use the letters suggested for affirmative statements.

Class would be cancelled today if it was snowing. (C,S)

3. Translate the following sentence into propositional form. Use the letters suggested for affirmative statements.

Mulder believes that the truth is out there but Scully does not. (M,S)

4.Translate the following sentence into propositional form. Use the letters suggested for affirmative statements.

Logic is not difficult if and only if you study the material. (L,M)

Question 4 answers

Question 5

Translate the following sentence into propositional form. Use the letters suggested for affirmative statements.

Neither Brazil nor Argentina are in North America. (B,A)

Question 6

If A,B, and C are TRUE and X,Y, and Z are FALSE what is the truth value of the following proposition?

~(B v C)> (X = Y)

Question 7

If A,B, and C are TRUE and X,Y, and Z are FALSE what is the truth value of the following proposition?

A > [A >(A > Z)]

Question 8

If A,B, and C are TRUE and X,Y, and Z are FALSE what is the truth value of the following proposition?

A . [(X v Y) > (B > ~A)]

Question 9

Determine if the following is a Well Formed Formula.

~~D . (A > B)(X v Y)

Question 9 answers

Question 10

Determine if the following is a Well Formed Formula.

(L v ~Q) . ~(~A = ~B)

Question 11

Determine if the following is a Well Formed Formula.

A . (B > C > E)

Question 12

Determine if the following is a Well Formed Formula.

(L . M) v (G = Q > R)

Question 13

Determine if the following is a Well Formed Formula.

D = [~E . (F v G)]

Question 14

Construct a truthtable to determine whether the following proposition is tautologous, self-contradictory, or contingent.

P > [P > (P > P)]

Question 15

Construct a truthtable to determine whether the following proposition is tautologous, self-contradictory, or contingent.

(A v B) . ~[~A > (B v A)]

Question 16

Construct a truthtable to determine whether the following proposition is tautologous, self-contradictory, or contingent.

[(A > B) . (B > A)] . ~(A = B)

Question 17

Construct a truthtable to determine whether the following proposition is tautologous, self-contradictory, or contingent.

(S > R) . (S . ~R)

Question 18

Use truth tables to determine whether the following propositions are logically equivalent, contradictory, consistent, or inconsistent.

~A = X

(X . ~A) v (A . ~X)

Question 19

Use truth tables to determine whether the following propositions are logically equivalent, contradictory, consistent, or inconsistent.

R v ~S

S . ~R

Question 20

Use truth tables to determine whether the following propositions are logically equivalent, contradictory, consistent, or inconsistent.

(X > Y) > Q

X > (Q > Y)

Question 21

Construct a truth table to determine whether the following argument is valid or invalid.

A > (N v Q) / ~(N v ~A) // A > Q

Question 22

Construct an indirect truth table to determine whether the following argument is valid or invalid.

(X v Y) > (A . B) / (~X v ~Y) > E // (~A v ~B) > E

Question 23

Construct an indirect truth table to determine whether the following statements are consistent or inconsistent.

(Q v K) > C / (C . F) > (N v L) / C > (F . ~L) / Q . ~N

Question 24

If A, B, and C are TRUE and X, Y, and Z are FALSE and P and Q are UNDETERMINED what is the truth value of the following proposition?

B > (Z . ~P)