Lógica Proposicional

Conectivos Proposicionais

Um conectivo proposicional é algo que posso usar para criar uma nova
proposição a partir de uma ou mais proposições

Ex:
“Eu acredito que…”
“Está chovendo” → “Eu acredito que está chovendo”

“Eu odeio quando…”

“Chove” → “Eu odeio quando chove”
Conectivos Vero-Funcionais

Conectivos Vero-funcionais são conectivos que criam uma nova

proposição conectando duas ou mais proposições, de tal maneira que a
verdade ou falsidade da proposição resultante é função apenas do valor de
verdade das proposições originais

Ex: Conjunção
“Está chovendo”
“Está frio”
→ “Está chovendo & está frio”
Conectivos Vero-Funcionais

Não ¬
& ∧
ou ∨
Se … então →
…. se, e somente se,... ↔
Tabela de Verdade

& ∧ P Q P∧Q

V V V

V F F

F V F

F F F
Tabela de Verdade e Validade

P Q P∧Q P∧Q
Logo, P
V V V
P∧Q
V F F Logo, Q

F V F P
Q
F F F Logo, P ∧ Q
Tabela de Verdade e Validade

Não ¬
P ¬P

V F

F V
Tabela de Verdade e Validade

Não ¬
P ¬P ¬¬P

V F V

F V F
Tabela de Verdade e Validade

ou ∨ P Q P∨Q

V V V

V F V

F V V

F F F
 Tabela de Verdade e Validade

Ou foi o Mordomo ou foi o jardineiro

P Q ¬Q P∨Q
Não foi o jardineiro
V V F V Logo, foi o Mordomo

V F V V P∨Q
¬Q
F V F V Logo, P

F F V F
 Tabela de Verdade e Validade

Se … então → P Q P→Q

V V V

V F F

F V V

F F V
 Tabela de Verdade e Validade

P Q ¬Q P & ¬Q ¬(P & ¬Q)

¬(P & ¬Q) éV
V V F F V
Logo, P & ¬Q éF
Logo, Se P é V, então ¬Q é F
V F V V F
Logo, Se P é V, então Q é V

F V F F V

F F V F V
Tabela de Verdade e Validade

P Q P→Q Se P então Q
P
V V V Logo, Q

V F F

F V V

F F V
Tabela de Verdade e Validade

P Q ¬P ¬Q P→Q
Se P então Q
V V F F V ¬Q
Logo, ¬P
V F F V F

F V V F V

F F V V V
 Tabela de Verdade e Validade

P Q P→Q Se P então Q
Q
V V V Logo, P

V F F

F V V

INVÁLIDO
F F V
 Tabela de Verdade e Validade

P Q ¬P ¬Q P→Q
Se P então Q
V V F F V ¬P
Logo, ¬Q
V F F V F

F V V F V

INVÁLIDO F F V V V
 Validade & Operadores
Vero-Funcionais

…. se, e somente se,... ↔ P Q P↔Q

V V V

V F F

F V F

F F V
Lógica Categórica
 Lógica Categórica

P1. Toda ação correta é uma ação que produzem as melhores

consequências Todo X é Y

P2. Todas ação que produz as melhores consequências é uma Todo Y é Z

açao que maximiza a felicidade Logo, Todo X é Z
C. Toda ação correta é uma ação que maximiza a felicidade
Z
Y
Validade nesse caso não é função dos X
conectivos vero-funcionais, mas dos
quantificadores (“todo”, “nenhum”, “algum”)
 Lógica Categórica

P1. Nenhuma ação razoável é abominável

P2. Toda ação que produz a maior felicidade é uma ação razoável
C. Nenhuma ação que produza a maior felicidade é abominável

Nenhum X é Y X Y
Z
Todo Z é X
Logo, Nenhum Z é Y
 Lógica Categórica
X Y X Y

Todo X é Y Algum X é Y

X Y X Y

Nenhum X é Y Algum X não é Y

 Lógica Categórica

Todo X é Y
Todo Y é Z
X Z
Logo, Todo X é Z

Todo estudante da UFRN é humano;

Todo humano é um animal
Logo, todo estudante da UFRN é um animal

Válido Y
 Lógica Categórica

Algum X é Y
Todo Y é Z
X Z
Logo, Algum X é Z

Alguns estudante da UFRN são humano;

Todo humano é um animal
Logo, alguns estudantes da UFRN são animais

Válido Y
 Lógica Categórica

Nenhum X é Y X Z
Todo Z é X
Logo, Nenhum Z é Y

Válido Y
 Lógica Categórica

Todo X é Y
X Z
Algum X é Z
Logo, Algum Y é Z

Válido Y
 Lógica Categórica

Todo X é Y
X
Algum X não é Z Z
Logo, Algum Y não é Z

Válido Y
 Lógica Categórica

Algum X é Y
D O
LI
Todo Y é Z
Á
V X
INTODO X é Z
Logo, Z

?
Alguns estudante da UFRN são humanos;
Todo humano é um animal
Logo, TODO estudante da UFRN é um animal

Y
 Lógica Categórica

Algum X é Y
D O
LI
Algum Y é Z
Á
V X
INalgum X é Z
Logo, Z

Alguns estudante da UFRN são humanos;

?
Alguns humanos são animais;
Logo, alguns estudantes da UFRN são animais

Y
 Exemplo de Paralogismo

P1. Toda mamíferoOé vertebrado; X

LID
Z
P2. Todo réptil
Á é vertebrado;
V
N mamífero é réptil
C. Logo,Itodo

?
Todo X é Y
Todo Z é Y
Logo, Todo X é Z Y
 O Quadrado das Oposições
Contrárias
As proposições contraditórias não
Todo S é P Nenhum S é P podem ser ambas verdadeiras ou
Universal Afirmativa Universal Negativa
falsas (necessariamente uma é
verdadeira e a outra falsa!)
Subalternas

As proposições contrárias não podem

Subalternas
ser ambas verdadeiras, mas podem
Contraditórias
ser ambas falsas.

As proposições subcontrárias não

podem ser ambas falsas, mas podem
Algum S é P Algum S não é P ser ambas verdadeiras
Particular Afirmativa Particular Negativa
As proposições subalternas
Subcontrárias
"transmitem" verdade de "cima para
baixo" e falsidade "de baixo para cima"
 Validade Material

P1. A escultura é toda verde

Válido
C. Logo, a escultura não é vermelha Validade nesse caso não
depende da forma
P1. A escultura é toda verde
Inválido É validade material
C. Logo, a escultura não é brilhante
 Lógica de Predicados

P1. Para todo número X, há um número que é maior que X

C. Logo, não há um número que é o maior de todos
Válido

O argumento é válido em função da forma (se substituirmos

“número” por outra coisa, o argumento continua válido), mas lógica
proposicional e lógica categórica não explicam a validade desse
argumento.
Precisamos de lógica de predicados.