Resumo_cálculo Proposicional parte 2

Cálculo proposicional PARTE 2 *a relação na frase não necessita ser obrigatoriamente predicativa > não precisa necessariamente de uma relação entre s e p > não necessita de decomposição Simbologia . ¬ - não . ∧ - e, mas, porém... . → - se... então . ↔ - se e somente se... . ∨ - ou Frases 1. João foi ao cinema p 2. João não foi ao cinema ¬p 3. Maria foi ao teatro q 4. João foi ao cinema e Maria foi ao teatro (p∧q) 5. Maria foi ao teatro mas João não foi ao cinema (q∧¬p) 6. Se Maria não foi ao teatro, então João não foi ao cinema (¬q→¬p) 7. Nem Maria foi ao teatro, nem João foi ao cinema (¬q∧¬p) 8. Maria foi ao teatro, e se João foi não ao cinema (q→¬p) 9. João foi ao cinema, somente se Maria foi ao teatro (p→q) 10. Maria não foi ao teatro se e somente se João foi ao cinema (¬q↔p) 11. João foi ao cinema ou Maria foi ao teatro (p∨q) 12. João foi ao cinema ou Maria foi ao teatro, mas não ambos ((p∨q)∧¬(p∧q))