Você está na página 1de 18

Lógica Matemática

Professor Uashington de Souza Nunes


uashington.nunes@outlook.com
Fone / WhatsApp (66)9601-9743
Bacharel em Ciências da Computação – FAIR/UNIR
MBA em Gestão de Tecnologia da Informação
Lógica Proposicional

Negação ~ ou ¬
Sempre que uma proposição P for verdadeira,
sua negação ~P será falsa, e se P for falsa, ~P
será verdadeira.
Ex.:
P: 2 é par
~P: 2 não é par
Lógica Proposicional

Construa a tabela verdade de (~A ^ B) v A

A B ~A (~A^B) (~A ^ B) v A

V V F F V
V F F F V
F V V V V
F F V F F
Lógica Proposicional

Condicional (se, então)


A estrutura condicional apresenta o conectivo
“Se... Então...” onde uma condição fica
dependente de outra. Portanto, se temos a
sentença:
“Se João estuda para a prova, então João
será aprovado.”
... então a representaremos por: p q.
Lógica Proposicional

Se Maria nasceu em Cuiabá, então


Maria é Matogrossense.
Condicional(Se... Então...) ->
P Q P -> Q

V V V
V F F
F V V
F F V
Exemplos
A partir dos conhecimentos existentes referente a astronomia,
determine valor lógico V ou F para as sentenças abaixo:

Se a Terra é um planeta, então a lua é um satélite. V

Se o Sol é uma estrela, então a Lua é um planeta. F

Se a Lua é um planeta, então a Terra é uma estrela. V

Se a Terra é um satélite, então o Sol é uma estrela. V


Lógica Proposicional

Bicondicional (se e somente se)


A estrutura bicondicional apresenta o conectivo
“Se e somente se” separando as duas
sentenças simples. Portanto, se temos a
sentença:
"Eduardo fica alegre se e somente se
Mariana sorri"
... então a representaremos por: p q.
Obs.: p q = p q e q p
Lógica Proposicional

Vou me casar, se e somente se


Eu conseguir um emprego.
Bicondicional(Se e somente se) <->
P Q P <-> Q

V V V
V F F
F V F
F F V
Exemplos
A partir dos conhecimentos químicos existentes, determine
valor lógico V ou F para as sentenças abaixo:

O granito é um metal, se e somente se, o ferro é um ácido. V

A água do mar é salgada, se e somente se, o gelo é líquido. F

O álcool é um tipo de combustível, se e somente se, o cobre é


um metal. V

O mármore é um metal, se e somente se, o ouro é um metal. F


Exemplos
Se o valor lógico de uma proposição p é verdadeira e o valor
lógico de uma proposição q é falsa, podemos afirmar que:
a) A conjunção entre as duas é verdadeira.
b) p condicional q é verdadeira.
c) p bicondicional q é falsa
d) A disjunção entre as duas é falsa
V F
p^q= F
p -> q = F
p <-> q = F
pvq= V
Lógica Proposicional

Construa a tabela verdade de (A v B) -> C


A B C (A v B) (A v B) -> C

V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V
Exemplo
(MEC – CESPE) Considerando as proposições simples P, Q e
R, julgue os próximos itens, acerca da tabelas-verdade e
lógica proposicional.
A tabela verdade da proposição (¬P v Q) → (R ^ Q) v (¬R ^ P)
tem 8 linhas
( ) Certo ( ) Errado
Exemplo
(SEFAZ – ES – CESPE) Considerando todas as possíveis
valorações V ou F das proposições simples P e Q, a
quantidade de valorações V na tabela-verdade da proposição:
[(P ^ Q) v (~Q)] →[P v (~Q)]

a) 1 b) 2 c) 3 d) 4 e) 0
TAUTOLOGIA
Lógica Proposicional

Uma proposição composta pode ser


classificada em:
TAUTOLOGIA: quando todas as valorações
finais da tabela-verdade forem V;
CONTRADIÇÃO: quando todas as valorações
finais da tabela-verdade forem F;
CONTINGÊNCIA: quando as valorações finais
da tabela-verdade apresentarem V e também
F.
Exercício
(INPI – CESPE) Com relação à lógica proposicional, julgue os
itens que se seguem, considerando que P e Q sejam
proposições adequadas. A expressão [(P → Q) → P] → P é
uma tautologia.
( ) Certo ( ) Errado
Lógica Proposicional

EQUIVALÊNCIA LÓGICA (<=> ou =)


Duas proposições serão logicamente
equivalentes quando forem compostas pelas
mesmas proposições simples e possuírem
resultados idênticos nas respectivas linhas de
suas tabelas-verdade
Ex.: P → Q  ~Q → ~P
V V
F F
V V
V V
Exercício
Analise as proposições seguintes e classifique-as em
tautologia, Contradição ou Contingência:
a) ~(A v B) ↔ C
b) (P ↔ Q) ^ (P v Q)
c) (P → Q) v (~Q)
d) [(P → Q) → P] → P

Você também pode gostar