0:00
初級命題論理式入力

次の文を論理記号を使って表しなさい:

「私が疲れているならば眠る、ということは成り立たない」

使用する記号:

  • R は「私は疲れている」
  • S は「私は眠る」
  • は含意
  • ¬ は否定(not)

計算機で使用可能な記号を使って答えを入力してください。