Texto associado
Lista de símbolos:
⟹
Condicional
⟺
Bicondicional
∧ Conector “e”
∨ Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
Se P, Q, R e S são proposições simples, então o número de linhas da tabela-verdade
da proposição composta ( P √ Q ) ⟺ ( ¬R √ S ) é: