AD1- 3 Métodos 1

Esta questão vale 2,5 pontos na AD1 e deve ser resolvida até 19/08/2015 (o encerramento ocorrerá dia 19/08/2015 às 23:55).
----------------------------------------------------------------------------------------------------------
Considere as seguintes afirmações:
Se Carlos vai ao cinema, então Elizabeth estuda. Débora dorme se e só se Elizabeth estuda. Para que Carlos vá ao cinema, basta que Ana coma amendoim ou que Bianca jogue bola. Mas Débora não dorme.

a) Escreva todas as proposições elementares que aparecem nas afirmações apresentadas, identificando cada uma delas com uma letra de nosso alfabeto.
b) Usando as letras que você escolheu no item acima para identificar as proposições elementares, reescreva as afirmações dadas com os símbolos da Lógica.
c) Considerando que sejam verdadeiras as afirmações apresentadas inicialmente, decida se cada uma das proposições elementares abaixo é verdadeira ou falsa. E necessário que você apresente o raciocínio que usou para deduzir suas conclusões.

( ) Elizabeth estuda.
( ) Carlos vai ao cinema.
( ) Ana come amendoim.
( ) Bianca joga bola.

Resultado:
Se Carlos vai ao cinema, então Elizabeth estuda. Débora dorme se e só se Elizabeth estuda. Para que Carlos vá ao cinema, basta que Ana coma amendoim ou que Bianca jogue bola. Mas Débora não dorme.
(A) Carlos vai ao cinema então Elizabeth estuda.
(B) Débora dorme se e só se Elizabeth estuda.
(C) Para que Carlos vá ao cinema, basta que Ana coma amendoim ou que Bianca jogue bola.
(D) Débora não dorme.

a) Escreva todas as proposições elementares que aparecem nas afirmações apresentadas, identificando cada uma delas com uma letra de nosso alfabeto.

A - Ana come amendoim
B - Bianca joga bola
C - Carlos vai ao cinema
E - Elizabeth estuda
D - Débora dorme

b) Usando as letras que você escolheu no item acima para identificar as proposições elementares, reescreva as afirmações dadas com os símbolos da Lógica.
1- A => E
2- D  E
3- C  A ^ B
4-