4. Use the truth table method to decide for the following pairs of formulas whether 1 logically implies 2, or 2 logically implies 1, or both, or neither.
b. ((2) (p v q) ⊃ J q
d. (1) (p. q) v ~ r (2) p. (q v ~ r)
.6. Symbolize the following and then test their forms to determine whether they are tautologous, contradictory, or contingent
h. John will get a job if and only if he will run out of money if and only if he doesn't get a job.
j. John will get an A in logic if and only if he does not get an A in physics, but he won't get an A in either one.
Logical Truth Table Implications that are both biconditional and complex. A twofold implication (also referred as a biconditional sentence) is a sort of synthetic assertion that is created by using the biconditional function to link two simple assertions. A dual symbol denotes the schedule user.
Comments
Leave a comment