[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