Lógica sentencial (ou proposicional): proposições simples e compostas; tabelas-verdade;

equivalências; leis de De Morgan; diagramas lógicos.

Proposições

● As proposições são frases que podem ser interpretadas

como verdadeiras ou falsas.

● Frases interrogativas, exclamativas, imperativas, sem verbo

ou com sujeito inespecífico (ele,ela,alguém…) não podem
ser proposições.

Simples

● Possui 1 sujeito e 1 predicado.

Composta

● É formada por proposições simples conectadas por

operadores lógicos.

Operadores lógicos

● São eles:

○ E, representado por ^
○ Ou, representado por v
○ Ou ou, representado por v com uma seta embaixo
 ○ Se/então, representado por →
○ Se/somente se, representado por ↔

● Sobre as suas tabelas lógicas…

○ E — Verdadeiro quando ambas forem verdadeiras.

■ V+V=V

○ Ou — Falso quando ambas forem falsas.

■ F+F=F

○ Ou ou — Quando os valores forem iguais, o resultado

também será.

■ F+F=F
■ V+V=V

○ Se/então — Falso quando a primeira for verdadeira e a

segunda for falsa.

■ V+F=F

○ Se/somente se — Verdadeiro quando ambas forem

iguais.

■ V+V=V
■ F+F=V
Tautologia e Contradição

Tautologia → Resultados lógicos sempre verdadeiros. Quando as

proposições ligadas podem, ou não, ser verdadeiras.

Contradição → Resultados lógicos sempre falsos. Quando as

proposições ligadas não podem ser verdadeiras ou falsas, pois
se contradizem.

Qualquer outra situação é chamada de contingência.

Tabelas-verdade
● Sempre incluirá os valores P e Q, que funcionam da seguinte forma,
sempre:

P Q
V V
V F
F V
F F

Quantificadores

● Destaca-se o de negação, representado por ¬.

● Ele inverte os valores das proposições.

Condições suficientes e necessárias

● A proposição p → q, ou p se/então, pode ser lida:

○ p é suficiente para q
○ q é necessária para p

● A proposição ↔, ou p se/somente, pode ser lida:

○ p é necessária e suficiente para q.

3.4 Leis de De Morgan.

3.5 Diagramas lógicos.

Leis de Morgan

e, simbolizado por ^, é chamado de conjunção.

ou, simbolizado por v, é chamado de disjunção.

se/então, simbolizado por ->, é chamado de condicional.

Temos, então:

1. a negação da conjunção
2. a negação da disjunção
3. a negação da condicional

Negação da conjunção > E

Composta pelo seguinte:

Não P ou Não Q

Ambos são negados, e passa a ser utilizada a partícula OU.

Exemplo:

Lola gosta de pão e Amanda gosta de queijo.

Negação…

Lola não gosta de pão ou Amanda não gosta de queijo.

Negação da disjunção > Ou

Composta pelo seguinte:

Não P e Não Q

Ambos são negados, e passa a ser utilizada a partícula E.

Exemplo:

Lola gosta de pão ou Amanda gosta de queijo.

Negação…

Lola não gosta de pão e Amanda não gosta de queijo.

Negação da condicional > Se/então

Composta pelo seguinte:

P e Não Q

Lembre-se da regra do MANÉ: MAntém a primeira e NEga a

segunda.

A negação da condicional nunca começa com “se”.

Há a manutenção da primeira, e a negação da segunda.

Exemplo:
Se Lola gosta de pão, então Amanda gosta de queijo.

Negação…

Lola gosta de pão e Amanda não gosta de queijo.

CUIDADO!!

Nem sempre a condicional está explícita. Tente converter a

frase para o formato, ou checar se ela exprime uma condição.

Diagramas lógicos

As proposições podem ser entendidas através do diagrama de

Venn.

Os diagramas lógicos geralmente representam proposições

categóricas, que se referem a todo, nenhum e algum.

Proposições categóricas

Podem ser universais, quando falam de todo ou nenhum, ou

particulares, quando falam de algum.
São elas:

Universal afirmativa - Todo A é B

É representada por A c B.

⊚
(A está dentro de B).

Universais afirmativas não são recíprocas. Todo A é B não

significa que Todo B é A.

Universal negativa - Nenhum A é B

É representada por A c/ B.

OO
(A não está dentro de B, e vice-versa).
Universais negativas são recíprocas. Se nenhum A é B, nenhum
B é A.

Particular afirmativa - Algum A é B

(Há uma intersecção entre A e B).

Particulares afirmativas são recíprocas. Se algum A é B, algum B

é A.

Em substituição a “algum”, podem ser empregadas as

expressões…

“pelo menos um”

“ao menos um”
e “existe pelo menos um”
Particular negativa - Algum A não é B

Destaca-se a parte de A que não está em intersecção com B.

Particulares negativas não são recíprocas. Se algum A não é B,

isso não quer dizer que algum B não é A.

Em substituição a “algum x não é”, podem ser empregadas as

expressões…

“algum não x é ”
“nem todo x é”
“existe um x que não é”
“pelo menos um x não é”
“ao menos um x não é”
“existe pelo menos um x que não é”

Negação das proposições categóricas

Para tanto…
Uma proposição universal se torna particular.

(e vice-versa).

Uma afirmativa se torna uma negativa.

(e vice-versa).