¹logik/o

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]; fondita de Pariza logikisto Couturat ^VivZam.
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. Monato, Roland Rotsaert: Kosovo: Vojaĝimpresoj, somero 2000
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. Monato, Otto Haszpra: Absurda logiko

angle:: logic
beloruse:: лёгіка
bulgare:: логика
ĉeĥe:: logičnost
france:: logique (subst.)
germane:: Logik, Schlüssigkeit
greke:: λογική
hispane:: lógica
hungare:: logika
nederlande:: logica
pole:: logika
portugale:: lógica
ruse:: логика
slovake:: logica, logickosť, logika

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ý
france:: logique (adj.)
germane:: logisch
greke:: λογικός
hungare:: logikus, logikai
itale:: logico
pole:: logiczny
portugale:: lógico
ruse:: логический , логичный
slovake:: logický

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
nederlande:: logica
pole:: logiczność
ruse:: логичность
slovake:: logika logickosť

matematika logiko ↝

^PIV1

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

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 ↝

: Nuntempa maniero de la logiko, kiu anstataŭigas la normalan lingvon per alia lingvo (formala) bazita sur simboloj kaj specifaj reguloj, tial ke la vortigo estu laŭ la principoj de la rikura generiĝo matematika logiko.

angle:: formal logic
bulgare:: формална логика
germane:: formale Logik
itale:: logica formale
pole:: logika formalna

simbola logiko ↝

: formala logiko

angle:: symbolic logic
itale:: logica simbolica
pole:: logika symboliczna

laŭvera logiko

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

germane:: klassische Logik
itale:: logica aletica, logica verofunzionale

svaga logiko ↝

: Logiko bazita sur pluraj valoroj de logika vereco.

angle:: fuzzy logic
bulgare:: размита логика
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).

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 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.

1logik/o