Zeigen, dass Aussage widerlegbar, erfüllbar, unerfüllbar oder Tautologie ist

Question

Wie zeige ich, dass eine Aussage widerlegbar, erfüllbar, unerfüllbar oder eine Tautologie ist?

Beispielsweise habe ich eine Aussage wie diese: (A → (B ↔ ¬C)) ∧ A wie kann ich zeigen, welche der vier Sachen diese Aussage ist?

Comments

Du kannst für A, B, C Beispiele wählen!

lul

Answer 1

Mit einer Wahrheitswertetabelle.

widerlegbar, wenn eine Zeile f ergibt

erfüllbar, wenn eine Zeile w ergibt

unerfüllbar, wenn alle Zeilen f ergeben

Tautologie, wenn alle Zeilen w ergeben.