論理的真理
論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる。例えば、2つ以上の言明が論理的に両立しないということは、それらの論理連結語が論理的に偽であるということと同値である。また、ある言明が他の言明の否定と論理的に両立しない場合、その言明からはもう一つの言明が帰結する。ある言明が論理的に真であるのは、その否定が論理的に偽である場合のみである。ある言明とその否定の言明は矛盾していなければならない。このようにして、全ての論理連結語は、論理的真理を保持するという観点から表現することができる。言明の論理的な形式は、その意味的または統語的構造と論理定項の配置によって決定される。論理定項は、言明の意味を制限する言語と組み合わせたときに、その言明が論理的真理であるかどうかを決定する。従って、言語に関係なく全ての論理定項数を区別する方法が決まらない限り、言明や論証の完全な真偽を得ることは不可能である。