aussagenlogik ex falso quodlibet

Question

ich komm bei der Aufgabe nicht weiter.

Ich hab mir überlegt, dass ex falso quodlibet gilt und Pwter damit immer zur Uni fährt. Jedoch bin ich mir null sicher und was ist, wenn Peter nicht mit dem Auto an der Uni ist?

Answer 1

wie schön, dass jeder Latein gelernt hat.

\( A \Rightarrow B \) ist äquivalent mit \( \neg B \Rightarrow \neg A \).

Also:

\( {\rm Regen} \Rightarrow {\rm Auto} \quad\iff\quad \neg {\rm Auto} \Rightarrow \neg {\rm Regen} \).

Du hast nur eine Aussage über Regen, Du hast keine Aussage über Nicht-Regen.

Grüße,

M.B.

Answer 2

Hallo like,

sei p = "Peter fährt mit dem Auto zur Uni",  r = "es regnet"

 r ⇒ p   ≡  ¬ p ∨ r  sei wahr, dann muss mindestens eine der Aussagen ¬p oder q wahr sein:

wenn  ¬ p  ,  dann wissen wir nichts über das Wetter

wenn p,   dann muss r wahr sein, also regnet ist.

Gruß Wolfgang