Lógica

proposicional
 Lógica Proposicional
1. Não Proposições 2. Proposições
o Onde vais?
o Já para a rua!  O professor mandou o Carlos
o X+4= 9 para a rua.
o Manhã bonita.  Os extraterrestres existem.
 5+4=9
 A manhã está bonita.
1- Proposições 2- Proposições
simples complexas
• Vou à praia. • Vou à praia e
• Está bom vou jantar fora.
tempo. • Se estiver bom
tempo, vou à
praia.
 Conetores Lógicos

Conjunção

Disjunção
Bicondicional
inclusiva

Disjunção
Condicional
exclusiva
 Formalizar proposições
Vamos considerar o seguinte dicionário:
P- O João vai a Paris
Q- O João vai a Londres
R- O João passa de ano Formalização
Exemplos
das proposições

Negação O João não vai a Paris ~P

É falso que o João vai a Londres ~Q

conjunção A Maria vai a Paris e a Londres PʌQ

O João nem vai a Paris nem a Londres ~P ʌ ~Q

Disjunção O João vai a Paris ou a Londres

(inclusiva) P˅Q
O João não vai a Paris ou não vai a
~P ˅ ~Q
Londres

Disjunção O João ou vai a Paris ou a Londres

(exclusiva) PṿQ
O João ou passa de ano ou não vai a
R ṿ ~P
Paris
 As conetivas verofuncionais ou operadores
proposicionais
Designação Lê-se Formalização Exemplo
Negação não ~P A Maria não vai a Paris.
¬P Não é verdade que a Maria vai a Paris.
Conjunção e PʌQ A Maria vai a Paris e a Londres.
Disjunção ou P˅Q A Maria vai a Paris ou a Londres.

Disjunção Ou…ou… PṿQ A Maria, ou vai a Paris ou a Londres.

exclusiva
Condicional Se…então P→Q Se Maria passar de ano, então vai a
Londres.

Bicondicional …se e somente P↔Q A Maria vai a Londres se e somente se

se… passar de ano.
 Formalizar proposições
Vamos considerar o seguinte dicionário:
P- A Marta come carne.
Q- A Marta come peixe.
R- A Marta come doces Exemplos Formalização

Negação
 Formalizar proposições
Vamos considerar o seguinte dicionário:
P- A Marta come carne.
Q- A Marta come peixe.
R- A Marta come doces.

conetor Exemplos Formalização

Conjunção PʌQ
 Formalizar proposições
Vamos considerar o seguinte dicionário:
P- A Marta come carne.
Q- A Marta come peixe.
R- A Marta come doces. Exemplos Formalização
Disjunção ou P˅Q
 Formalizar proposições
Vamos considerar o seguinte dicionário:
P- A Marta come carne.
Q- A Marta come peixe.
R- A Marta come doces. Exemplos Formalização
Condicional Se…então P→Q
 Formalizar proposições
Vamos considerar o seguinte dicionário:
P- A Marta come carne.
Q- A Marta come peixe.
R- A Marta come doces. Exemplos Formalização
Bicondicional …se e somente se… P↔Q