ESTRUTURAS LÓGICAS

CONCEITOS

ATENÇÃO

Não são proposições:

 Sentenças interrogativas: “O que você comeu hoje?”

(não podemos classificar em verdadeiro ou falso)

 Sentenças imperativas: “Vai lá e depois me conta como foi.”

(também não podemos classificar em verdadeiro ou falso)
 Sentenças exclamativas: “Que legal!!!”
(como classificar em verdadeiro ou falso?)

 Sentenças sem verbo: “Casa azul”

(lembrando que “A casa é azul” possui verbo... e pode ser classificada em verdadeiro
ou falso, mas não é esse o caso aqui)

 Sentenças abertas: São sentenças que podem mudar de valor lógico (em um
momento serem Verdadeiras e em outro, Falsas)
(Exemplo: 𝑥 + 𝑦 = 1. Se 𝑥 = 1 𝑒 𝑦 = 0, a equação é verdadeira, mas se 𝑥 = 2 𝑒 𝑦 = 0, ela é
falsa)

1) Princípios de Lógica

Existem alguns princípios de lógica. São eles:

Princípio da Exclusão do Terceiro Termo: só existem duas opções para uma

proposição: ou ela é Verdadeira ou ela é Falsa. Não há um meio-termo entre Verdadeiro
ou Falso.

Princípio da Não-Contradição: uma proposição não pode ser Verdadeira e Falsa ao

mesmo tempo.

2) Estruturas Lógicas
2.1) Conectivo E ˄

CONECTIVO E

VeV=V
VeF=F
FeV=F
FeF=F
 2.2) Conectivo OU ˅
CONECTIVO OU
V ou V = V
V ou F = V
F ou V = V
F ou F = F

2.3) Conectivo SE ... ENTÃO

ESTRUTURA SE...ENTÃO

Se V então V = V Se a primeira premissa é

Se V então F = F FALSA, a sentença como
um todo é verdadeira.
Se F então V = V
Se F então F = V

2.4) Conectivo SE ... E SOMENTE SE

CONECTIVO SE E SOMENTE SE

V se e somente se V = V
V se e somente se F = F
F se e somente se V = F
F se e somente se F = V

O que significa: A primeira proposição simples exprime uma condição para a

segunda, enquanto a segunda também exprime uma condição para a primeira. A frase
só estará correta se ambas as proposições forem Verdadeiras ou forem Falsas.

2.5) CONECTIVO OU ... OU ⊻

Ou um, ou outro. A frase só estará correta se uma das proposições for

Verdadeira e a outra for Falsa (as duas não vale). É o contrário da estrutura
Se e somente se, que vimos acima.
 CONECTIVO OU...OU

Ou V ou V = F
Ou V ou F = V
Ou F ou V = V
Ou F Ou F = F

2.6) Negação de Proposição ~ ou ¬

Essa operação inverte o valor lógico de uma proposição. Assim, se ela

originalmente era verdadeira, após a negação ela torna-se falsa. O contrário
também vale: se ela era falsa, após a negação torna-se verdadeira.

CONECTIVO TABELA-VERDADE SÍMBOLOGIA

VeV=V
e
VeF=F
p𝖠q
FeV=F
conjunção
FeF=F

V ou V = V
ou
V ou F = V
p∨q
F ou V = V
disjunção
F ou F = F

Ou ... ou ou V ou V = F
ou V ou F = V
p⊻q
disjunção ou F ou V = V
exclusiva ou F ou F = F

Se V então V = V
Se ... então
Se V então F = F
p→q
Se F então V = V
condicional
Se F então F = V

V se e somente se V = V
se e somente se
V se e somente se F = F
p↔q
F se e somente se V = F
bicondicional
F se e somente se F = V