1º Lista de Exercicios

olá ^.^, bom talvez seja (leia-se talvez) unânime a dificuldade inicial nessa matéria , então ,quanto mais expusermos nossas dúvidas e debatermos a mesma melhor será nossa compreensão(leia-se ou talvez não kkkkkkk).
bom , iniciando um tópico sobre essa máteria vou postar minha resolução do exercício [ 2º questão letra C] com alguns comentários , se alguém tiver feito diferente ou achar que a resolução está errada OU qualquer coisa do tipo , POR FAVOR , poste e esclareça nossas dúvidas .


2.(c)
1. ( A => B ) & ( C => B)
2. D => ( A v C)
3. D
_____________________
B

então vamos la :
1: apliquei MP(modus ponens) em 2 e 3 , resultando em (A v C) que vou chamar de proposição 4
2: apliquei DC(dilema construtivo) utilizando 1 e 4 : (A => B) & ( C => B) & (A v C) , resultando em (B v B) que vou chamar proposição 5
3: logo ( B v B) por Idempotencia equivale a B



obs: a letra B é um pouco maior , então para não digitar ela toda vou tentar digitalizar e postar ela aqui a tarde.
por enquanto é isso , so para iniciar um tópico que acho extremamente importante a gente ficar discutindo direto e não guardar as informações para si.


2.(a)
1. D => E
2. ~F => ~E
________
D => F

1: utilizando Contraposição na 2 , (~F => ~E) eq ( E => F) , chamei de proposição 3
2: com 1 e 3 , utilizei SH(silogismo hipotetico) , que resultou em (D=>F)

cara, eu faltei a primeira aula de FMC e boiei geral no assunto.
quer dizer, Tabela Verdade eu consegui aprender sozinho, até porque algo mais lógico que aquilo é impossível.... Mas essa parte de dedução...
Fala sério, que filosofia macabra D:
tenho medo dessa matéria x.x

Eu tb perdí a primeira aula. baixei uns dos livros que tem no site de xaolin. tá ajudando a tirar algumas dúvidas. introdução à lógica

valeu, Marcio. Irei baixar e tentar dar uma de autodidata aqui.
E perdi mais uma aula de FMC, estou ficando com medo de não conseguir acompanhar o ritmo do professor...

ARGH D: