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==