Enciclopédia de Herder (Português)

O que é isso

p> Ainda não foi adicionado nenhum twiki.

O valor do condicional na lógica da declaração, que está escrito p{q}, é lido como “se p, então q”, e é definido como (p\rightarrow{q})= df(¬p\vee q), portanto a expressão “se p então q” é falsa se e só se o antecedente for verdadeiro e o consequente falso; em todos os outros casos, é verdade. Esta definição é atribuída a Philo, um filósofo megárico do século IV a.C. Do facto de esta definição de condicional não estar exactamente em conformidade com o uso do condicional na linguagem corrente, que assume alguma relação de significado entre antecedente e consequente, surgem os chamados paradoxos da implicação material.

A implicação material não deve ser confundida com implicação tautológica, como é uma inferência expressa como condicional, na qual nunca acontece que as premissas sejam verdadeiras e a conclusão falsa, ou implicação estrita, que é definida como “se p é verdadeiro então q também deve ser verdadeiro”; também neste caso, q é dedutível de p.

O valor de Its é definido pela tabela do condicional.

2307GGG.png


Deixe uma resposta

O seu endereço de email não será publicado. Campos obrigatórios marcados com *