Guinguette Marais Poitevin

Podając stwierdzenie if-then „if p , then q ,” możemy stworzyć trzy powiązane stwierdzenia:

Stwierdzenie warunkowe składa się z dwóch części, hipotezy w klauzuli „if” i wniosku w klauzuli „then”. Na przykład: „Jeśli pada deszcz, to odwołują lekcje”.
„Pada deszcz” jest hipotezą.
„Odwołują szkołę” jest wnioskiem.

Aby utworzyć zdanie odwrotne do zdania warunkowego, zamień hipotezę i wniosek.
Odwrotność zdania „Jeśli pada deszcz, to odwołują szkołę” to „Jeśli odwołują szkołę, to pada deszcz”.

Aby utworzyć odwrotność stwierdzenia warunkowego, weź negację zarówno hipotezy, jak i wniosku.
Odwrotność „Jeśli pada deszcz, to odwołują szkołę” to „Jeśli nie pada deszcz, to nie odwołują szkoły”.

Aby utworzyć kontrapozytyw stwierdzenia warunkowego, zamień hipotezę i wniosek stwierdzenia odwrotnego.
Przeciwstawne do „Jeśli pada deszcz, to odwołują szkołę” jest „Jeśli nie odwołują szkoły, to nie pada”.

Stwierdzenie	Jeśli p , to q .
Converse	If q , then p .
Inverse	If not p , then not q .
Contrapositive	If not q , then not p .

Jeśli stwierdzenie jest prawdziwe, to kontrpozytyw jest również logicznie prawdziwy. Jeśli odwrotność jest prawdziwa, to odwrotność jest również logicznie prawdziwa.

W powyższym przykładzie, ponieważ hipoteza i wniosek są równoważne, wszystkie cztery stwierdzenia są prawdziwe. Ale nie zawsze tak będzie!