約0件1ページ目

条件を指定して検索しています。すべての条件を解除する

  • 最終更新日:1時間以内
  • 対象とする言語:日本語
  • A.文の記号化について: ご所属の分野がわからないので、真理関数結合子と量化記号としては数学で一般に使われるものを使用します。 結合子:¬(否定)、→(論理包含)、∧(論理積) 量化記号:∀(全称記号)