( ) Chama-se de conjunção de duas proposições p e q a proposição cujo valor lógico é a verdade quando as proposições p e q são ambas verdadeiras e a falsidade nos demais casos.

( ) A bicondicional p ↔ q e a conjunção (p → q) ˄ (q → p) são proposições compostas equivalentes.

( ) Se T é uma tautologia e C é uma contradição, então a disjunção P˅C é uma contingência.

( ) O Princípio da Identidade diz que uma proposição não pode ser simultaneamente verdadeira e falsa.