連言

論理学において、「PかつQ」という形の命題を連言と呼ぶ。

この証明では、二つの補題を連言で結びつけることによって結論を導いている。

連言命題が真であるためには、構成するすべての命題が真でなければならない。