1logik/o

logiko

1.
FIL 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]. SIN: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
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].
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
france:
logicien

matematika logiko PIV1

MAT Branĉo de matematiko, studanta la formalajn rilatojn inter propozicioj kaj ilian aplikon al la demonstrado de matematikaj teoremoj.
SIN:logistiko, formala logikoVD: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

FILMAT Moderna maniero de la logiko, kiu anstataŭigas la ordinaran lingvon per alia, formala lingvo el simboloj kaj specifaj reguloj, tiel ke la prezento konformu al la principoj de rikura generiĝo. SIN:matematika 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

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

laŭvera logiko

FIL Tradicia logiko, bazita sur la studado de la asertoj kaj sur neta valoro de vereco.
angle:
classical logic
france:
logique classique
germane:
klassische Logik
itale:
logica aletica, logica verofunzionale

svaga logiko

FILMAT Logiko bazita sur pluraj valoroj de logika vereco.
angle:
fuzzy logic
bulgare:
размита логика
ĉine:
模糊逻辑 [móhuluóji], 模糊邏輯 [móhuluóji]
france:
logique floue
germane:
mehrwertge Logik
itale:
logica sfumata
pole:
logika rozmyta

neta logiko

FIL Tradiciaj logik-manieroj bazitaj sur neta valoro (ekz.: vero aŭ malvero; 0 aŭ 1; valideco aŭ nevalideco).
angle:
two-valued logic
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]
  
~isto: Mankas dua fontindiko.
matematika ~o : Mankas dua fontindiko.
matematika ~o : Mankas fonto, kiu estas nek vortaro nek terminaro.
formala ~o: Mankas fontindiko.
formala ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
simbola ~o: Mankas fontindiko.
simbola ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
laŭvera ~o: Mankas fontindiko.
laŭvera ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
svaga ~o: Mankas fontindiko.
svaga ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
neta ~o: Mankas fontindiko.
neta ~o: Mankas fonto, kiu estas nek vortaro nek terminaro.