TU Wien:Mathematische Logik 1 VU (Ciabattoni)/Prüfung 2011-02-02

Gedächtnisprotokoll

1) Ist folgende Äquivalenz richtig (Richtige Antwort: Ja)

A,B |= C iff A^B |=C

2) Für 2 Formeln entweder Beweis oder Kripke-Gegenbeispiel für intuitionistische Logik finden

eine (Valide) war glaub ich

--(A v -A)

die andere (Gegenbeispiel)

A v ( A -> ( B v -B ))

3) Für 2 prädikatenlogische Formeln herausfinden ob sie valide, erfüllbar oder unerfüllbar sind in klassischer Logik