論理結合子の同義語

• 論理AND、合接、論理積、連言、コンジャンクション
• 論理OR、離接、論理和、選言、ディスジャンクション
• 論理NOT、否定、{ニ | ネ}ゲーション
• 含意、条件{法}?、インプリケーション

多義語：

• 矛盾： 矛盾命題＝偽命題＝偽的命題〈falsy prop.〉、演繹システムが矛盾している〈inconsistent〉
• 完全性： 演繹完全性〈{syntactic{al}? | deductive} completeness〉、意味完全性〈semantic completeness〉
• 意味完全性： 十全性〈adequate〉、健全かつ十全