Difference between revisions of "TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Übungen WS12/Blatt 1 - Beispiel 4"

From VoWi
Jump to navigation Jump to search
(Die Seite wurde neu angelegt: „ Give a proof or a counter-example for the following statements: (a) If <math>\phi</math> is a '''contradiction''', then <math>\phi</math> is a tautology and <…“)
(No difference)

Revision as of 20:35, 27 October 2012

Give a proof or a counter-example for the following statements: (a) If \phi is a contradiction, then \phi is a tautology and \psi is a contradiction. (b) if \phi \land \psi is a tautology, then \phi is a tautology or \psi is a tautology. (c)


Lösungsvorschlag