A Atividade Lógica Matemática

Minist´erio  da  Educa¸c˜ao Universidade Federal do Agreste de Pernambuco

Bacharelado em Ciˆencia da Computa¸c˜ao L´ogica Matem´atica - 2021.1

Prof.: Gersonilo Oliveira da Silva gersonilo.oliveira@ufape.edu.br

Aluno:  Joa˜o Batista Neto.

3    Atividade  de  L´ogica  Matem´atica

Data  de  entrega:  18/04/2022  at´e  as  23h  e  59min

Problemas Propostos Para a Atividade

Problema  1) Escreva a tabela verdade para as seguintes proposic˜oes:

1. P → (Q ∧ R)
2. (P ∨ Q) → R

a)

Tabela Verdade da letra a

b)

Tabela Verdade da letra b

Problema 2) Prove o Teorema  de  Boole: Dadas as Proposi¸c˜oes P e Q, temos que:

i) ¬(P ∧ Q) = ¬P ∨ ¬Q ii)¬(P ∨ Q) = ¬P ∧ ¬Q

Para a resposta do item i, temos de separar as duas igualdades, e criar uma tabela verdade para cada uma.

Fazendo a mesma coisa com o outro lado da igualdade:

Anal´ısando os resultados podemos perceber que os resultados s˜ao iguais (F,V,V,V) logo a igualdade ´e v´alida.

Faremos a mesma coisa para o item ii, de modo a ficar:

Na segunda tabela teriamos:

Deste  modo  podemos  comcluir  que  o  teorema  ´e  verdadeiro,  pois  ¬(P  ∨ Q)  ´e

...