A condicional de duas proposições p e q é a proposição “se p, então q”, representada por “p → q”, cujo valor lógico é falso (F) quando o valor lógico de p é verdadeiro (V) e o valor lógico de q é falso (F), e será verdadeiro (V) nos demais casos.

A condicional de duas proposições p e q é a proposição “se p, então q”, representada por “~ p”, cujo valor lógico é o oposto ao da proposição q.

A condicional de duas proposições p e q é a proposição “se p, então q”, representada por “p !$ \land !$ q”, cujo valor lógico será a verdade (V) se ambas as proposições p e q forem verdadeiras e será a falsidade (F) nos outros casos.

A condicional de duas proposições p e q é a proposição “se p, então q”, representada por “p !$ \lor !$ q”, cujo valor lógico será verdade (V) se pelo menos uma das proposições p e q for verdadeira e será falso (F) se ambas p e q forem falsas.

A condicional de duas proposições p e q é a proposição “se p, então q”, representada por “p ↔ q”, cujo valor lógico é verdadeiro (V) quando p e q têm o mesmo valor lógico, ou seja, se p e q são ambas verdadeiras, ou ambas falsas, e a falsidade (F) nos demais casos, ou seja, quando os valores lógicos de p e q são opostos.