咯咯笑
发表于 2025-3-23 12:01:12
,Der Aussagenkalkül, dem es sinnvoll ist zu behaupten, daß sein Inhalt richtig oder falsch ist. Aussagen sind z. B. „die Mathematik ist eine Wissenschaft”, „der Schnee ist schwarz”, „9 ist eine Primzahl”. In dem Aussagenkalkül wird auf die feinere logische Struktur der Aussagen, die etwa in der Beziehung zwischen Prädi
Pandemic
发表于 2025-3-23 16:56:51
http://reply.papertrans.cn/40/3906/390590/390590_12.png
extemporaneous
发表于 2025-3-23 21:39:12
http://reply.papertrans.cn/40/3906/390590/390590_13.png
易受刺激
发表于 2025-3-23 23:23:06
,Der erweiterte Prädikatenkalkül,ir zwar, da wir die Ausdrücke als allgemeingültig interpretieren, ausdrücken, daß ein Ausdruck für alle Werte der darin auftretenden Prädikatenvariablen eine richtige Aussage darstellt. Wir sind aber nicht imstande, das Gegenteil dieser Behauptung auszudrücken, da der formal negierte Ausdruck etwas
Heretical
发表于 2025-3-24 02:39:17
https://doi.org/10.1007/978-1-4899-2969-3 Formelsprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebräuchlich ist. In der Mathematik würde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewöhnlichen Sprache bedienen. Die großen Fortschritte, die in der Mathem
知道
发表于 2025-3-24 07:39:27
http://reply.papertrans.cn/40/3906/390590/390590_16.png
间接
发表于 2025-3-24 13:53:27
P. R. Amnuel,O. H. Guseinov,Yu. Rakhamimovrenntes Ganzes betrachtet werden. Jedoch ist keine Rede davon, daß wir mit dem Aussagenkalkül für die Zwecke der Logik überhaupt auskommen. Zum Beispiel ist sicher das folgende ein Satz, dessen Richtigkeit sich aus rein logischen Gründen ergibt: „Wenn der Löwe ein Raubtier ist und wenn Raubtiere Fle
关心
发表于 2025-3-24 15:28:05
http://reply.papertrans.cn/40/3906/390590/390590_18.png
chuckle
发表于 2025-3-24 19:28:36
http://reply.papertrans.cn/40/3906/390590/390590_19.png
exquisite
发表于 2025-3-25 02:39:04
,Der Klassenkalkül,eisch” durch „.” und „der Löwe frißt Fleisch” durch „.” abkürzen, so ließe sich zwar der erste Satz in der Form „. Λ . wiedergeben. Aber das nützt uns nichts, um den logischen Charakter der Aussage zu erkennen, da . Λ . keine (aussagentheoretische) Tautologie ist, d. h. nicht durch Einsetzung aus ei