Ness again!
Prezado professor, agora liberado das leituras enfadonhas a que estávamos obrigados a fazer para o concurso de SP, algumas piores do que ler dicionário ou lista telefônica, gostaria de esclarecer uma dúvida originada na tradução lógica da expressão ---- A a menos que B ----
Formalizando minha tese, o que estou dizendo é que, A a menos que B, que como vimos, se traduz por ~A ==> B é equivalente a (~(AeB) e (AouB)) isto é, A e B têm interseção vazia e sua União é o Universo. Veja a tabela verdade abaixo
A B (~A==>B) ~(AeB) AouB (~(AeB) e (AouB))
V V F F V F
V F V V V V
F V V V V V
F F F V F F
estou certo?
Diletantismo.
Professor, sei que isso não dá recurso, mas, por mero diletantismo, para relaxar, quando puder, tâique a Luque na dúvida desse mortal. A expressão --A a menos que B-- me deixou encucado desde o lago do Ness ou o Ness do lago, sei lá. Acho que na PI eu estava yala qual nas brumas do Lago.