0 Daumen
473 Aufrufe



Aussagen A,B,C sind gegeben und es soll, ohne Wahrheitstabellen, folgende Aussagenverknüpfung überprüft werden, ob sie Tautologien sind.

- A ∧ ( A => B ) => B
- ( A => B ) ∧ ( B => C ) => ( A => C )

Meine Frage ist: Wie mache ich es ohne die Wahrheitstabelle?

Verzeihung, falls diese Frage schon beantwortet wurde.

Avatar von

1 Antwort

+1 Daumen
 
Beste Antwort

Ich lass mal die Minuszeichen vor den Aussagen weg:

A ∧ ( A => B ) => B  Wenn A wahr ist und aus A folgt B, ist auch B wahr. Wenn A falsch  ist, kann man daraus alles folgern, insbesondere B.
( A => B ) ∧ ( B => C ) => ( A => C ). Der ⇒ ist transitiv.

Avatar von 123 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community