[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] Lógica de SEgunda Ordem
- To: obm-l@xxxxxxxxxxxxxx
- Subject: [obm-l] Lógica de SEgunda Ordem
- From: Denisson <denissoncs@xxxxxxxxx>
- Date: Tue, 22 Nov 2005 22:43:29 -0200
- DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type; b=H/JoQcS7AbC18/iAb3RIozs6AfGFkA4Fxy9m7WBBR0YCWak8ZRoiXRtHW219aBuM4n6la5KtKvMFUCYU1Mqa2E2ZwwcaM+eoLVef5IbiUgtcTDChmHx326oc8YFMHW5c1weLg1f3GBT6KkUFqx7yUr99EE7g1JE63/mA2NsUZpM=
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Olá colegas da lista;
Gostaria que alguém me esclarecesse a seguinte afirmação que eu li:
"O problema de identificar fórmulas válidas é sempre possível em logica
proposicional; possível sob certas condições em lógica de predicados. E
impossível em lógica de segunda ordem"
Obrigado
Denisson