Logic and Reasoning Statements
If
then
No, countermodel:
If
and
then
Proof by contradiction:
If this is false the first part needs to hold, while the second doesn't.
Thus
For the first part to hold, as
If
then
Proof by contradiction:
We need an interpretation
