Roland Meyer SoSe 2013

Belegungen und Bewertungen (Fort.)
p q r q → r p ∧q p → (q → r) (p ∧q) → r A
0 0 0 1 0 1 1 1
0 0 1 1 0 1 1 1
0 1 0 0 0 1 1 1
0 1 1 1 0 1 1 1
1 0 0 1 0 1 1 1
1 0 1 1 0 1 1 1
1 1 0 0 1 0 0 1
1 1 1 1 1 1 1 1
A ist wahr unabhängig von den Werten von p,q,r, d.h. für jede
Bewertung ϕ. Weitere solche Formeln sind etwa:
(A → (B → A)), (A → (B → C)) → ((A → B) → (A → C)) oder
((¬A → ¬B) → (B → A)).
Roland Meyer (TU Kaiserslautern) Logik SoSe 2013 24 / 189