Sejam F = “conjunto de frutos” e T = “conjunto de tomates”, ...
Lista de símbolos:
Condicional
Bicondicional
^ Conector “e”
v Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Sejam F = “conjunto de frutos” e T = “conjunto de tomates”, o diagrama lógico que expressa uma relação entre F e T é: