TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Übungen WS12/Blatt 1 - Beispiel 3
Zur Navigation springen
Zur Suche springen
Let be a tautology, a contradiction, and a contingency (i.e., is satisfiable as well as falsifiable). Which of the following formulas are (i) tautological, (ii) contradictory, (iii) contingent, or (iv) logically equivalent to
Lösungsvorschlag 3dm45t3r[Bearbeiten | Quelltext bearbeiten]
- logically equivalent to
- tautological
- contradictory
- logical equivalent to
- tautological
- contingent
Kommentar von Mononofu: Wenn 1 equivalent zu ist, dann ist es auch contingent. Selbiges gilt fuer 4. Ansonsten hab' ich das selbe.
Kommentar von Torinson: Kann ich auch so bestätigen.