Aussagenlogik: Die Sonne scheint nur, wenn es genau so warm ist wie im Februar.

Question

Die vorkommenden Aussagen sind

R: Es regnet
S: Es schneit.
So: Die Sonne scheint.
J: Im Januar ist es warm.
F: Im Februar wird es warm.

Die Bauernregeln für Januar:

(i) Wenn es schneit, wird es im Februar wärmer.

Da habe ich: S → F = ¬S ∨ F

(ii) Die Sonne scheint genau dann nicht, wenn es regnet.

Da habe ich: R → ¬So

(iii) Es schneit oder regnet

Da habe ich: S ∨ R

(iv) Die Sonne scheint nur, wenn es genau so warm ist wie im Februar.

Und hier hapert's...
Und sind die anderen Verknüpfungen der Aussagen richtig?
 

Answer 1

Könnte das eventuell wie folgt lauten?

(iv) Die Sonne scheint nur, wenn es genau so warm ist wie im Februar.

(¬J∧¬F) ∨ (J∧F) <==> So

Wie ist das bei (iii) Es schneit oder regnet

Jetzt ist die Frage. Im Sprachlichen schließt das eine eventuell das andere aus. Das müsste man auch mathematisch nachbilden.

Mathematisch bedeutet ein oder nicht ein entweder oder.