Lgica libre 1

Lgica libreLa lgica libre (del ingls Free logic) es un sistema lgico sin presupuestos existenciales. Esto es, sus teoremas sonvlidos en todos los dominios, incluyendo el dominio vaco.Fue propuesta por primera vez en la dcada del cincuenta. Karel Lambert, uno de sus fundadores, fue quien acu eltrmino. De acuerdo con Lambert, la expresin "lgica libre" es una abreviacin de "libre de suposiciones deexistencia con respecto a sus trminos, generales o singulares".

Enlaces Sitio web de Karel Lambert [1]

Referencias[1] http:/ / www. flogik. com/ professional. htm

Fuentes y contribuyentes del artculo 2

Fuentes y contribuyentes del artculoLgica libre Fuente: http://es.wikipedia.org/w/index.php?oldid=64863045 Contribuyentes: Al2, Benceno, Digigalos, Francisco Mochis, HUB, Jmorbla, Luis Felipe Schenone, Unificacion

LicenciaCreative Commons Attribution-Share Alike 3.0//creativecommons.org/licenses/by-sa/3.0/

Lgica libreEnlaces

Licencia