基本的用語
記号
| ¬ | 否定 |
| ∨ | 論理和(Logical disjunction=OR, 離接;りせつ、選言;せんげん) |
| ∧ | 論理積(Logical conjunction=AND, 合接;ごうせつ、連言;れんげん・れんごん) |
論理包含(ろんりほうがん)・含意(がんい; =>)
前提命題Aから論理的な帰結として命題Bが成り立つ場合の、AとBの形式的な関係。
この場合、「AがBを含意する」という。
同値(どうち)、両含意(りょうがんい; <=> または IFF)
2つの命題が共に真または共に偽のときに真となる論理演算
Link
Coq
論理包含
論理積
論理和
同値