17770344
Description
Mind Map by Disley Molina Rodriguez, updated more than 1 year ago
|
Created by Disley Molina Rodriguez
almost 5 years ago
|
|
Lógica
matemática
- Argumentos
- descubre la validez
de una inferencia
correcta
- Inferencia
- Afirma una
proposición de
otras.
- Premisas
- conjunto de
proposiciones
que conducen a
una conclusiòn
- Clasificación de argumentos
- Tautología
- Es una
proposición
verdadera para
todos los
posibles valores.
- Es una
proposición
verdadera para
todos los
posibles valores.
- Contradicción
- Ofrece un
resultado falso
para todos los
posibles valores.
- Ofrece un
resultado falso
para todos los
posibles valores.
- Contingencia
- Cuando
puede ser
verdadera
o falsa.
- Cuando
puede ser
verdadera
o falsa.
- Tautología
- Clasificación de argumentos
- conjunto de
proposiciones
que conducen a
una conclusiòn
- Premisas
- Afirma una
proposición de
otras.
- Inferencia
- descubre la validez
de una inferencia
correcta
- Métodos de
Demostración
- razonamientos que
prueban la validez de un
nuevo conocimiento.
- Métodos
de tablas
de verdad
- cuando un argumento
es una tau logia se
considera que este es
válido, pero si es una
contradicción es
inválido.
- cuando un argumento
es una tau logia se
considera que este es
válido, pero si es una
contradicción es
inválido.
- Reglas de
equivalencia
- No siempre un
argumente
valido o
invalido se
puede
comprobar por
medio de la
reglas de
inferencias.
- 1. Leyes de
Morgan (MG
- 2. Conmutación
(CM):
- 3. Doble
negación (DN)
- 4. Distribución
(DIS)
- 5. Tautología
(TAU)
- 6. Asociación
(ASO)
- 7. Implicación
material (IM)
- 8. Transposición
(TRAN)
- 9. Exportación
(EXP)
- 10. Equivalencia
material (EM)
- Permite
reescribir la
bicondicional.
- Permite
reescribir la
bicondicional.
- Cambia de
conjunción a
condicional y
viceversa,
modificando
su
agrupación.
- 10. Equivalencia
material (EM)
- Conmuta les
variables de la
condicional
negando cada
una de estas.
- 9. Exportación
(EXP)
- Cambia de
disyunción a
condicional y
viceversa.
- 8. Transposición
(TRAN)
- Agrupa diferentes
variables lógicas,
siempre y cuando
sea el mismo
operador.
- 7. Implicación
material (IM)
- Une dos
variables
lógicas en
una sola.
- 6. Asociación
(ASO)
- Distribuye la
variable
lógica de
afuera y su
operador con
las variables
de adentro y
su operador.
- 5. Tautología
(TAU)
- Sin la negación de
cualquier proporción
p verdadera es falsa,
cuando se devuelve a
negar estas será
nueva mente
verdadera.
- 4. Distribución
(DIS)
- Cambia el
orden de las
variables
lógicas sin
cambiar el
operador.
- 3. Doble
negación (DN)
- Cambia de disyunción a
conjunción y viceversa,
negando ambas variables
lógicas.
- 2. Conmutación
(CM):
- 1. Leyes de
Morgan (MG
- No siempre un
argumente
valido o
invalido se
puede
comprobar por
medio de la
reglas de
inferencias.
- Reglas de
inferencia
- Con formas de
argumento cuya
valides puede ser
demostrada por
tablas de verdad.
- 1. Modus ponens (MP)
- permite eliminar el
antecedente siempre
que la premisa sea
dicho antecedente.
- 2. Modus tollens (MT)
- permite eliminar el consecuente siempre
y cuando este negado en la segunda
premisa, dando como consecuencia el
antecedente negado.
- 3. Silogismo disyuntivo (SD)
- permite eliminar una
de las dos disyunciones
siempre que una de las
dos este negada en la
segunda premisa.
- 4. Silogismo hipotético (SH)
- permite eliminar el
consecuente de la primera
premisa y el antecedente de la
segunda premisa, si son
iguales.
- 5. Adición (AD)
- permite agregar las variables
proposicionales que se necesiten.
- 6. Simplificación (SIM)
- Elimina las variables
proposicionales que no
necesita.
- 7. Conjunción (CONJ)
- Une dos premisas
diferentes.
- 8. Dilema constructivo (DC)
- Elimina los antecedentes de las
dos condicionales, dando como
resultado la disyunción de los
consecuentes.
- 9. Dilema destructivo (DD)
- Elimina los antecedentes
de las dos condicionales,
dando como resultado la
disyunción de la negación
de los consecuentes.
- 10. Absorción (ABS)
- Reescribe el consecuente,
dando como resultado la
conjunción del antecedente y
consecuente.
- Reescribe el consecuente,
dando como resultado la
conjunción del antecedente y
consecuente.
- Elimina los antecedentes
de las dos condicionales,
dando como resultado la
disyunción de la negación
de los consecuentes.
- Elimina los antecedentes de las
dos condicionales, dando como
resultado la disyunción de los
consecuentes.
- Une dos premisas
diferentes.
- Elimina las variables
proposicionales que no
necesita.
- permite agregar las variables
proposicionales que se necesiten.
- permite eliminar el
consecuente de la primera
premisa y el antecedente de la
segunda premisa, si son
iguales.
- permite eliminar una
de las dos disyunciones
siempre que una de las
dos este negada en la
segunda premisa.
- permite eliminar el consecuente siempre
y cuando este negado en la segunda
premisa, dando como consecuencia el
antecedente negado.
- permite eliminar el
antecedente siempre
que la premisa sea
dicho antecedente.
- 1. Modus ponens (MP)
- Con formas de
argumento cuya
valides puede ser
demostrada por
tablas de verdad.
- Métodos
de tablas
de verdad
- razonamientos que
prueban la validez de un
nuevo conocimiento.
Want to create your own Mind Maps for free with GoConqr? Learn more.