O condicional é um operador lógico que subjaz à argumentação dedutiva, ou seja, às conclusões que se utilizam do raciocínio dedutivo, ainda que o sujeito do pensamento faça esse exercício inconscientemente.

Considere o seguinte contexto, que se assume verdadeiro:

Em uma instituição de ensino, para que um aluno seja aprovado em qualquer disciplina de qualquer das matrizes dos cursos de graduação, é necessário (mas não suficiente) que ele obtenha nota final maior ou igual a 6.

Considere, ainda, a afirmação condicional, sobre Carolina, aluna da instituição mencionada, que cursou a disciplina Lógica:

“Se Carolina foi aprovada na disciplina Lógica, então ela obteve nota final maior ou igual a 6.”

e as assertivas a seguir:

I – O condicional será falso no caso em que Carolina obteve nota final menor do que 6 e foi aprovada.

II - O condicional será falso no caso em que Carolina obteve nota final maior ou igual a 6 e não foi aprovada.

III - O condicional será falso no caso em que Carolina obteve nota final maior ou igual a 6 e foi aprovada.

IV - O condicional será falso no caso em que Carolina obteve nota menor do que 6 e não foi aprovada.