(a)

  1. ¬R
  2. RN
  3. RF
  4. R→¬F
  5. F↔¬R
  6. ¬R→¬N

(b) Die Anworten müsst ihr wohl oder übel aus den Wahrheitstafeln ablesen, nachdem ihr euch darüber klar geworden seid, wie es denn mit den Wahrheitswerten von F, N und R so aussieht. Wenn für euch F wahr ist, solltet ihr jetzt anhalten, bevor ihr irgendwen übermangelt.

Interessant ist allerdings, dass die Aussage (3) wahr ist, egal, wie ihr R und N belegt. Aussagen dieser Art werdet ihr in der Logik als Tautologie kennen lernen – sie spielen, wie man sich vielleicht vorstellen kann, eine große Rolle, wenn man sich Gedanken über Schlussprozesse macht.

Wenn ihr meint, dass auch Aussage (1) immer wahr ist, liegt ihr vielleicht real richtig (obwohl ihr natürlich unter Dach Rad fahren könntet), aus Sicht der (Aussagen-) Logik aber falsch. Eine Tautologie wird eine Aussage erst, wenn sie für alle Belegungen wahr bleibt, nicht nur für irgendwelche, die ihr gerade für plausibel haltet.