Lista02 Logica Basica
Hugo Tamotsu Takahashi
Parece que esta parte da matéria se encontrar no livro nas paginas de 119 até 129.
Exercicio 10: Criação de um modelo[Pag 127??,Exempo 6.3.14]
juliana.bueno
o exercício 6 basta olhar para a estrutura dada e verificar se, de fato, a
fórmula é verdadeira ou não. Por exemplo o item (a): F(a) é verdadeira
porque a interpretação de "a" na estrutura é "0", e a interpretação da
relação "F" é o conjunto "{0,1,2}". Como "0" é elemento do conjunto, então
"F(a)" é verdadeira na estrutura. A dificuldade começa quando as fórmulas
envolvem quantificadores.
O exercício 7 é para vocês escreverem fórmulas que cumpram as exigências
do exercício. É o inverso do exercício 6.
No exercício 8 para mostrar que uma fórmula é válida você deve mostrar que
a fórmula é válida em todas as estruturas. A estratégia de argumentação,
nesse caso, é mostrar por redução ao absurdo. Suponha que exista uma
estrutura que invalide a fórmula em questão. Depois, usando raciocínio
proposicional (um raciocínio parecido com o tablô) vocês chegam em um
absurdo.
PS: observem que no caso de fórmulas que envolvem quantificadores o
absurdo acontece com a escolha adequada do indivíduo. Lembrem-se que quando
uma dada propriedade é válida para todos os indíviduos, em particular ela é
válida para aquele indíviduo problemático (que normalmente já apareceu no
meio do argumento).
Se por acaso não tiver absurdo (estou supondo que vocês raciocinaram
corretamente), isso indica que a fórmula deve ser inválida. Nesse caso é
possível encontrar uma estrutura que falsifica a fórmula. Para concluir o
exercício vocês devem exibir a tal estrutura que invalida a fórmula.
Essas observações são válidas para os exercícios 8, 9 e 10.
No exercício 11 é levado em consideração a noção de consequência
semântica, mas a idéia é análoga.
Espero ter ajudado!
Abs,
Juliana
Hugo Tamotsu Takahashi
Apenas uma duvida, na 6B a resposta é que a formula é verdadeira
poís G(b)= Verdade
e B(b) V V equivale dizer V ou V = V?
No caso da 6D
K(b; b; c) exige que b=2, apareca ao menos 2x,exatamente 2x, ou apenas exige que apareca?
aqui vem a duvida
posso dizer que sim pois 0,1,2 estão na estrutura B=(0,1,2,3,4)
Hugo Tamotsu Takahashi
esse pensamento está correto??
juliana.bueno
é isso mesmo, você precisaria apenas se expressar mais claramente:
Acredito que isso se deva pelo fato de não haver caracteres suficientes no
teclado. Uma resposta mais clara seria:
Como a interpretação de b na estrutura dada é 2, e como 2 é elemento da
interpretação do predicado G, então G(b) é verdadeiro na estrutura dada.
Como a interpretação de A também é verdadeira, então a sentença (G(b)ou A))
também será verdadeira na estrutura.
Abs,
Juliana
juliana.bueno
isso mesmo, os elementos 0, 1 e 3 fazem a sentença Existe(x) nãoG(x)
verdadeira, pois não pertencem ao conjunto dado pela interpretação do
predicado G.
Att.,
Juliana
jurandir Jardim
os emails das notas nao chegou aqui
poderia mandar novamente?
abs
jurandir
> Date: Mon, 16 Aug 2010 15:34:18 -0300
> From: julian...@ufabc.edu.br
> To: logica-ba...@googlegroups.com
> Subject: Re: {Lógica Básica UFABC} Lista02 Logica Basica
claudio yoshida
From: van_hal...@hotmail.com
To: logica-ba...@googlegroups.com
Subject: RE: {Lógica Básica UFABC} Lista02 Logica Basica
Date: Wed, 18 Aug 2010 13:16:34 +0000
juliana.bueno
envio, novamente, a planilha com as notas. Ainda não foram consideradas as
listas de exercícios.
Abs,
Juliana
On Wed, 18 Aug 2010 10:32:48 -0300, claudio yoshida
<clau...@hotmail.com>
wrote:
> Pra mim tambem não chego.
>