Docsity
Docsity

Prepare-se para as provas
Prepare-se para as provas

Estude fácil! Tem muito documento disponível na Docsity


Ganhe pontos para baixar
Ganhe pontos para baixar

Ganhe pontos ajudando outros esrudantes ou compre um plano Premium


Guias e Dicas
Guias e Dicas


Lógica matemática)))))))))))))))))))))))))))), Exercícios de Matemática

Resolução de exercício de lógica matemática

Tipologia: Exercícios

2020

Compartilhado em 25/05/2020

joao-paulo-hz5
joao-paulo-hz5 🇧🇷

1 documento

1 / 8

Toggle sidebar

Esta página não é visível na pré-visualização

Não perca as partes importantes!

bg1
LÓGICA MATEMÁTICA
INTEGRANTES:
MARCOS VINÍCIUS
MATEUS GONÇALVES
GILSON FILHO
a) p → (p v r)
Classificação: Tautologia
b) p → (p ^ q)
Classificação: Contingência
c) p v q → p
p r (p v r) p → (p v r)
V V V V
V F V V
F V V V
F F F V
p q (p ^q) p → ( p ^ q)
V V V V
V F F F
F V F V
F F F V
pf3
pf4
pf5
pf8

Pré-visualização parcial do texto

Baixe Lógica matemática)))))))))))))))))))))))))))) e outras Exercícios em PDF para Matemática, somente na Docsity!

LÓGICA MATEMÁTICA

INTEGRANTES:

MARCOS VINÍCIUS

MATEUS GONÇALVES

GILSON FILHO

a) p → (p v r)

Classificação: Tautologia

b) p → (p ^ q)

Classificação: Contingência

c) p v q → p

p r (p v r) p → (p v r) V V V V V F V V F V V V F F F V p q (p ^q) p → ( p ^ q) V V V V V F F F F V F V F F F V

Classificação: Contingência

d) p → (q→ p) v q

Classificação: Contingência

e) p ↔ p ^ ( p v q)

Classificação: Tautologia

p q p v q p v q → p V V V V V F V V F V V F F F F V p q ( q → p) (q→ p) v q p → ( q → p ) v q V V V V V V F F F F F V V V V F F V V V p q (p v q) p ^( P v Q) p ↔ p ^ ( p v q) V V V V V V F V V V F V V F V F F F F V

Classificação: Contingência

j) p v q → p ^ q

Classificação: Contingência

k) p → (p → q v q)

Classificação: Contingência

l) (p → ( p→ q) ) → q

p q ~(p ^q ) ~p ~q ~(p ^q ) ↔ ~p ~(p ^q ) ↔ ~p ^ ~q

V V F F F V F

V F V F V F F

F V V V F V F

F F V V V V V

p q p v q p ^ q p v q → p ^ q V V V V V V F V V V F V V F F F F F F V p q q v q (p → q v q) p → (p → q v q) V V V V V V F F F F F V V V V F F F V V

Classificação: Contingência

m) p →(~p → q v ~q)

Classificação: Tautologia

n) (~p ^ q) → ~p

Classificação: Tautologia

p q ( p → q) (p → ( p→ q) ) (p → ( p→ q) ) → q V V V V V V F F F V F V V V V F F V V F p q ~p ~q q v ~q (~p → q v ~q) p →(~p → q v ~q) V V F F V V V V F F V V V V F V V F V V V F F V V V V V p q ~p (~p ^ q) (~p ^ q) → ~p V V F F V V F F F V F V V V V F F V F V

r) p → ( p → q ^ ~q)

Classificação: Contingência

s) (p^q) v (p^r)↔p ^ (q^r)

Classificação:Contingência

t) (p → q) ^ ( q → r) → (p → r)

Classificação: Tautologia

p q ~q q ^ ~q ( p → q ^ ~q) p → ( p → q ^ ~q) V V F F F F V F V F F F F V F F V V F F V F V V p q r (p^q) (p^r) (p^q) v (p^r) (q^r) p ^ (q^r) V V V V V V V V V V V F V F V F F F V F V F V V F F F V F F F F F F F V F V V F F F V F V F V F F F F F F V F F V F F F F F V F F F F F F F F V (p^q) v (p^r)↔p ^ (q^r) p q r (p → q) (q → r) (p → q) ^ ( q → r) (p → r) (p → q) ^ ( q → r) → (p → r) V V V V V V V V V V F V F F F V V F V F V F V V V F F F V F F V F V V V V V V V F V F V F F V V F F V V V V V V F F F V V V V V