O diagrama lógico que representa a proposição composta PvQ é:
Lista de símbolos:
Condicional
Bicondicional
^ Conector “e”
v Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
O diagrama lógico que representa a proposição composta PvQ é: