Csdrhrt

If I have a set of implications, how can I prove the transitivity? In other words: I know the transitivity law, but I need to show on paper for an assignment whether the argument is valid or not.

$$
begin{align}
P&to Q\
Q&to R \
therefore P&to R
end{align}
$$

I recall something to do with assuming P and/or Q, since $Pto Q$ will always be true if P is false anyhow, and the same with $Qto R$... but I don't know how to do it on paper.

$$(1) Prightarrow Qtag{Hypothesis}$$
$$(2) Qrightarrow Rtag{Hypothesis}$$
$$quadquadunderline{(3); Pquad }tag{Assumption}$$
$$quad quadquad |(4) Q tag{1 and 3: Modus Ponens}$$
$$quadquadquad |(5) R tag{2 and 4: Modus Ponens}$$
$$(6) P rightarrow R tag{3 - 5: if P, then R}$$

$$therefore ((Prightarrow Q)land (Qrightarrow R))rightarrow (Pto R)$$


(Note: step 6 is sometimes justified by "conditional introduction": together with what you are given or have established, if by assuming P, you can derive R, then you have shown $P rightarrow R$).

Note: when I first learned propositional logic, once it was established (proven), we referred to the following "syllogism":
$$Pto Q\
underline{Qto R}\
therefore Pto Rquad$$
by citing it as the "Hypothetical Syllogism", for justification in future proofs.

Since the logic you are using is not quantified, and there are only three variables, you can prove the argument valid with an eight row truth table covering all of the possible truth values of the three variables:

P  Q  R    Premise:  P -> Q    Premise:  Q -> R:    Conclusion:  P -> R

------------------------------------------------------------------------

0  0  0                 1                   1               1

0  0  1                 1                   1               1

0  1  0                 1                   0               1

0  1  1                 1                   1               1

1  0  0                 0                   1               0

1  0  1                 0                   1               1  

1  1  0                 1                   0               0

1  1  1                 1                   1               1

Now an argument is valid if the conclusion is true whenever all the premises are true.
This means that in all the rows where both premises have a 1, we check whether the conclusion has a 1. By golly, this is the case. Therefore the argument is valid!

If we found a zero, that would be a counterexample which destroys the argument: a situation where the premises are all true, yet the conclusion is false.

In my table, the P -> Q column and its siblings are simply derived from the truth table for the conditional. P -> Q is only false when P is true, and Q is false, and true for the other three possible values of the variables.

I'm not sure about what notations you might use nor if you're using a natural deductive system, but this is the idea behind what you asked:

Suppose $Pto Q\
Qto R\$ are true.

We want to prove that $Pto R$ is true.

To do this suppose $P$ is true.

Because $Pto Q$ is true it follows that $Q$ is true.
Now because $Q$ is true, from $Qto R$ being true follows that $R$ is true.

We assumed $P$ was true and we deduced that $R$ is also true, therefore $Pto R$ as we wanted.

Although it is late, I wanted to give a simple and convincing demonstration:

(1) P -> Q (Hypothesis)

(2) Q -> R (Hypothesis)

(3) ¬Q -> ¬P (Contraposition (1))

(4) (Q -> R) ∧ (¬Q -> ¬P) (Union (2) and (3))

(5) Q ∨ ¬Q (Law of excluded middle)

(6) (Q -> R) ∧ (¬Q -> ¬P) ∧ ( Q ∨ ¬Q) (Union (4) and (5) )

  ____________________________

  (R ∨ ¬P)  (Dilemma of (6), P -> R=def.(R ∨ ¬P) Definition of logical implication)

Denote by $+$ the $or$ logic operator and by $cdot$ the $and$ logic operator.

We have $(ARightarrow B)=bar A+B$ and $(BRightarrow C) =bar B+C$

Assume $(bar A + B)=1=(bar B+C)$.

Then
$1=1cdot 1=(bar A + B)cdot (bar B+C) \
= (bar Abar B + bar A C + Bbar B + BC)\
= bar A + BC
= (bar A + B) cdot (bar A+C)
\
=bar A + C
$

The answer for $6$ is indeed, true but if you had to show it with a truth table would be as follows

$$begin{array}{cccccccc}P & Q & R & P!rightarrow! Q & Q!rightarrow! R & P!rightarrow! R & (P!rightarrow! Q)!wedge!(Q!rightarrow! R) & [(P!rightarrow! Q)!wedge!(Q!rightarrow! R)]!rightarrow! (P!rightarrow! R)\
T & T & T & T & T & T & T & T\
T & T & F & T & F & F & F & T\
T & F & T & F & T & T & F & T\
T & F & F & F & T & F & F & T\
F & T & T & T & T & T & T & T\
F & T & F & T & F & T & F & T\
F & F & T & T & T & T & T & T\
F & F & F & T & T & T & T & Tend{array}$$

As you notice above the column $(P!rightarrow! Q)!wedge!(Q!rightarrow! R)$ is the same as the column of $(P!rightarrow! R).$ So with both the hypotheses $(P!rightarrow! R)$ and $(Q!rightarrow! R)$ we can conclude that $(P!rightarrow! R).$