Homework SourseUse truth tables to determine if the below argument form is
Use truth tables to determine if the below argument form is valid. Indicate which columns represent the premises and which represent the conclusion. Write a sentence explaining how the truth table supports you answer. p p rightarrow q ~ q v r r
Solution
Let us first calculate the truth table. Arguments are valid if we can reach a tautology (All 1s)
As we have found the tautology we can say the arguments are valid.
| p | q | p -> q | ~q | r | ~q v r |
| T | T | T | F | T | T |
| T | F | F | T | F | T |
| F | T | T | F | T | T |
| F | F | T | T | F | T |
