Considerem-se as proposições P, Q e R e a seguinte linha de uma tabela-verdade, em que V representa o valor lógico verdadeiro, F, o falso.
P |
Q |
R |
P → ∼Q |
R ∨ (P → ∼Q) |
V |
V |
F |
X |
Y |
Os valores lógicos que substituem corretamente as letras X e Y, respectivamente, são:
