17472426
Beschreibung
Mindmap von Deivis Galvan Cabrera, aktualisiert more than 1 year ago
|
Erstellt von Deivis Galvan Cabrera
vor mehr als 5 Jahre
|
|
¿Qué es la lógica?
- Ciencia de la razón
- Tipos de lógica
- Lógica Formal
- Estudia las
proposiciones desde el
punto de vista
estructural
- Estudia las
proposiciones desde el
punto de vista
estructural
- Lógica Informal
- Se centra en el lenguaje y el
mensaje que se emana desde las
construcciones semánticas y los
argumentos
- Se centra en el lenguaje y el
mensaje que se emana desde las
construcciones semánticas y los
argumentos
- Lógica Simbólica
- Emplea símbolos que
constituyen un nuevo
lenguaje a través del cual se
“traducen” los argumentos
- Lógica NO Clásica
- Data del siglo XIX y es
opuesta a los enunciados de
la lógica clásica
- Data del siglo XIX y es
opuesta a los enunciados de
la lógica clásica
- Lógica Modal
- Estudia los argumentos, pero
agrega elementos relacionados con
la posibilidad (probabilidad) de que
un enunciado sea verdadero o falso
- Estudia los argumentos, pero
agrega elementos relacionados con
la posibilidad (probabilidad) de que
un enunciado sea verdadero o falso
- Emplea símbolos que
constituyen un nuevo
lenguaje a través del cual se
“traducen” los argumentos
- Lógica Computacional
- Derivada de la lógica simbólica
y la matemática, aplicada en el
área de la computación
- Derivada de la lógica simbólica
y la matemática, aplicada en el
área de la computación
- Lógica Matemática
- Estudia las situaciones formales en relación con el
modo en el que codificamos las nociones intuitivas de
los objetos matemáticos tales como: conjunto,
números, demostraciones y algoritmos. Se usa un
lenguaje formal
- Establece las reglas que nos
permiten determinar el valor
de verdad de una proposición
- las proposiciones pueden ser
- Simples
- Se forman con una sola
oración gramatical
- Se forman con una sola
oración gramatical
- Compuestas
- Formadas con dos
o más oraciones
proposiciones
simples
- Usan conectores lógicos
- Negación ¬
Conjunción Ʌ
Disyunción V
Implicación →
Bicondicional ↔
- Negación ¬
Conjunción Ʌ
Disyunción V
Implicación →
Bicondicional ↔
- Formadas con dos
o más oraciones
proposiciones
simples
- Simples
- las proposiciones pueden ser
- Establece las reglas que nos
permiten determinar el valor
de verdad de una proposición
- Estudia las situaciones formales en relación con el
modo en el que codificamos las nociones intuitivas de
los objetos matemáticos tales como: conjunto,
números, demostraciones y algoritmos. Se usa un
lenguaje formal
- Lógica Formal
- Establece reglas de la inferencia
- Para obtener
información no
explicita en un
enunciado
- y
- y
- Para obtener
información no
explicita en un
enunciado
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.