Lógica/Paradoxos: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 90:
==Paradoxo do Mentiroso==
Este é um dos mais antigos paradoxos de autoreferência e já foi formulado de diversas maneiras. Aqui formularemos ele assim:
:{| border=1 cellpadding=4
| O conteúdo desta caixa é falso.
|}
===Análise===
Se o conteúdo da caixa for verdadeiro, então, segundo ele próprio, o conteúdo da caixa é falso.
Se o conteúdo da caixa for falso, então o conteúdo da caixa é verdadeiro.
==Paradoxo de Curry==
|