Disciplina Lógica Matemática Avaliação Final (Discursiva) - Individual FLEX

Proposição "vem de propor" que significa submeter à apreciação; requerer um juízo. Trata-se de uma sentença declarativa - algo que será declarado por meio de termos, palavras ou símbolos - e cujo conteúdo poderá ser considerado verdadeiro ou falso.

Sejam as proposições: A = tenho sorte, B = ganhei na loteria e C = comprarei uma mansão, traduza para a linguagem natural as seguintes proposições simbólicas quando possível. No caso em que não puder ser formado um fbf, justifique. 

a) (A ^ ~ B) Ͱ ~ C

b) C ↔ (A ˄ B)

c) ~ A→ B ˄ C