TrabalhosGratuitos.com - Trabalhos, Monografias, Artigos, Exames, Resumos de livros, Dissertações
Pesquisar

Lógica Para Computação

Por:   •  2/9/2019  •  Trabalho acadêmico  •  329 Palavras (2 Páginas)  •  8 Visualizações

Página 1 de 2

1) Faça a tabela verdade para as seguintes fórmulas e diga qual é a propriedade da fórmula

(Tautologia, Satisfatível, Contraditória)

a)

b)

c)

d)

e)

f)

2) Seja I uma interpretação tal que: I[ ] = T. O que se pode deduzir a respeito dos

resultados das interpretações a seguir:

a)

b)

c)

3) Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos

proposicionais para representar sentenças atômicas. Depois diga se as sentenças são ou não uma

tautologia.

a) Se Dásio ama Carmen e Carmen é bonita ou inteligente ou sensível então Dásio é feliz.

b) Se Dásio não é feliz então Carmen não é bonita ou não é inteligente ou não sensível.

c) Se Júlio não ama Simone ou é um sortudo, então ele ama Simone e é um sortudo.

d) Se Katielly está bonita, então Tony está feliz e se Tony está feliz, então ele dá um presente

para Katielly.

4) Demonstre se as afirmações a seguir são verdadeiras ou falsas.

a) Se é tautologia, então {H1, H2, ..., Hn} é satisfatível.

b) Se {H1, H2, ..., Hn} é satisfatível então é tautologia.

c) Se H equivale a G, então H |= G.

d) Se H |= G, então |=

e) Se H |= G e G |= H, então H equivale a G.

f) As fórmulas equivalentes entre si são satisfatíveis.

g) Se H é satisfatível então é satisfatível.

(P → Q) ∧ (Q → P)

(P → (Q ∧ ¬P) → (Q ∨ ¬R))

(((¬Q → ¬P) → ¬(P ∧ Q)) ∨ (P → Q))

(Q → (¬Q ∧ P)) ∨ ¬(¬P ∧ Q)

(¬P ∧ (Q → R)) ∨ ((R → ¬P) ∨ Q)

(((Q ∨ R) ∧ S ) ∧ (P → (¬R ∧ S ))) → ¬S

¬P ∧ (Q → P)

(P → Q) ∨ ¬(P ∧ Q)

¬(P ∨ Q)

...

Baixar como (para membros premium)  txt (1.7 Kb)   pdf (107.3 Kb)   docx (7.7 Kb)  
Continuar por mais 1 página »
Disponível apenas no TrabalhosGratuitos.com