¹logik/o ^JED

logiko

serÄi 'logiko'

[logik.0o]

1.: [logik.0o.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.: [logik.0o.konsekvenco]; Ä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

serÄi 'logika'

[logik.0a]

: 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

serÄi 'logikeco'

[logik.0eco]

: 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

serÄi 'logikisto'

[logik.0isto]

: [logik.0isto.FIL]; 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

serÄi 'matematika logiko'

[logik.matematika0o]

: [logik.matematika0o.MAT]; 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

serÄi 'formala logiko'

[logik.formala0o]

1.: [logik.formala0o.FIL]; 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.: [logik.formala0o.simbola]; 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

serÄi 'simbola logiko'

[logik.simbola0o]

: [logik.simbola0o.MAT]; 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

serÄi 'laŭvera logiko'

[logik.lauxvera0o]

: [logik.lauxvera0o.FIL]; 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

serÄi 'svaga logiko'

[logik.svaga0o]

: [logik.svaga0o.MAT]; 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

serÄi 'neta logiko'

[logik.neta0o]

: [logik.neta0o.FIL]; 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