Eine Aussagenform ist allgemeingültig, wenn bei jeder Belegung der Aussagenform eine wahre Aussage entsteht. Beispiel: a→b = ¬a˅b. In Worten: Die Aussage “Wenn es regnet, bleibe ich zu Hause” ist logisch äquivalent mit der Aussage “Es regnet nicht oder ich bleibe zu Hause”.
Hat Dir dieser Beitrag gefallen? Mit dem Matheblog.de RSS feed immer auf dem neuesten Stand!
