DEDUÇÃO NATURAL

Jhonnatan Cebidanes

unread,

Mar 16, 2013, 6:01:33 PM3/16/13

to computaca...@googlegroups.com

Galera,

Hoje depois do grupo de estudos vi que dedução é coisa do tinhoso, coisa ruim, exú sem luz, como preferirem seus credos. Mas isso não é o importante. Visto isso eu resolvi buscar nas "interWebs" e achei um material bem legal. Vajam que não é a solução apra o monte de dúvidas que temos(eu tenho pelo menos XD), mas de todos os que eu li até agora esse é o melhor e bem feito. fica aqui a dica e deixo o link no post.

http://www.cin.ufpe.br/~mlogica/livros/Apostila%20-%20Deducao%20Natural.pdf

Abração e que papai do céu nos ilumine MUITO! =D

Jhonnatan Cebidanes

Diego Moussallem

unread,

Mar 16, 2013, 6:07:06 PM3/16/13

to Jhonnatan Cebidanes, computaca...@googlegroups.com

Estudem essa parte de dedução natural muito bem, pois nas duas provas cai dedução, na primeira dedução natural normal, na segunda dedução em logica de 1ª ordem. já garante 3 pontos pra vocês.

Abração!

REGIS CARVALHO

unread,

Mar 16, 2013, 6:59:29 PM3/16/13

to Diego Moussallem, Jhonnatan Cebidanes, computaca...@googlegroups.com

OREMOS !!!!

--
REGIS CARVALHO

Leandro Alves

unread,

Mar 16, 2013, 7:03:22 PM3/16/13

to REGIS CARVALHO, computaca...@googlegroups.com, Jhonnatan Cebidanes, Diego Moussallem

Que isso gente.

Essa matéria é tão facil que não vou nem fazer. Kkkkkk

Que Deus salve a América, por que o salvar o Leandro no IME ta difícil. Kkkkkkkk

REGIS CARVALHO

unread,

Mar 16, 2013, 7:09:40 PM3/16/13

to Leandro Alves, computaca...@googlegroups.com, Jhonnatan Cebidanes, Diego Moussallem

Relaxa...a batalha é árdua mas a vitória é certa !! Foco , Força e Fé !!!

--
REGIS CARVALHO

João Paulo Maranhão

unread,

Mar 16, 2013, 7:45:32 PM3/16/13

to computaca...@googlegroups.com

Dica: se não entenderem a dedução natural até a véspera da prova, decorem!

As deduções da 1ª prova do veloso são mais tranquilas (não incluem regra de inclusão/exclusão do "ou", "para todo" e "existe", isso é na 2ª prova), então é melhor fazer todos os exercícios de dedução natural e, aqueles mais difíceis (vcs vão saber quais são), decorar, pois são estes que ele põe na prova...

Ano passado caiu ((A -> B) ->) -> A, como eu já tinha decorado este, fiz em 5 minutos, sobrando tempo para fazer as outras questões cascudas (não esquecer que dedução natural é apenas uma das 4 ou 5 questões da prova...)

JP

De: REGIS CARVALHO <regi...@gmail.com>
Para: Leandro Alves <leans...@gmail.com>
Cc: computaca...@googlegroups.com; Jhonnatan Cebidanes <jcebi...@gmail.com>; Diego Moussallem <diegomo...@gmail.com>
Enviadas: Sábado, 16 de Março de 2013 20:09
Assunto: Re: [computacao2013-ime] DEDUÇÃO NATURAL