Se P e Q são proposições verdadeiras, então o valor lógico d...
Lista de símbolos:
Condicional
Bicondicional
^ Conector “e”
v Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
Se P e Q são proposições verdadeiras, então o valor lógico de (PvQ) ¬Q é: