Uma proposição simbolizada por P÷PwQ possui um único valor lógico F para todos os possíveis valores lógicos atribuídos às proposições P e Q.
Uma proposição simbolizada por P÷PwQ possui um único valor lógico F para todos os possíveis valores lógicos atribuídos às proposições P e Q.
