¹logik/o ^JED

logiko

1.: Fako de la filozofio studanta la leĝojn de rezonado: oni malfermis […] fakultaton de filozofio kaj logiko ^FK; Shemsi Reçica [estis] profesoro pri matematika logiko [1].
2.: Ĝusta konkludado, rezonado: ĉu ekzistas eĉ guto da senco kaj logiko en ĉiuj tiuj ĉi spritaj mokoj [2]; ni tie ĉi […] parolos al vi nur en la nomo de la nuda logiko ^EE; tie agadis nenia logiko, nenia difinita plano ^EE; ne fanfaronante per citatoj, ni penos pruvi ĉion nur per la sola logiko ^EE; tio estas ne nia pia deziro, sed tion plene certigas al ni simpla logiko kaj prudento [3]; la nerefuteblaj leĝoj de la logiko diras al mi, ke tio estas la sola vojo [4]; lia logiko ne permesis lin kredadi la instruon de la pastroj ^VivZam; absurda logiko [5]. konsekvenco, leĝaro

1. Bardhyl Selimi: Vojaĝimpresoj, somero 2000, Monato, 2001/01, p. 26
2. L. L. Zamenhof: Esenco kaj Estonteco, ĉap. 1
3. L. L. Zamenhof: Paroloj, Parolado antaŭ la Sesa Kongreso Esperantista en Washington en la 15a de aŭgusto 1910
4. L. L. Zamenhof: Paroloj, Parolado antaŭ la Sesa Kongreso Esperantista en Washington en la 15a de aŭgusto 1910
5. Otto Haszpra: , Monato, 2000/02, p. 4

angle:: logic
beloruse:: лёгіка
bulgare:: логика
ĉeĥe:: logičnost
ĉine:: 逻辑 [luóji], 邏輯 [luóji], 逻 [luó], 邏 [luó], 名学 [míngxué], 名學 [míngxué], 理则 [lǐzé], 理則 [lǐzé], 理则学 [lǐzéxué], 理則學 [lǐzéxué], 論理 [lùnlǐ], 论理 [lùnlǐ], 論理學 [lùnlǐxué], 论理学 [lùnlǐxué]
france:: logique (subst.)
germane:: Logik, Schlüssigkeit
greke:: λογική
hispane:: lógica
hungare:: logika
japane:: 論理学 [ろんりがく], 論理 [ろんり], 論法 [ろんぽう], 道理 [どうり], 論理的必然 [ろんりてきひつぜん], 当然の成り行き [とうぜんのなりゆき]
nederlande:: logica
pole:: logika
portugale:: lógica
ruse:: логика
slovake:: logica, logickosť, logika
ukraine:: логіка

logika

: Konforma al la logiko; kapabla logike rezoni: logika respondo ^EE; [ili] juĝas pri ĉio supraĵe kaj sen ia logika pripenso ^EE; logika esploro de la afero montras al ni, ke […] [6]; scienca kaj logika plano ^Ifigenio; uzi formon pli logikan [7].

6. L. L. Zamenhof: Paroloj, Parolado antaŭ la Sesa Kongreso Esperantista en Washington en la 15a de aŭgusto 1910
7. L. L. Zamenhof: Lingvaj Respondoj, 1. Vortfarado

angle:: logical
beloruse:: лягічны
bulgare:: логически
ĉeĥe:: evidentní, logický
ĉine:: 順理成章 [shùnlǐchéngzhāng], 顺理成章 [shùnlǐchéngzhāng], 逻 [luó], 邏 [luó]
france:: logique (adj.)
germane:: logisch, schlüssig
greke:: λογικός
hungare:: logikus, logikai
itale:: logico
japane:: 論理学の [ろんりがくの], 論理的な [ろんりてきな], 道理にかなった [どうりにかなった], 必然的な [ひつぜんてきな], 当然の [とうぜんの]
pole:: logiczny
portugale:: lógico
ruse:: логический, логичный
slovake:: logický
ukraine:: логічний

logikeco

: Kvalito de io logika: tro granda logikeco [8]; seke teoria logikeco [9]; kaŭze de la neŝanĝebla, […] en sia logikeco al nenio cedanta homa naturo ^Marta; kontraŭdiras al logikeco de ĉiuj teologiaj konstruoj la ĉefa punkto en la intrigo [10].

8. L. L. Zamenhof: Lingvaj Respondoj, 1. Vortfarado
9. L. L. Zamenhof: Lingvaj Respondoj, 2. Vortuzo
10. Monato, Nikolao Gudskov: Teologia utopio, 2008

angle:: logicalness
beloruse:: лягічнасьць
ĉeĥe:: logičnost
france:: logique (subst.)
germane:: Logischsein, Schlüssigkeit
hungare:: logikusság
itale:: logica
japane:: 論理性 [ろんりせい]
nederlande:: logica
pole:: logiczność
ruse:: логичность
slovake:: logika logickosť
ukraine:: логічність

logikisto

: Fakulo pri logiko: [la terminon ‚interlingvistiko‘] uzis itala matematikisto-logikisto Giuseppe Peano la 27-an de aŭgusto 1903 en sia artikolo „De latino sine flexione“ [11].

11. V. Barandovska: Koncepto de interlingvistiko, Pola Retradio, 2018-05

beloruse:: лёгік
france:: logicien

matematika logiko ^PIV1

: Branĉo de matematiko, studanta la formalajn rilatojn inter propozicioj kaj ilian aplikon al la demonstrado de matematikaj teoremoj.

logistiko, formala logiko VD:

propozicio

angle:: mathematical logic , logistics
beloruse:: лёгіка матэматычная
bulgare:: Математическа логика
ĉeĥe:: matematická logika
france:: logique mathématique, logistique (logique mathématique)
germane:: mathematische Logik, Logistik
hungare:: matematikai logika
itale:: logica matematica
pole:: logika matematyczna, logistyka (przest.)
portugale:: lógica matemática
ruse:: математическая логика, логистика (уст.)
slovake:: matematická logika , matematická logika

formala logiko

1.: La klasika logiko ekde la Aristotela kaj skolastika, esploranta la verecon de rezonadoj formale^1.d, surbaze de la formo de inferencoj kaj relativa amplekso de la nocioj, sed sen atenti la signifon de la nocioj: En la akademia sistemo de la mezepoko oni ĝenerale instruis […] dialektikon (fakte formalan logikon) … ^Ret.
2.: simbola logiko

angle:: formal logic
beloruse:: лёгіка фармальная
bulgare:: формална логика
ĉine:: 数理逻辑 [shùlǐluójí], 數理邏輯 [shùlǐluójí]
france:: logique formelle
germane:: formale Logik
itale:: logica formale
pole:: logika formalna

simbola logiko

: La moderna formo de la logiko, en kiu por la propozicioj kaj logikaj operacioj oni uzas ne la ordinaran komunan lingvon, sed matematikan simbolaron.

matematika logiko.

angle:: symbolic logic
beloruse:: лёгіка сымбалічная
itale:: logica simbolica
pole:: logika symboliczna
ruse:: символическая логика

laŭvera logiko

: Tradicia logiko, bazita sur la studado de la asertoj kaj sur neta valoro de vereco.

angle:: classical logic
beloruse:: лёгіка клясычная
france:: logique classique
germane:: klassische Logik
itale:: logica aletica, logica verofunzionale

svaga logiko

: Logiko bazita sur pluraj valoroj de logika vereco.

angle:: fuzzy logic
beloruse:: лёгіка недакладная, лёгіка размытая, лёгіка недакладных мностваў
bulgare:: размита логика
ĉine:: 模糊逻辑 [móhuluóji], 模糊邏輯 [móhuluóji]
france:: logique floue
germane:: mehrwertge Logik
itale:: logica sfumata
pole:: logika rozmyta

neta logiko

: Tradiciaj logik-manieroj bazitaj sur neta valoro (ekz.: vero aŭ malvero; 0 aŭ 1; valideco aŭ nevalideco).

angle:: two-valued logic
beloruse:: лёгіка двузначная
germane:: zweiwertige Logik
itale:: logica non-sfumata

administraj notoj

pri ~eco:

    Kiel nomi la econ de IU ~a (kapabla ~e rezoni)? Ankaux ~eco
    mi supozas. [MB]

matematika ~o : Mankas fonto, kiu estas nek vortaro nek terminaro.
simbola ~o: Mankas dua fontindiko.
simbola ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
laŭvera ~o: Mankas dua fontindiko.
laŭvera ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
svaga ~o: Mankas dua fontindiko.
svaga ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
neta ~o: Mankas dua fontindiko.
neta ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.

1logik/o JED