Representação dos conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⊕
Condicional ➝
Bicondicional ↔
• Maria e Pedro encerraram os orçamentos, mas Carlos não encerra o orçamento. • Se Maria encerra o orçamento então Pedro encaminha o projeto, mas ele não termina a negociação da dívida. • Se Carlos coletar os dados então Pedro termina a negociação da dívida.
Deduz-se que:
