Sind folgende Aussagenverknüpfungen Tautologien ohne Wahrheitstabelle

Question

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.

Answer 1

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.