Which is the first conjunct of "((P&Q)&R)"?
(P&Q)
Which is the second disjunct of the first conjunct of "((P∨Q)&R)"?
Q
Suppose the antecedent of a conditional is a disjunction where both disjuncts are "P", and the consequent is the negation of the antecedent. What does this conditional look like?
((PvP)→~(PvP))
Give an example of a conjunctive WFF where the first conjunct is the negation of the second conjunct.
(~P&P), or (~Q&Q), or (~(P&S)&(P&S)), etc.