Lógica Proposicional ￳

Negação
● É uma conectiva unária porque opera sobre apenas uma
frase. Por exemplo obtém-se o enunciado “Não tenho
fome”, tomando como ponto de partida o enunciado
“Tenho fome”. As restantes conectivas são binárias porque
operam sobre mais que uma frase.
P ¬P
V F

F V
Índice
● Proposições simples e complexas
● Operadores proposionais
● Operadores verofuncionais e formas
proposicionais
● Âmbito dos operadores e formalização das
proposições
 Proposições simples e complexas
● As proposições podem ser simples ou complexas.
Proposições simples: Aquela que não contém nenhuma outra
proposição como parte integrante de si mesma. São geralmente
designadas pelas letras minúsculas (p,q,r...)
Exemplo: Maria é bonita .
Proposições complexas: Aquela formada pela combinação de
duas ou mais proposições. São geralmente designadas pelas
letras maiúsculas (P,Q,R…)
Operadores verofuncionais
 Conjunção
● A conjunção é uma proposição
com a forma «P e Q», P Q (P Ʌ Q)
simbolizando-se por «P Ʌ Q», a
qual é verdadeira se as
proposições conectadas – que V V V
também se chamam
«proposições conjuntas» - V F F
forem verdadeiras e é falsa
desde que pelo menos uma F V F
dessas proposições seja falsas. F F F
 Disjunção
● A disjunção inclusiva é uma
proposição com a forma «P ou P Q (P V Q)
Q», simbolizando-se por
«PVQ», a qual será sempre V V V
verdadeira, exceto quando P e
Q forem simultaneamente V F V
falsas.
F V V
F F F
 A disjunção exclusiva é uma
P Q (P V Q)
●

proposição com a forma «Ou

P ou Q», simbolizando-se por
«P V Q», a qual é verdadeira V V F
quando P e Q possuem
valores lógicos distintos e V F V
falsa quando P e Q possuem F V V
o mesmo valor lógico. F F F
 Condicional
● A condicional é uma
proposição composta com a
forma «Se P, então Q»,
P Q (P → Q)
simbolizando-se por «P→Q»,
a qual só é falsa se P– o
antecedente-é verdadeira e Q V V V
– o consequente- é falsa. Em
todas as restantes situações,
V F F
a nova proposição é
verdadeira.
F V V
F F V
 BICONDICIONAl

A bicondicional é uma
P Q (P ↔ Q)
●

proposição composta com a

forma «P se, e só se, Q», V V V
simbolizando-se por «P↔Q», a
qual é verdadeira se ambas as
proposições tiverem o mesmo V F F
valor lógico e falsa se as
proposições tiverem valores F V F
lógicos distintos. F F V