sexta-feira, janeiro 30, 2009

Lógica Proposicional

Se um gajo fosse hidrossolúvel, de há uns dias a esta parte, que andava fodido. Não obstante, não é facto de o não ser, que o impede de andar.
Aqui não é a negação do todo, antes a negação do Modus Ponens
P → Q
P
donde Q

Sem comentários: