0:00
難易度: 初級カテゴリ: 命題論理タイプ: 式入力

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

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

使用する記号:

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

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