Serĉrezultoj
Salti al navigilo
Salti al serĉilo
- [[Kategorio:Logikaj simboloj]] ...1 KB (218 vortoj) - 13:15, 6 dec. 2023
- ...la Zermelo-Fraenkel-aksiomoj. Verdire, la aksiomoj estas ĉenoj de [[logiko|logikaj]] [[simbolo]]j. Ĉi sube aperas iliaj "tradukoj" al natura lingvo: ...12 KB (1 871 vortoj) - 05:42, 30 sep. 2024
- :abstraktadaj simboloj λ kaj . Laŭ konsento, la sekvaj du difinoj estas uzataj por logikaj tipoj <tt>TRUE</tt> ([[vero]]) kaj <tt>FALSE</tt> ([[malvero]]): ...37 KB (5 623 vortoj) - 10:39, 30 nov. 2024
- ...difinitaj [[supozo]]j sole surbaze de de logikaj konsideroj. Plie tiuj ĉi logikaj konsideroj estas dividitaj en [[fina aro|fine]] multaj paŝoj, el kiuj en ĉi ...ŭ kristaliĝis bazaj specoj de pruvmetodoj konataj kiel klasikaj modeloj de logikaj pruvoj <ref>{{citu libron ...50 KB (7 866 vortoj) - 04:03, 22 feb. 2025