Wie Aussage nachweisen?

Question

Aufgabe:

Weise nach, dass \( A \wedge B \wedge C \models A \vee B \vee C \).

Problem/Ansatz:

Grundsätzlich hab ich umgeschrieben durch, Distributivgesetz und Indenitätsgesetz (also von linke Seite zur Rechten). Jedoch wie genau soll ich das nachweisen? Weil in nicht allen Fällen impliziert 1. Gleichung .-> 2.Gleichung (A=1, B=0, C=0), sondern nur in bestimmten?

Answer 1

\(A \wedge B \wedge C\) ist genau dann wahr, wenn \(A\), \(B\) und \(C\) wahr sind.

Wenn \(A\), \(B\) und \(C\) wahr sind, dann ist auch \(A \vee B \vee C\) wahr.