00:01
So, here the conditional logic is if p and q are logically are logically equivalent, logically equivalent, then the condition p only if q is p only if q is a tautology, is a tautology and the vice versa is also true.
00:36
So, we have that we have to create that truth table for p, small q, small r, p disjunct q, p disjunct r, q conjunct r, p disjunct q conjunct r and then p disjunct q whole conjunct p disjunct r and then that final relation that is p disjunct p disjunct q conjunct r, q conjunct r that would be valid if and only if p conjunct q, sorry p disjunct q conjunct p disjunct r is valid.
01:37
So, now let us just put the truth values there for the first column, it would be four times truth, then false, false, false, false.
01:48
For the second column, it would be two times truth, it would be two times truth, then two times false, again two times truth, again two times false.
02:01
The third column that is r, it would be just two false, true, false, true, false, and then true and false.
02:11
Now, p conjunct q, p disjunct q would be true, true, false, false, then that would be again false, then false, false and false would be again false and again false...