240)¬(P . ¬Q) ⊢ P ⊃ Q não é uma forma argumentativa válida

Hoje abateu-se sobre mim a sensação de que nada sei. E então um filme veio a minha mente e aquela questão pungente: o que fiz da minha vida? Mas o momento já não era de desespero; senão de uma certa serenidade ante os doze trabalhos que me aguardam e a necessidade de estabelecer objetivos e mobilizar meios para abandonar esta situação. Daí que a lógica se me faz tão importante: bengala branca tão cara aos cegos...


P.S: Penso que sejam interessantes os comentários no endereço de origem do que segue abaixo.


Vinícius Portella


Porto Alegre,
19 0102 nov 2010.   

¬(P . ¬Q) ⊢ P ⊃ Q não é uma forma argumentativa válida

"Não é o caso que ambos P e não Q logo se P então Q" é uma forma argumentativa válida na lógica clássica. Um exemplo de argumento válido com essa forma é o seguinte: Não é o caso que ambos, risco o fósforo e ele não se acende. Logo se risco o fósforo, então ele se acende.

Contra-exemplo de Geoffrey Hunter: Não é o caso que ambos: Geoffrey Hunter é solteiro e Geoffrey Hunter é não casado. Logo se Geoffrey Hunter é solteiro, então Geoffrey Hunter é casado