< Aussagenlogik < Implikationsdistribution < Wahrheitstabelle < Aufgabe

Wenn falsch ist, so sind alle drei Implikation wahr, in diesem Fall sind also beide Seiten des Äquivalenzpfeiles wahr. Sei nun wahr. Dann sind die Implikationen genau dann wahr, wenn ihr Nachsatz wahr ist. Die rechte Seite ist also genau dann wahr, wenn und

wahr sind. Dies gilt aber auch für die linke Seite.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.