Aldoni tradukojn al ReVo:

1logik/o

logiko

serĉi 'logiko'
[logik.0o]
en:
1.
[logik.0o.FIL]
en:
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]; fondita de Pariza logikisto Couturat VivZam .
2.
[logik.0o.konsekvenco]
en:
Ĝ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. 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
ukraine:
 Ð»Ð¾Ð³Ñ–ка

logika

serĉi 'logika'
[logik.0a]
en:
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ý
ukraine:
 Ð»Ð¾Ð³Ñ–чний

logikeco

serĉi 'logikeco'
[logik.0eco]
en:
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
nederlande:
 logica
pole:
 logiczność
ruse:
 Ð»Ð¾Ð³Ð¸Ñ‡Ð½Ð¾ÑÑ‚ÑŒ
slovake:
 logika  logickosÅ¥
ukraine:
 Ð»Ð¾Ð³Ñ–чність

matematika logiko

serĉi 'matematika logiko'
[logik.matematika0o]
en:
MATPIV1
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

serĉi 'formala logiko'
[logik.formala0o]
en:
FILMAT
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 SIN:matematika logiko.
angle:
 formal logic
beloruse:
 Ñ„армальная лёгіка
bulgare:
 Ñ„ормална логика
germane:
 formale Logik
itale:
 logica formale
pole:
 logika formalna

simbola logiko

serĉi 'simbola logiko'
[logik.simbola0o]
en:
angle:
 symbolic logic
beloruse:
 ÑÑ‹Ð¼Ð±Ð°Ð»Ñ–чная лёгіка
itale:
 logica simbolica
pole:
 logika symboliczna

laÅ­vera logiko

serĉi 'laŭvera logiko'
[logik.lauxvera0o]
en:
FIL
Tradicia logiko, bazita sur la studado de la asertoj kaj sur neta valoro de vereco.
angle:
 classical logic
germane:
 klassische Logik
itale:
 logica aletica, logica verofunzionale

svaga logiko

serĉi 'svaga logiko'
[logik.svaga0o]
en:
FILMAT
Logiko bazita sur pluraj valoroj de logika vereco.
angle:
 fuzzy logic
bulgare:
 Ñ€Ð°Ð·Ð¼Ð¸Ñ‚а логика
germane:
 mehrwertge Logik
itale:
 logica sfumata
pole:
 logika rozmyta

neta logiko

serĉi 'neta logiko'
[logik.neta0o]
en:
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]
  
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.