Serĉrezultoj
Salti al navigilo
Salti al serĉilo
Trovitaj laŭ titolo
- En la [[logiko]], [[n-opo|n-opa]] '''rilato''' estas ĝeneraligo de la [[koncepto]] de [[du [[Kategorio:Logiko]] ...701 bajtoj (113 vortoj) - 02:41, 15 jun. 2022
- '''Matematika logiko''' estas fako de [[matematiko]], kiu studas [[Formala sistemo|formalajn sis ...fruaj nomoj de la afero estis "simbola logiko" (en kontrasto al "filozofia logiko"), kaj "[[metalingvo]] de matematiko", kiu estas nun limigita kiel termino ...23 KB (3 423 vortoj) - 03:13, 22 feb. 2025
- ...evojn, permesojn, normojn kaj rilatajn konceptojn. Aldone, la vorto ''devo-logiko'' ankaŭ nomas unuopan logikan sistemon, kiu celas kapti la esencajn logikaj ...ko]] (angle ''Standard Deanotic Logic'', '''SDL''') estas [[normala modala logiko]] kun modalaj operatoroj ''O'' (''obligation'') por devo kaj ''P'' por perm ...1 KB (169 vortoj) - 20:37, 31 jul. 2024
- ...a logiko]] kiu temas pri la [[rezonado]] pri la [[kredo]]j. Tipe, doksasta logiko uzas la esprimon <math>B_c p \,</math> por signifi "la rezonanto ''c'' krda [[Kategorio:Logiko]] ...1 KB (155 vortoj) - 12:20, 1 dec. 2024
Trovitaj laŭ enhavo
- ...evojn, permesojn, normojn kaj rilatajn konceptojn. Aldone, la vorto ''devo-logiko'' ankaŭ nomas unuopan logikan sistemon, kiu celas kapti la esencajn logikaj ...ko]] (angle ''Standard Deanotic Logic'', '''SDL''') estas [[normala modala logiko]] kun modalaj operatoroj ''O'' (''obligation'') por devo kaj ''P'' por perm ...1 KB (169 vortoj) - 20:37, 31 jul. 2024
- ...a logiko]] kiu temas pri la [[rezonado]] pri la [[kredo]]j. Tipe, doksasta logiko uzas la esprimon <math>B_c p \,</math> por signifi "la rezonanto ''c'' krda [[Kategorio:Logiko]] ...1 KB (155 vortoj) - 12:20, 1 dec. 2024
- ...logiko]], '''duopa rilato''' aŭ '''[[duvalenta rilato]]''' estas [[rilato (logiko)|rilato]], kiu rilatigas du [[Aro (matematiko)|elemento]]jn. Ekzemploj en [ [[Kategorio:Matematika logiko]] ...887 bajtoj (144 vortoj) - 02:38, 15 jun. 2022
- ...], se <math>M</math> kaj <math>N</math> estas modeloj en la sama [[lingvo (logiko)|lingvo]] <math>L</math>, funkcio ...636 bajtoj (97 vortoj) - 18:50, 13 feb. 2022
- En [[Logiko|logiko]] kaj [[Matematiko|matematiko]], la '''inversa rilato''' de [[duargumenta r [[Kategorio:Logiko]] ...1 KB (156 vortoj) - 12:26, 3 nov. 2022
- En la [[logiko]], [[n-opo|n-opa]] '''rilato''' estas ĝeneraligo de la [[koncepto]] de [[du [[Kategorio:Logiko]] ...701 bajtoj (113 vortoj) - 02:41, 15 jun. 2022
- En [[matematika logiko]], '''dukondiĉa enkonduko''' estas la [[regulo de konkludo]] ke, se ''B'' s [[Kategorio:Logiko]] ...598 bajtoj (93 vortoj) - 20:00, 17 mar. 2013
- '''Skolemigo''' estas transformo de [[logiko|predikatlogika]] [[formulo]], ĉe kiu oni forigas [[ekzista kvantizanto|ekzi [[Kategorio:Logiko]] ...860 bajtoj (128 vortoj) - 15:21, 15 mar. 2020
- ...r la enkondukon de nova propozicio ''Q''(''n'') kiu estas la [[konjunkcio (logiko)|konjunkcio]] de la ''P''(''m'') por 0 ≤ ''m'' ≤ ''n'' por skribi arg [[Kategorio:Matematika logiko]] ...982 bajtoj (138 vortoj) - 15:12, 7 aŭg. 2023
- En [[matematika logiko]] '''aritmetika aro''' estas [[kalkulebla aro]] kiu povas esti difinita per ...tado)|numerado]] <math>\nu_{\Sigma}</math> sur la aritmetika formuloj de [[logiko de la unua ordo]]. Tiam la aro <math>\nu_{\Sigma}^{-1}[A]</math>, kie <math ...1 KB (159 vortoj) - 17:32, 9 mar. 2013
- Implico povas prezenti per aliaj simboloj de matematika logiko: [[Kategorio:Logiko]] ...1 KB (191 vortoj) - 18:05, 29 jul. 2023
- ...konsekvencaj kaj plenaj. Vidu ankaŭ pli sube por alia nocio de pleneco en logiko. ...e (kaj propozicio kaj ĝia neo povus ne esti taŭtologioj kun respekto al la logiko). La reo implikacio estas nomata kiel [[soneco]]. ...5 KB (723 vortoj) - 10:35, 11 mar. 2025
- #en la [[logiko]] refuto de supozo pro la malvero de du sole restantaj ebloj. [[Kategorio:Konceptoj en logiko]] ...2 KB (320 vortoj) - 10:23, 31 okt. 2022
- En [[logiko]], [[matematiko]] kaj [[komputado]], '''valento''' estas la [[nombro]] kaj [[Kategorio:Logiko]] ...2 KB (208 vortoj) - 18:12, 7 dec. 2023
- :8, Kpq, [[AND]], [[Konjunkcio (logiko)]]<ref>{{ReVo|konjunkci|konjunkcio}}</ref> * [[Bulea logiko]] ...3 KB (437 vortoj) - 22:21, 19 feb. 2025
- ...tralemo''' aŭ ''tetralemma'' estas figuri kiu estas elstara trajto en la [[logiko]] de [[Barato]]. ...iel kaŭzo, movo, ŝanĝo kaj persona identeco, uzante la tetralemon de hinda logiko nomitan ''catuṣkoṭi'' por ataki kiun ajn esencisman koncepton surbaze kvar ...2 KB (358 vortoj) - 14:12, 25 dec. 2023
- En [[matematika logiko]] kaj teoria komputiko, reverka sistemo havas la '''normigan econ''' se ĉiu [[Kategorio:Logiko en komputiko]] ...2 KB (356 vortoj) - 17:34, 9 mar. 2013
- * [[Konjunkcio_(logiko)|AND]], logika kajo [[Kategorio:Logiko]] ...2 KB (269 vortoj) - 14:43, 9 okt. 2023
- ...estas vorto kaj koncepto implicantaj samtempan validecon de [[Propozicio (logiko)|propozicio]] kaj de ĝia kontraŭo. Ĝi realiĝas, kiam aserto estas samtempe == Kontraŭdiro en logiko == ...6 KB (1 018 vortoj) - 22:10, 27 nov. 2024
- ...malplena aro daŭre povas esti bezonata. Tiel, ĉiu aksiomo de aroteorio aŭ logiko kiu implicas ekziston de iu aro implicas ekziston de la malplena aro, se on En multaj formuliĝoj de [[unua orda logiko |unua orda predikata logiko]], la ekzisto de almenaŭ unu objekto ĉiam estas garantiita. Se la aksiomati ...3 KB (485 vortoj) - 22:59, 24 mar. 2013