Se (p) é condição necessária, mas não suficiente para (q), então (q) → (p).

Uma proposição condicional tem valor falso se ambos, antecedente e consequente, forem falsos.

Para que a conjunção entre (p) e (q) tenha valor verdadeiro, basta que uma das proposições tenha valor verdadeiro.

Se (p) e (q) forem proposições lógicas com valor falso, então a bicondicional entre (p) e (q) é falsa.

A negação da conjunção entre duas proposições lógicas (p) e (q) é a conjunção da negação de (p) e da negação de (q).