Considere a sentença:
“Se X ≤ 6 e Y > 4, então X − Y ≤ 2”.
Uma sentença logicamente equivalente à sentença dada é
“Se X ≤ 6 e Y > 4, então X − Y ≤ 2”.
Uma sentença logicamente equivalente à sentença dada é
Provas
Questão presente nas seguintes provas