An argument consists of a premise and a conclusion.
If the truth table for an argument leads to a tautology, then the argument is valid.
Consider the following propositions…:
p: It rains
q: You stay indoors
And their negations:
¬p: It does not rain
¬q: You do not stay indoors
From these propositions I have constructed the following argument:
If it rains then you stay indoors.
It does not rain.
Therefore, you do not stay indoors.
”If it rains then you stay indoors.
It does not rain”. – The premise.
”Therefore, you do not stay indoors.” – The conclusion.
The argument in symbols:
What we need to show in a truth table is:
∧ ¬ ¬
to state whether it is a valid argument or not.
P. 255, review set 8B, 7a. Then logic examination questions or revision exercises.