No diagrama abaixo, a região delimitada por S representa as ...
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional →
Bicondicional ↔
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional →
Bicondicional ↔