21918172
Beschreibung
Mindmap von Michaell Tinoco, aktualisiert more than 1 year ago
|
Erstellt von Michaell Tinoco
vor mehr als 4 Jahre
|
|
Lógica
- Lógica matemática
- Tabla de la
verdad
- Es una tabla que muestra el valor de verdad de una proposición compuesta, para
cada combinación de verdad que se pueda asignar
- Es una tabla que muestra el valor de verdad de una proposición compuesta, para
cada combinación de verdad que se pueda asignar
- Conectores
lógicos
- Es un símbolo o palabra que se utiliza para conectar dos fórmulas bien
formadas o sentencias, de modo que el valor de verdad de la fórmula
compuesta depende del valor de verdad de las fórmulas componentes
- Está formado por
varias proposiciones
- Conjunción (y): Solo es verdadera únicamente cuando las dos proposiciones son verdaderas (p Ʌ q).
Disyunción (o): Es verdadera únicamente cuando una de las dos proposiciones, sea verdadera (p V q).
Implicación (→): Es falsa únicamente cuando la primera proposición es verdadera y la segunda es
falsa (p → q) .
- Conjunción (y): Solo es verdadera únicamente cuando las dos proposiciones son verdaderas (p Ʌ q).
Disyunción (o): Es verdadera únicamente cuando una de las dos proposiciones, sea verdadera (p V q).
Implicación (→): Es falsa únicamente cuando la primera proposición es verdadera y la segunda es
falsa (p → q) .
- Está formado por
varias proposiciones
- Es un símbolo o palabra que se utiliza para conectar dos fórmulas bien
formadas o sentencias, de modo que el valor de verdad de la fórmula
compuesta depende del valor de verdad de las fórmulas componentes
- Tabla de la
verdad
- Leyes de inferencia
lógica
- Una regla de inferencia, o regla de transformación es una forma lógica
que consiste en una función que toma premisas, analiza su sintaxis, y
devuelve una conclusión (o conclusiones)
- Tiene varios tipos
de leyes, como lo
son:
- Modus Ponens: que significa “negando, afirmo” si uno de los miembros de
una disyunción es negativa, el otro miembro queda automáticamente,
verdadero
- Modus tollens: que significa, “negando, niego” se refiere
a una propiedad inversa de los condicionales
- El silogismo disyuntivo: Es aquel cuya premisa mayor establece una disyunción
exclusiva, de manera que los dos miembros no pueden ser simultáneamente
verdaderos, ni simultáneamente falsos.
- Modus Ponens: que significa “negando, afirmo” si uno de los miembros de
una disyunción es negativa, el otro miembro queda automáticamente,
verdadero
- Tiene varios tipos
de leyes, como lo
son:
- Una regla de inferencia, o regla de transformación es una forma lógica
que consiste en una función que toma premisas, analiza su sintaxis, y
devuelve una conclusión (o conclusiones)
- Razonamiento lógico
- Es la actividad mental que permite lograr la estructuración y la
organización de las ideas para llegar a una conclusión.
- Existen varios tipos de
razonamientos lógicos
- Razonamiento deductivo: Se basa en la creencia en una premisa o una afirmación
universal para llegar a obtener una conclusión para cada caso particular. Así, se
va de lo general a lo particular, pudiendo realizar conclusiones para un caso
concreto basadas en la suposición o deducción a partir de lo que consideramos
globalmente cierto.
- Razonamiento inductivo: Es aquel proceso de pensamiento en el
cual se parte de la información particular para llegar a una
conclusión general.
- Razonamiento deductivo: Se basa en la creencia en una premisa o una afirmación
universal para llegar a obtener una conclusión para cada caso particular. Así, se
va de lo general a lo particular, pudiendo realizar conclusiones para un caso
concreto basadas en la suposición o deducción a partir de lo que consideramos
globalmente cierto.
- Existen varios tipos de
razonamientos lógicos
- Es la actividad mental que permite lograr la estructuración y la
organización de las ideas para llegar a una conclusión.
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.