Question

Directions. Determine whether the following three arguments are valid using the truth table method. Use the Indirect Truth Table method as found in the link on Canvas. Indicate whether each is valid or not. Note that ‘//’ is used as the conclusion indicator and ‘/’ is used to separate the premises. [Note: Use only the following logical symbols: ‘&’ for conjunctions, ‘v’ for disjunctions, ‘->’ for conditionals, ‘<->’ for biconditionals, ‘~’ for negations.] Show your truth tables.

1. (S <-> ~R) / ~(R v ~A) // (S v B)

2. (E -> H) / [(E v J) & ~X] / ~(X -> ~L) // (J -> ~L)

3. (Q -> G) / (~Y -> ~G) / (~Q -> ~Y) // (G v Y)

Answer 1

ㄒㄒㄒㄒㄒㄒㄒFTTT FFT T FFT hus, we have no In con sisten In the premises → which prove +har fu ginal p tim was ow、 asttum True So, Argument < ínvalic Ascume thatthe arqument is INVALI 2. It means that we uel, place a ㅜ unde vey Premise, and F unde main Conne chive of conclusf Since, -the concu lsernle' v y)is F my ff beth hove fruth values F. コn First premise, & mws the fall eke we have consfstency the Premses. uohich argument es INVALD 드시D