LB - Blog Logo

My Blog

Logic and Reasoning Statements

If AB then ¬A¬B

No, countermodel:
A:=0,B:=1 then AB holds but ¬A¬B doesn't

If AB and ABC then AC

Proof by contradiction:
If this is false the first part needs to hold, while the second doesn't.
Thus A and C need to be A:=1 and C:=0 , because of AC .
For the first part to hold, as A:=1 , B also has to be 1 . However that means C , which will always be false.
There is no interpretation I so that this statement is wrong. the statement is true

If ABAB then AB

Proof by contradiction:
We need an interpretation AB i.e. A¬B and B¬A . However then AB is never true, but AB is always true. ABAB does not hold. There is no interpretation I so that the statement is wrong. the statement is true