Compendio de Lógica

Honelako gehiago

FIESTA

Dafne Montenegro‑k egina

Maquina de Turing

MONGE LOPEZ MONGE LOPEZ‑k egina

ARGUMENTOS INTERPRETATIVOS

Jorge Yquera‑k egina

TIPOS DE LÓGICA

Mayolo Cárdenas Cárdenas‑k egina

G. W Leibniz

Alfred Whitehead

Bernard Russell

Glottlob Frege

Augusto de Morgan

George Boole

Se les atribuye las obras mas amplias de la logica simbolica "Principia mathematica"

Se considera el fundador de la logica matematica. Su obra "conceptografia"

Se le atribuye el libro "Logica formal"

Se le atribuye el libro "Análisis matemáticos de la lógica.

Propuso el lenguaje simbólico y Universal.

Objeto de estudio

Es el razonamiento

Elementos

Elementos de cada preposicion

Determinar la escritura

Unidad simple

Expresiones

Enunciados

Molecular

Tiene uno o mas enunciados

Atómico

No tiene enunciados

Simbolismo

Nos permiten nombrar

Proposiciones

Expresiones que califican como verdadrero o falso

Caracteristicas

El calculo logico tiene forma matematico

Reglas para operar

Operaciones y signos

Sus leyes estan en lenguaje artificial

Su sistema primero es formal y despues se interpreta en lenguaje ordinario

La lógica se maneja como un calculo matemático

SU importancia se centra en

Representates

Compendio de Lógica

La lógica estudia las formas y principios generales que rigen el conocimiento y el pensamiento humano

Dentro del contexto simbolico la llaman tambien

Lógica moderna

Lógica matemática