Glossário › Português

O que é Proposição lógica?

Proposição é toda sentença declarativa à qual se pode atribuir um único valor lógico: verdadeiro ou falso. Frases interrogativas, exclamativas, imperativas e as que dependem de contexto para ter valor não são proposições.

Não são proposições: Que horas são? (interrogativa), Estude! (imperativa), Que dia lindo! (exclamativa) e Ele é alto (sentença aberta: depende de quem é "ele").

Os conectivos formam proposições compostas. A conjunção ("e") só é verdadeira quando as duas partes são verdadeiras. A disjunção ("ou") só é falsa quando as duas são falsas.

O condicional ("se… então") é o que mais derruba: ele só é FALSO quando o antecedente é verdadeiro e o consequente é falso. Em todos os outros casos é verdadeiro — inclusive quando o antecedente é falso.

A negação do condicional não é outro condicional: negar "se A então B" resulta em "A e não B".

Como a banca derruba: Condicional só é falso em V → F. E a negação de "se A então B" é "A e não B", nunca "se A então não B".

Termos relacionados

Definição de caráter informativo, para estudo. As regras aplicáveis a cada caso estão na legislação vigente e, em concurso, no edital.