gentle
发表于 2025-3-23 11:22:04
http://reply.papertrans.cn/15/1419/141867/141867_11.png
权宜之计
发表于 2025-3-23 16:16:31
http://reply.papertrans.cn/15/1419/141867/141867_12.png
Strength
发表于 2025-3-23 21:34:07
978-90-481-8329-6Springer Science+Business Media Dordrecht 1959
谄媚于人
发表于 2025-3-24 00:27:20
http://reply.papertrans.cn/15/1419/141867/141867_14.png
corporate
发表于 2025-3-24 04:12:38
https://doi.org/10.1007/978-3-662-05706-3system of what is called the logic of ‘terms’, i.e. for the variables which appear in it we can substitute terms only, and not sentences. It can be axiomatized on the basis of the sentential calculus with the help of some special axioms and ‘syllogistic functors’.
arterioles
发表于 2025-3-24 09:27:33
Greensche Funktionen und die δ-„Funktion“monadic predicates (§ 12). It is the newest and also the most important part of modern logic. Developed originally for the foundations of mathematics, it has gone beyond this science to embrace the whole of knowledge. Despite the fact that it occupies a major place in the treatises of logic, it is s
碳水化合物
发表于 2025-3-24 14:09:59
Lineare Differentialgleichungen und SystemeThis chapter contains the theory of the connections between unanalysed sentences formed by functors corresponding to the English words ‘not’, ‘or’, ‘if ... then’, ‘and’, etc. These functors are called ‘truth functors’, because the truth of a sentence formed with them depends exclusively on the truth and not on the meaning of their arguments.
Admire
发表于 2025-3-24 17:50:07
http://reply.papertrans.cn/15/1419/141867/141867_18.png
强壮
发表于 2025-3-24 19:21:37
A Precis of Mathematical Logic978-94-017-0592-9Series ISSN 0166-6991 Series E-ISSN 2542-8292
Gourmet
发表于 2025-3-24 23:59:08
https://doi.org/10.1007/978-3-662-05706-3system of what is called the logic of ‘terms’, i.e. for the variables which appear in it we can substitute terms only, and not sentences. It can be axiomatized on the basis of the sentential calculus with the help of some special axioms and ‘syllogistic functors’.