Um trabalho ai
Por: ThunderBoolt • 14/6/2015 • Trabalho acadêmico • 1.195 Palavras (5 Páginas) • 248 Visualizações
Pesquisa e Resolução de Atividades[pic 2]
Disciplina: lógica Matemática
Alessandro Rodrigues, 8062796535
Suelen Albertino, 8062796528
Pesquisa e Resolução de Atividades
1 – Resolução da Atividade Proposta:[pic 3]
(H<->G)<->((H->G)^(G->H))
L1 ~((H<->G)<->((H->G)^(G->H)))[pic 4][pic 5]
R9, L1 ~(H<->G)^((H->G)^(G->H)) L2 (H<->G)^~((H->G)^(G->H))
R1, L2~(H<->G) L3 (H<->G) R1, L2
R1, L2 (H->G)^(G->H) L4 ~((H->G)^(G->H)) R1, L2[pic 6][pic 7][pic 8][pic 9]
R9, L3 ~H^G H^G L5 H^G ~H^~G R4, L3
R1, L5 ~H H L6 H ~H R1, L5
R1, L5 G ~G L7 G ~G R1, L5
R1, L4 H->G L8 ~(H->G) R1, L4
R1, L4 G->H L9 (G->H) R1, L4[pic 10][pic 11]
H [pic 12][pic 13]
R3, L8 ~H G ~G [pic 14][pic 15]
R3, L9 ~G H ~G H R3, L9
FECHADO FECHADO FECHADO FECHADO
2- Pesquisa e resolução da atividade proposta:
Instanciação universal:
A primeira das quatro regras de inferência enunciada da seguinte forma:
“Se todos os objetos de um dado universo possuem uma dada propriedade, então um objeto particular desse universo também possui essa propriedade.”
Ou seja: ∀ u θ --> ϕ
No qual ϕ é uma fórmula que resulta de θ e dependendo de θ, a regra de inferência assume algumas formas:
Se ∀x Fx então Fx
Se ∀x Fx então Fy
Se ∀y (Fy V Gb) então Fx V Gb
Se ∀y (Fy V Gb) então Fa V Gb
Generalização Universal:
Segunda regra de inferência é enunciada da seguinte forma:
“Se um objeto, arbitrariamente escolhido dentre um universo tiver um acerta propriedade, todos os objetos desse universo terão essa propriedade.”
Ou seja: ϕ u → ∀w (ϕ w)
Onde ϕ é uma formula e w um objeto arbitrariamente escolhido, abaixo alguns exemplos:
...