SlideShare una empresa de Scribd logo
Lógica II
EQUIVALENCIAS E IMPLICACIONES NOTABLES.
DEDUCCIÓN NATURAL. LÓGICA E INFORMÁTICA
DOCENTE: ENRIQUE SARANGO ZÁRATE
TAUTOLOGÍAS NOTABLES
Son las fórmulas lógicas que al ser sometidas a las tablas de verdad resultan ser
tautológicas. Son de dos tipos: las equivalencias notables y las implicaciones notables.
1. EQUIVALENCIAS NOTABLES
Son reglas lógicas a través de las cuales se reemplaza una fórmula por otra. Estas
tautologías se utilizan para reducir expresiones de un lenguaje formalizado a otro.
Equivalencias notables
Idempotencia
(p Λ p) ↔ p
(p v p) ↔ p
DOCENTE: Enrique Sarango Zárate
LAS EQUIVALENCIAS NOTABLES
Conmutatividad
(p Λ q) ↔ (q Λ p)
(p v q) ↔ (q v p)
Asociación
[p Λ (q Λ r)] ↔ [(p Λ q) Λ r]
[p v (q v r)] ↔ [(p v q) v r]
DOCENTE: Enrique Sarango Zárate
LAS EQUIVALENCIAS NOTABLES
Distribución
[p Λ (q v r)] ↔ [(p Λ q) v (p Λ r)]
[p v (q Λ r)] ↔ [(p v q) Λ (p v r)]
De Morgan
~(p Λ q) ↔ (~p v ~q)
~(p v q) ↔ (~p Λ ~q)
Definición de condicional
(p → q) ↔ (~p v q) // (p → q) ↔ ~(p Λ ~q)
DOCENTE: Enrique Sarango Zárate
LAS EQUIVALENCIAS NOTABLES
Definición de bicondicional
(p ↔ q) ↔ [(p → q) Λ (q → p)]
(p ↔ q) ↔ [(p Λ q) v (~p Λ ~q)]
Transposición
(p → q) ↔ (~q → ~p)
Absorción
[(p Λ q) v p] ↔ p / [(p v q) Λ p] ↔ p
DOCENTE: Enrique Sarango Zárate
IMPLICACIONES NOTABLES
Las implicaciones son tautologías donde las premisas implican a la conclusión. Es decir,
el consecuente (conclusión) es derivado del antecedente (premisas) porque se
encuentra contenido en este.
Modus Ponens
Si en una estructura de fórmula condicional el antecedente es verdadero, por lo tanto,
el consecuente también será verdadero.
Ejemplo: Si la matemática es una ciencia formal, entonces usa símbolos. La matemática
usa símbolos. Por lo tanto, es una ciencia formal.
p → q
p
__________
/∴q
DOCENTE: Enrique Sarango Zárate
IMPLICACIONES NOTABLES
Modus Tollens
Si en una estructura de fórmula condicional el consecuente es falso, por lo tanto, el
antecedente también será falso.
Ejemplo: Si hay luz solar, entonces es de día. No es de día. Por lo tanto no hay luz solar.
p → q
~q
____________
/ ∴ ~p
DOCENTE: Enrique Sarango Zárate
IMPLICACIONES NOTABLESSilogismo Hipotético
Si de dos estructuras de fórmulas condicionales, se tiene que de la primera fórmula condicional su consecuente es el antecedente de la segunda fórmula condicional. Se obtiene como conclusión una fórmula condicional formada por el antecedente de la primera fórmula condicional y el consecuente de la segunda fórmula
condicional.
Ejemplo: Si estudio, entonces puedo resolver el examen. Puedo resolver el examen, entonces ingresaré a la universidad. Por lo tanto, Si estudio entonces ingresaré a la universidad. p → q
q → r
________
/ ∴ p → r
DOCENTE: Enrique Sarango Zárate
IMPLICACIONES NOTABLES
Silogismo Disyuntivo
De una estructura de fórmula disyuntiva, por la negación de una de sus variables se
obtiene la afirmación de la otra variable.
Ejemplo: La física es una ciencia formal o fáctica. No es una ciencia formal. Por lo tanto,
la física es una ciencia fáctica.
p v q
~p
____________
/ ∴ q
DOCENTE: Enrique Sarango Zárate
IMPLICACIONES NOTABLES
Simplificación
De una estructura de fórmula conjuntiva, se concluye una de sus variables.
Ejemplo: Leibniz inventó el cálculo infinitesimal y fue filósofo. Entonces, Leibniz
fue filósofo.
p Λ q
_________
/ ∴ q
DOCENTE: Enrique Sarango Zárate
IMPLICACIONES NOTABLES
Adición
De una variable se obtiene una formula disyuntiva con cualquier variable o con cualquier fórmula lógica que se le adicione.
Ejemplo: La matemática es una ciencia formal. Entonces, la matemática es una ciencia formal o Newton fue un físico.
p
________
/ ∴ p v q
DOCENTE: Enrique Sarango Zárate
IMPLICACIONES NOTABLES
Conjunción o adjunción
De dos variables o premisas se puede obtener la conjunción entre estas.
Ejemplo: La teoría de la oxidación fue creada por Lavoisier. Pasteur inventó la
vacuna. Por lo tanto, La teoría de la oxidación fue creada por Lavoisier y Pasteur
inventó la vacuna.
p
q
_______
/ ∴ p Λ q
DOCENTE: Enrique Sarango Zárate
INFERENCIAS
Es un razonamiento que procede como regla y permite llegar a la verdad de una
proposición, es decir, a una conclusión muy particular y específica que se
obtiene a través de conocimientos dados mediante premisas. Ejemplo:
Si el cielo está nublado, tendremos frio Premisa
Si tenemos frio, nos abrigaremos Premisa
No es cierto que estemos abrigados Premisa
_________________________________
Por lo tanto, no es cierto que el cielo este nublado Conclusión
DOCENTE: Enrique Sarango Zárate
DEDUCCIÓN NATURAL
Es un método que sirve para la evaluación de inferencias y procede por
transformaciones de las fórmulas aplicando a las premisas las equivalencias e
implicaciones notables. De acuerdo con el método de la deducción natural, para
mostrar que la conclusión de una inferencia se sigue lógicamente de las
premisas, es preciso indicar las reglas de inferencia válidas elementales que
conducen de las premisas a la conclusión.
En 1934 Gerahrd Gentzen, lógico y matemático alemán,
fue quien sostuvo este proceso de inferencias denominado
Deducción natural.
DOCENTE: Enrique Sarango Zárate
PASOS PARA EL PROCESO DERIVATIVO DE
UNA INFERENCIA
A cada proposición dada en lenguaje natural se le asigna una variable
proposicional, para pasarla al lenguaje formal.
1. Si Juan termina su tarea temprano, entonces irá al cine. p → s
2. Si Juan no termina su tarea temprano, entonces no se sentirá contento.
~ p → ~r
3. Juan se siente contento. r
Por lo tanto, irá al cine. s
DOCENTE: Enrique Sarango Zárate
PASOS PARA EL PROCESO DERIVATIVO DE
UNA INFERENCIA
Una vez simbolizadas las premisas y la conclusión se procede a
enumerarlas en forma vertical y se escribe la conclusión a
continuación de la última premisa en el mismo renglón. Entre la
última premisa y la conclusión se escribe una barra separatoria ‘/’
seguida del símbolo ‘…’ que se lee ‘por lo tanto’ o ‘en conclusión’.
1. p → s
2. ~ p → ~r
3. r / ∴ s
DOCENTE: Enrique Sarango Zárate
PASOS PARA EL PROCESO DERIVATIVO DE
UNA INFERENCIA
Ordenadas las premisas en lenguaje formal, se procede a realizar las
derivaciones. Para ello se toma como punto de partida cualquiera de las
premisas. Pero siempre indicando a la derecha qué premisas y mediante qué
regla se ha obtenido la nueva expresión.
4. p Modus Tollens de 2 y 3.
5. s Modus Ponens de 1 y 4.
DOCENTE: Enrique Sarango Zárate
MODALIDADES DE LA DEDUCCIÓN
NATURAL
1. Prueba directa (PD) Es una de las más importantes, para esta oportunidad nos
encargaremos solo de ella; no obstante, cabe señalar que también hay prueba
condicional y reducción al absurdo.
Sea la siguiente inferencia: “No es verdad que estudias y trabajas. Si tienes
dinero, entonces trabajas. Luego, si estudias entonces no tienes dinero”.
Primer paso: Hallar la forma lógica de la inferencia.
1. No es verdad que estudias y trabajas
2. Si tienes dinero, entonces trabajas
Luego, si estudias entonces no tienes dinero.
DOCENTE: Enrique Sarango Zárate
MODALIDADES DE LA DEDUCCIÓN
NATURAL
Segundo paso: Una vez que se halla la inferencia, se procede a pasar del
lenguaje natural al lenguaje formal.
1. No es verdad que estudias y trabajas ~(p Λ q)
2. Si tienes dinero, entonces trabajas r → q
Luego, si estudias entonces no tienes dinero. p → ~r
Tercer paso: Se ordenan las proposiciones que han sido formalizadas.
1. ~(p Λ q)
2. r → q / ∴ p → ~r
DOCENTE: Enrique Sarango Zárate
MODALIDADES DE LA DEDUCCIÓN
NATURAL
Cuarto paso: Se procede con las derivaciones.
3. ~p V ~q De Morgan en 1
4. p → ~q Def. de condicional en 3
5. ~q → ~r Transposición de 2
6. p → ~r Silogismo hipotético de 4 y 5
Una vez obtenida la conclusión, se afirma que la inferencia original es válida.
DOCENTE: Enrique Sarango Zárate
LÓGICA E INFÓRMATICA
La Lógica es una de las ciencias básicas vinculadas con la Informática. La
Lógica investiga la estructura (forma) de la información y permite examinar la
consistencia de los lenguajes de programación. La validez de la sintaxis de un
lenguaje informático es una de las condiciones indispensables para su
aplicación.
Ejemplo: El bit y sus múltiples byte, kb, etc., son sistemas de medidas de
información que pueden ser introducidos en una computadora para que
estos sean procesados correctamente. La información que contenga los bits,
bytes, kbs, etc., no representa por sí misma información científica. La
secuencia de 0 y 1 no es por sí mismo conocimiento, pero lo es cuando son
“traducidos” a un ordenador. La información científica no es medible por los
bits, pero los bits sirven para poder ingresar información y después medirla
con otros procedimientos como el de las implicaciones notables.
DOCENTE: Enrique Sarango Zárate

Más contenido relacionado

La actualidad más candente

prueba matematica
prueba matematicaprueba matematica
prueba matematica
marcelalopez2801
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
Vane Borjas
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
rafael felix
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formales
nerdito
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Yerikson Huz
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
rafael felix
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
Mancast1
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
Ricardo Escalante Caregnato
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
Carlos Chavarria
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
guadalupe121270
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Sol Ramos
 
Tautologías
TautologíasTautologías
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Alfa Velásquez Espinoza
 
Determinantes propiedades
Determinantes propiedadesDeterminantes propiedades
Determinantes propiedades
Jaime Vives Ripoll
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
Liliana Quintero Moreno
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
tanato153
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
Luis Enrique Huaringa Tello
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
Pablo Gandarilla C.
 
lógica matemática
lógica matemáticalógica matemática
lógica matemática
Tania Contento
 
Lógica
LógicaLógica

La actualidad más candente (20)

prueba matematica
prueba matematicaprueba matematica
prueba matematica
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
 
Demostraciones Formales
Demostraciones FormalesDemostraciones Formales
Demostraciones Formales
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analítica
 
Tautologías
TautologíasTautologías
Tautologías
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Determinantes propiedades
Determinantes propiedadesDeterminantes propiedades
Determinantes propiedades
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
lógica matemática
lógica matemáticalógica matemática
lógica matemática
 
Lógica
LógicaLógica
Lógica
 

Destacado

Semana 12 ppt cepre uni 2016
Semana 12 ppt cepre uni 2016Semana 12 ppt cepre uni 2016
Semana 12 ppt cepre uni 2016
Rómulo Romero Centeno
 
Ppt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica iPpt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica i
Rómulo Romero Centeno
 
Logica iii cepre uni
Logica iii cepre uniLogica iii cepre uni
Logica iii cepre uni
Rómulo Romero Centeno
 
Ppt cepre uni 2016 - epistemología
Ppt cepre uni 2016 - epistemologíaPpt cepre uni 2016 - epistemología
Ppt cepre uni 2016 - epistemología
Rómulo Romero Centeno
 
Filosofía política. cepre uni 2017
Filosofía política. cepre uni 2017Filosofía política. cepre uni 2017
Filosofía política. cepre uni 2017
Rómulo Romero Centeno
 
filosofia contemporanea i
filosofia contemporanea ifilosofia contemporanea i
filosofia contemporanea i
Rómulo Romero Centeno
 
Filosofía moderna III
Filosofía moderna IIIFilosofía moderna III
Filosofía moderna III
Rómulo Romero Centeno
 
Semana 8 ppt cepre uni 2016 filosofía contemporanea II
Semana 8 ppt cepre uni 2016 filosofía contemporanea IISemana 8 ppt cepre uni 2016 filosofía contemporanea II
Semana 8 ppt cepre uni 2016 filosofía contemporanea II
Rómulo Romero Centeno
 
Filosofia antigua iii
Filosofia antigua iiiFilosofia antigua iii
Filosofia antigua iii
Rómulo Romero Centeno
 
Filosofia antigua ii
Filosofia antigua iiFilosofia antigua ii
Filosofia antigua ii
Rómulo Romero Centeno
 
Filosofía contemporánea III
Filosofía contemporánea IIIFilosofía contemporánea III
Filosofía contemporánea III
Rómulo Romero Centeno
 
Axiologia
AxiologiaAxiologia
Semana 14 gnoseologia cepre
Semana 14 gnoseologia cepreSemana 14 gnoseologia cepre
Semana 14 gnoseologia cepre
Rómulo Romero Centeno
 
Filosofia moderna ii
Filosofia moderna iiFilosofia moderna ii
Filosofia moderna ii
Rómulo Romero Centeno
 
Semana 4 filosofia moderna i
Semana 4 filosofia moderna iSemana 4 filosofia moderna i
Semana 4 filosofia moderna i
Rómulo Romero Centeno
 
Metafilosofía
MetafilosofíaMetafilosofía
Metafilosofía
Rómulo Romero Centeno
 
Filosofia antigua i
Filosofia antigua iFilosofia antigua i
Filosofia antigua i
Rómulo Romero Centeno
 
Breve manual de filosofía y lógica
Breve manual de filosofía y lógicaBreve manual de filosofía y lógica
Breve manual de filosofía y lógica
BREVE MANUAL DE FILOSOFÍA
 
INTERVENCIÓN EN PSICOLOGÍA DE LA SALUD
INTERVENCIÓN EN PSICOLOGÍA DE LA SALUDINTERVENCIÓN EN PSICOLOGÍA DE LA SALUD
INTERVENCIÓN EN PSICOLOGÍA DE LA SALUD
PSICOLOGIA Y EDUCACION INTEGRAL A.C.
 
Breve manual de Filosofía (Segunda edición) 2012.
Breve manual de Filosofía (Segunda edición) 2012.Breve manual de Filosofía (Segunda edición) 2012.
Breve manual de Filosofía (Segunda edición) 2012.
BREVE MANUAL DE FILOSOFÍA
 

Destacado (20)

Semana 12 ppt cepre uni 2016
Semana 12 ppt cepre uni 2016Semana 12 ppt cepre uni 2016
Semana 12 ppt cepre uni 2016
 
Ppt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica iPpt cepre uni 2016 - lógica i
Ppt cepre uni 2016 - lógica i
 
Logica iii cepre uni
Logica iii cepre uniLogica iii cepre uni
Logica iii cepre uni
 
Ppt cepre uni 2016 - epistemología
Ppt cepre uni 2016 - epistemologíaPpt cepre uni 2016 - epistemología
Ppt cepre uni 2016 - epistemología
 
Filosofía política. cepre uni 2017
Filosofía política. cepre uni 2017Filosofía política. cepre uni 2017
Filosofía política. cepre uni 2017
 
filosofia contemporanea i
filosofia contemporanea ifilosofia contemporanea i
filosofia contemporanea i
 
Filosofía moderna III
Filosofía moderna IIIFilosofía moderna III
Filosofía moderna III
 
Semana 8 ppt cepre uni 2016 filosofía contemporanea II
Semana 8 ppt cepre uni 2016 filosofía contemporanea IISemana 8 ppt cepre uni 2016 filosofía contemporanea II
Semana 8 ppt cepre uni 2016 filosofía contemporanea II
 
Filosofia antigua iii
Filosofia antigua iiiFilosofia antigua iii
Filosofia antigua iii
 
Filosofia antigua ii
Filosofia antigua iiFilosofia antigua ii
Filosofia antigua ii
 
Filosofía contemporánea III
Filosofía contemporánea IIIFilosofía contemporánea III
Filosofía contemporánea III
 
Axiologia
AxiologiaAxiologia
Axiologia
 
Semana 14 gnoseologia cepre
Semana 14 gnoseologia cepreSemana 14 gnoseologia cepre
Semana 14 gnoseologia cepre
 
Filosofia moderna ii
Filosofia moderna iiFilosofia moderna ii
Filosofia moderna ii
 
Semana 4 filosofia moderna i
Semana 4 filosofia moderna iSemana 4 filosofia moderna i
Semana 4 filosofia moderna i
 
Metafilosofía
MetafilosofíaMetafilosofía
Metafilosofía
 
Filosofia antigua i
Filosofia antigua iFilosofia antigua i
Filosofia antigua i
 
Breve manual de filosofía y lógica
Breve manual de filosofía y lógicaBreve manual de filosofía y lógica
Breve manual de filosofía y lógica
 
INTERVENCIÓN EN PSICOLOGÍA DE LA SALUD
INTERVENCIÓN EN PSICOLOGÍA DE LA SALUDINTERVENCIÓN EN PSICOLOGÍA DE LA SALUD
INTERVENCIÓN EN PSICOLOGÍA DE LA SALUD
 
Breve manual de Filosofía (Segunda edición) 2012.
Breve manual de Filosofía (Segunda edición) 2012.Breve manual de Filosofía (Segunda edición) 2012.
Breve manual de Filosofía (Segunda edición) 2012.
 

Similar a Ppt lógica ii. cepre uni 2017-i

Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
Enrique Bonilla
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
Jose Reyes
 
CIPAS N.2_01MARZO 2022.pptx
CIPAS N.2_01MARZO 2022.pptxCIPAS N.2_01MARZO 2022.pptx
CIPAS N.2_01MARZO 2022.pptx
LUISENRIQUELEIVAMORA2
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
Enrique Bonilla
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
Graciela Slekis Riffel
 
Lógica
LógicaLógica
Cap1
Cap1Cap1
Cap1
Cap1Cap1
Introducción a la lógica matemática
Introducción a la lógica matemáticaIntroducción a la lógica matemática
Introducción a la lógica matemática
AlejandroUmpierrez
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
IranChoque
 
Hermeneutica
HermeneuticaHermeneutica
Hermeneutica
shionmill
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
Alejandra Henao
 
Metodo Demostrativo
Metodo DemostrativoMetodo Demostrativo
Metodo Demostrativo
Michael Castillo
 
Logica I
Logica ILogica I
Taller sobre la logica
Taller sobre la logicaTaller sobre la logica
Taller sobre la logica
hugo murcia
 
A QUE VIENE LA LOGICA
A QUE VIENE LA LOGICAA QUE VIENE LA LOGICA
A QUE VIENE LA LOGICA
Armando Lopez Sierra
 
Wh logica s. 3_blog_iap
Wh logica s. 3_blog_iapWh logica s. 3_blog_iap
Wh logica s. 3_blog_iap
thinks
 
Wh logica s. 3_blog_iap
Wh logica s. 3_blog_iapWh logica s. 3_blog_iap
Wh logica s. 3_blog_iap
thinks
 
argumentos logicos 1.pptx
argumentos logicos  1.pptxargumentos logicos  1.pptx
argumentos logicos 1.pptx
EnriqueSermeo
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Karlos Rivero
 

Similar a Ppt lógica ii. cepre uni 2017-i (20)

Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
CIPAS N.2_01MARZO 2022.pptx
CIPAS N.2_01MARZO 2022.pptxCIPAS N.2_01MARZO 2022.pptx
CIPAS N.2_01MARZO 2022.pptx
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
Lógica
LógicaLógica
Lógica
 
Cap1
Cap1Cap1
Cap1
 
Cap1
Cap1Cap1
Cap1
 
Introducción a la lógica matemática
Introducción a la lógica matemáticaIntroducción a la lógica matemática
Introducción a la lógica matemática
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Hermeneutica
HermeneuticaHermeneutica
Hermeneutica
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Metodo Demostrativo
Metodo DemostrativoMetodo Demostrativo
Metodo Demostrativo
 
Logica I
Logica ILogica I
Logica I
 
Taller sobre la logica
Taller sobre la logicaTaller sobre la logica
Taller sobre la logica
 
A QUE VIENE LA LOGICA
A QUE VIENE LA LOGICAA QUE VIENE LA LOGICA
A QUE VIENE LA LOGICA
 
Wh logica s. 3_blog_iap
Wh logica s. 3_blog_iapWh logica s. 3_blog_iap
Wh logica s. 3_blog_iap
 
Wh logica s. 3_blog_iap
Wh logica s. 3_blog_iapWh logica s. 3_blog_iap
Wh logica s. 3_blog_iap
 
argumentos logicos 1.pptx
argumentos logicos  1.pptxargumentos logicos  1.pptx
argumentos logicos 1.pptx
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 

Más de Rómulo Romero Centeno

Sexualidad 17
Sexualidad 17Sexualidad 17
Sexualidad 17
Rómulo Romero Centeno
 
El sistema de la personalidad 15
El sistema de la personalidad 15El sistema de la personalidad 15
El sistema de la personalidad 15
Rómulo Romero Centeno
 
El aprendizaje 14
El aprendizaje 14El aprendizaje 14
El aprendizaje 14
Rómulo Romero Centeno
 
La inteligencia 13
La inteligencia  13La inteligencia  13
La inteligencia 13
Rómulo Romero Centeno
 
First conditional and second conditional 18
First conditional and second conditional 18First conditional and second conditional 18
First conditional and second conditional 18
Rómulo Romero Centeno
 
Modal verb, have to, don't have to 17
Modal verb, have to, don't have to 17Modal verb, have to, don't have to 17
Modal verb, have to, don't have to 17
Rómulo Romero Centeno
 
Modal verbs 1 16
Modal verbs 1  16Modal verbs 1  16
Modal verbs 1 16
Rómulo Romero Centeno
 
Past simple or present perfect 15
Past simple or present perfect 15Past simple or present perfect 15
Past simple or present perfect 15
Rómulo Romero Centeno
 
Present perfec 14
Present perfec 14Present perfec 14
Present perfec 14
Rómulo Romero Centeno
 
Comparative and superlative 13
Comparative and superlative 13Comparative and superlative 13
Comparative and superlative 13
Rómulo Romero Centeno
 
Future will 12
Future will 12Future will 12
Future will 12
Rómulo Romero Centeno
 
Infinitives and gerunds 11
Infinitives and gerunds 11Infinitives and gerunds 11
Infinitives and gerunds 11
Rómulo Romero Centeno
 
Simple past tense
Simple past tenseSimple past tense
Simple past tense
Rómulo Romero Centeno
 
Simple past
Simple pastSimple past
Imaginacion cepre uni 2018
Imaginacion cepre uni 2018Imaginacion cepre uni 2018
Imaginacion cepre uni 2018
Rómulo Romero Centeno
 
Pensamiento y lenguaje. cepre uni 2018
Pensamiento y lenguaje. cepre uni 2018Pensamiento y lenguaje. cepre uni 2018
Pensamiento y lenguaje. cepre uni 2018
Rómulo Romero Centeno
 
Memoria
MemoriaMemoria
La conciencia
La concienciaLa conciencia
La conciencia
Rómulo Romero Centeno
 
Semana 10 inglés
Semana 10 inglésSemana 10 inglés
Semana 10 inglés
Rómulo Romero Centeno
 
Semana 9 2018
Semana 9 2018Semana 9 2018
Semana 9 2018
Rómulo Romero Centeno
 

Más de Rómulo Romero Centeno (20)

Sexualidad 17
Sexualidad 17Sexualidad 17
Sexualidad 17
 
El sistema de la personalidad 15
El sistema de la personalidad 15El sistema de la personalidad 15
El sistema de la personalidad 15
 
El aprendizaje 14
El aprendizaje 14El aprendizaje 14
El aprendizaje 14
 
La inteligencia 13
La inteligencia  13La inteligencia  13
La inteligencia 13
 
First conditional and second conditional 18
First conditional and second conditional 18First conditional and second conditional 18
First conditional and second conditional 18
 
Modal verb, have to, don't have to 17
Modal verb, have to, don't have to 17Modal verb, have to, don't have to 17
Modal verb, have to, don't have to 17
 
Modal verbs 1 16
Modal verbs 1  16Modal verbs 1  16
Modal verbs 1 16
 
Past simple or present perfect 15
Past simple or present perfect 15Past simple or present perfect 15
Past simple or present perfect 15
 
Present perfec 14
Present perfec 14Present perfec 14
Present perfec 14
 
Comparative and superlative 13
Comparative and superlative 13Comparative and superlative 13
Comparative and superlative 13
 
Future will 12
Future will 12Future will 12
Future will 12
 
Infinitives and gerunds 11
Infinitives and gerunds 11Infinitives and gerunds 11
Infinitives and gerunds 11
 
Simple past tense
Simple past tenseSimple past tense
Simple past tense
 
Simple past
Simple pastSimple past
Simple past
 
Imaginacion cepre uni 2018
Imaginacion cepre uni 2018Imaginacion cepre uni 2018
Imaginacion cepre uni 2018
 
Pensamiento y lenguaje. cepre uni 2018
Pensamiento y lenguaje. cepre uni 2018Pensamiento y lenguaje. cepre uni 2018
Pensamiento y lenguaje. cepre uni 2018
 
Memoria
MemoriaMemoria
Memoria
 
La conciencia
La concienciaLa conciencia
La conciencia
 
Semana 10 inglés
Semana 10 inglésSemana 10 inglés
Semana 10 inglés
 
Semana 9 2018
Semana 9 2018Semana 9 2018
Semana 9 2018
 

Último

PLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚ
PLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚPLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚ
PLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚ
Ferrer17
 
Revista Universidad de Deusto - Número 155 / Año 2024
Revista Universidad de Deusto - Número 155 / Año 2024Revista Universidad de Deusto - Número 155 / Año 2024
Revista Universidad de Deusto - Número 155 / Año 2024
Universidad de Deusto - Deustuko Unibertsitatea - University of Deusto
 
Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...
Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...
Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...
Cátedra Banco Santander
 
PPT: Un día en el ministerio de Jesús.pptx
PPT: Un día en el ministerio de Jesús.pptxPPT: Un día en el ministerio de Jesús.pptx
PPT: Un día en el ministerio de Jesús.pptx
https://gramadal.wordpress.com/
 
EJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANA
EJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANAEJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANA
EJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANA
dairatuctocastro
 
2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA
Sandra Mariela Ballón Aguedo
 
Filigramma #17, revista literaria del Círculo de Escritores Sabersinfin
Filigramma #17, revista literaria del Círculo de Escritores SabersinfinFiligramma #17, revista literaria del Círculo de Escritores Sabersinfin
Filigramma #17, revista literaria del Círculo de Escritores Sabersinfin
Sabersinfin Portal
 
LABERINTOS DE DISCIPLINAS OLÍMPICAS. Por JAVIER SOLIS NOYOLA
LABERINTOS DE DISCIPLINAS OLÍMPICAS.  Por JAVIER SOLIS NOYOLALABERINTOS DE DISCIPLINAS OLÍMPICAS.  Por JAVIER SOLIS NOYOLA
LABERINTOS DE DISCIPLINAS OLÍMPICAS. Por JAVIER SOLIS NOYOLA
JAVIER SOLIS NOYOLA
 
03. SESION PERSONAL-PRIMEROS POBLADORES DEL PERÚ.docx
03. SESION PERSONAL-PRIMEROS POBLADORES  DEL PERÚ.docx03. SESION PERSONAL-PRIMEROS POBLADORES  DEL PERÚ.docx
03. SESION PERSONAL-PRIMEROS POBLADORES DEL PERÚ.docx
Giuliana500489
 
Informe de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdf
Informe de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdfInforme de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdf
Informe de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdf
Demetrio Ccesa Rayme
 
678778595-Examen-Final-Innovacion-Social.pptx
678778595-Examen-Final-Innovacion-Social.pptx678778595-Examen-Final-Innovacion-Social.pptx
678778595-Examen-Final-Innovacion-Social.pptx
VALERIOPEREZBORDA
 
Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)
Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)
Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)
Cátedra Banco Santander
 
Taller Intensivo de Formación Continua para Docentes_24_Julio.pdf
Taller Intensivo de Formación Continua para Docentes_24_Julio.pdfTaller Intensivo de Formación Continua para Docentes_24_Julio.pdf
Taller Intensivo de Formación Continua para Docentes_24_Julio.pdf
htebazileahcug
 
Sesión Un día en el ministerio de Jesús.pdf
Sesión Un día en el ministerio de Jesús.pdfSesión Un día en el ministerio de Jesús.pdf
Sesión Un día en el ministerio de Jesús.pdf
https://gramadal.wordpress.com/
 
Taller intensivo de formación continua. Puebla.
Taller intensivo de formación continua. Puebla.Taller intensivo de formación continua. Puebla.
Taller intensivo de formación continua. Puebla.
OscarCruzyCruz
 
2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA
Sandra Mariela Ballón Aguedo
 
Introducción a la seguridad básica (3 de julio de 2024)
Introducción a la seguridad básica (3 de julio de 2024)Introducción a la seguridad básica (3 de julio de 2024)
Introducción a la seguridad básica (3 de julio de 2024)
Cátedra Banco Santander
 
Análisis y Evaluación del Impacto Ambiental.pdf
Análisis y Evaluación del Impacto Ambiental.pdfAnálisis y Evaluación del Impacto Ambiental.pdf
Análisis y Evaluación del Impacto Ambiental.pdf
JonathanCovena1
 
diapositivas paco yunque.pptx cartelera literaria
diapositivas paco yunque.pptx cartelera literariadiapositivas paco yunque.pptx cartelera literaria
diapositivas paco yunque.pptx cartelera literaria
TheeffitaSantosMedin
 
INFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdf
INFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdfINFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdf
INFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdf
Juan Carlos Catura Arapa
 

Último (20)

PLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚ
PLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚPLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚ
PLAN ANUAL DE TRABAJO (PAT) 2024 MINEDU PERÚ
 
Revista Universidad de Deusto - Número 155 / Año 2024
Revista Universidad de Deusto - Número 155 / Año 2024Revista Universidad de Deusto - Número 155 / Año 2024
Revista Universidad de Deusto - Número 155 / Año 2024
 
Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...
Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...
Fundamentos del diseño audiovisual para presentaciones y vídeos (2 de julio d...
 
PPT: Un día en el ministerio de Jesús.pptx
PPT: Un día en el ministerio de Jesús.pptxPPT: Un día en el ministerio de Jesús.pptx
PPT: Un día en el ministerio de Jesús.pptx
 
EJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANA
EJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANAEJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANA
EJEMPLOS DE FLORA Y FAUNA DE LA COSTA PERUANA
 
2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO IE HONORIO DELGADO ESPINOZA
 
Filigramma #17, revista literaria del Círculo de Escritores Sabersinfin
Filigramma #17, revista literaria del Círculo de Escritores SabersinfinFiligramma #17, revista literaria del Círculo de Escritores Sabersinfin
Filigramma #17, revista literaria del Círculo de Escritores Sabersinfin
 
LABERINTOS DE DISCIPLINAS OLÍMPICAS. Por JAVIER SOLIS NOYOLA
LABERINTOS DE DISCIPLINAS OLÍMPICAS.  Por JAVIER SOLIS NOYOLALABERINTOS DE DISCIPLINAS OLÍMPICAS.  Por JAVIER SOLIS NOYOLA
LABERINTOS DE DISCIPLINAS OLÍMPICAS. Por JAVIER SOLIS NOYOLA
 
03. SESION PERSONAL-PRIMEROS POBLADORES DEL PERÚ.docx
03. SESION PERSONAL-PRIMEROS POBLADORES  DEL PERÚ.docx03. SESION PERSONAL-PRIMEROS POBLADORES  DEL PERÚ.docx
03. SESION PERSONAL-PRIMEROS POBLADORES DEL PERÚ.docx
 
Informe de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdf
Informe de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdfInforme de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdf
Informe de Evaluacion Diagnostica de Matematica 1-5 Ccesa007.pdf
 
678778595-Examen-Final-Innovacion-Social.pptx
678778595-Examen-Final-Innovacion-Social.pptx678778595-Examen-Final-Innovacion-Social.pptx
678778595-Examen-Final-Innovacion-Social.pptx
 
Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)
Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)
Cómo utilizar YouTube para publicar y gestionar tus vídeos (3 de julio de 2024)
 
Taller Intensivo de Formación Continua para Docentes_24_Julio.pdf
Taller Intensivo de Formación Continua para Docentes_24_Julio.pdfTaller Intensivo de Formación Continua para Docentes_24_Julio.pdf
Taller Intensivo de Formación Continua para Docentes_24_Julio.pdf
 
Sesión Un día en el ministerio de Jesús.pdf
Sesión Un día en el ministerio de Jesús.pdfSesión Un día en el ministerio de Jesús.pdf
Sesión Un día en el ministerio de Jesús.pdf
 
Taller intensivo de formación continua. Puebla.
Taller intensivo de formación continua. Puebla.Taller intensivo de formación continua. Puebla.
Taller intensivo de formación continua. Puebla.
 
2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA
2024 DIA DEL LOGRO-COMUNICACION - IE HONORIO DELGADO ESPINOZA
 
Introducción a la seguridad básica (3 de julio de 2024)
Introducción a la seguridad básica (3 de julio de 2024)Introducción a la seguridad básica (3 de julio de 2024)
Introducción a la seguridad básica (3 de julio de 2024)
 
Análisis y Evaluación del Impacto Ambiental.pdf
Análisis y Evaluación del Impacto Ambiental.pdfAnálisis y Evaluación del Impacto Ambiental.pdf
Análisis y Evaluación del Impacto Ambiental.pdf
 
diapositivas paco yunque.pptx cartelera literaria
diapositivas paco yunque.pptx cartelera literariadiapositivas paco yunque.pptx cartelera literaria
diapositivas paco yunque.pptx cartelera literaria
 
INFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdf
INFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdfINFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdf
INFORME RESULTADOS DE CREA Y EMPRENDE 2024.pdf
 

Ppt lógica ii. cepre uni 2017-i

  • 1. Lógica II EQUIVALENCIAS E IMPLICACIONES NOTABLES. DEDUCCIÓN NATURAL. LÓGICA E INFORMÁTICA DOCENTE: ENRIQUE SARANGO ZÁRATE
  • 2. TAUTOLOGÍAS NOTABLES Son las fórmulas lógicas que al ser sometidas a las tablas de verdad resultan ser tautológicas. Son de dos tipos: las equivalencias notables y las implicaciones notables. 1. EQUIVALENCIAS NOTABLES Son reglas lógicas a través de las cuales se reemplaza una fórmula por otra. Estas tautologías se utilizan para reducir expresiones de un lenguaje formalizado a otro. Equivalencias notables Idempotencia (p Λ p) ↔ p (p v p) ↔ p DOCENTE: Enrique Sarango Zárate
  • 3. LAS EQUIVALENCIAS NOTABLES Conmutatividad (p Λ q) ↔ (q Λ p) (p v q) ↔ (q v p) Asociación [p Λ (q Λ r)] ↔ [(p Λ q) Λ r] [p v (q v r)] ↔ [(p v q) v r] DOCENTE: Enrique Sarango Zárate
  • 4. LAS EQUIVALENCIAS NOTABLES Distribución [p Λ (q v r)] ↔ [(p Λ q) v (p Λ r)] [p v (q Λ r)] ↔ [(p v q) Λ (p v r)] De Morgan ~(p Λ q) ↔ (~p v ~q) ~(p v q) ↔ (~p Λ ~q) Definición de condicional (p → q) ↔ (~p v q) // (p → q) ↔ ~(p Λ ~q) DOCENTE: Enrique Sarango Zárate
  • 5. LAS EQUIVALENCIAS NOTABLES Definición de bicondicional (p ↔ q) ↔ [(p → q) Λ (q → p)] (p ↔ q) ↔ [(p Λ q) v (~p Λ ~q)] Transposición (p → q) ↔ (~q → ~p) Absorción [(p Λ q) v p] ↔ p / [(p v q) Λ p] ↔ p DOCENTE: Enrique Sarango Zárate
  • 6. IMPLICACIONES NOTABLES Las implicaciones son tautologías donde las premisas implican a la conclusión. Es decir, el consecuente (conclusión) es derivado del antecedente (premisas) porque se encuentra contenido en este. Modus Ponens Si en una estructura de fórmula condicional el antecedente es verdadero, por lo tanto, el consecuente también será verdadero. Ejemplo: Si la matemática es una ciencia formal, entonces usa símbolos. La matemática usa símbolos. Por lo tanto, es una ciencia formal. p → q p __________ /∴q DOCENTE: Enrique Sarango Zárate
  • 7. IMPLICACIONES NOTABLES Modus Tollens Si en una estructura de fórmula condicional el consecuente es falso, por lo tanto, el antecedente también será falso. Ejemplo: Si hay luz solar, entonces es de día. No es de día. Por lo tanto no hay luz solar. p → q ~q ____________ / ∴ ~p DOCENTE: Enrique Sarango Zárate
  • 8. IMPLICACIONES NOTABLESSilogismo Hipotético Si de dos estructuras de fórmulas condicionales, se tiene que de la primera fórmula condicional su consecuente es el antecedente de la segunda fórmula condicional. Se obtiene como conclusión una fórmula condicional formada por el antecedente de la primera fórmula condicional y el consecuente de la segunda fórmula condicional. Ejemplo: Si estudio, entonces puedo resolver el examen. Puedo resolver el examen, entonces ingresaré a la universidad. Por lo tanto, Si estudio entonces ingresaré a la universidad. p → q q → r ________ / ∴ p → r DOCENTE: Enrique Sarango Zárate
  • 9. IMPLICACIONES NOTABLES Silogismo Disyuntivo De una estructura de fórmula disyuntiva, por la negación de una de sus variables se obtiene la afirmación de la otra variable. Ejemplo: La física es una ciencia formal o fáctica. No es una ciencia formal. Por lo tanto, la física es una ciencia fáctica. p v q ~p ____________ / ∴ q DOCENTE: Enrique Sarango Zárate
  • 10. IMPLICACIONES NOTABLES Simplificación De una estructura de fórmula conjuntiva, se concluye una de sus variables. Ejemplo: Leibniz inventó el cálculo infinitesimal y fue filósofo. Entonces, Leibniz fue filósofo. p Λ q _________ / ∴ q DOCENTE: Enrique Sarango Zárate
  • 11. IMPLICACIONES NOTABLES Adición De una variable se obtiene una formula disyuntiva con cualquier variable o con cualquier fórmula lógica que se le adicione. Ejemplo: La matemática es una ciencia formal. Entonces, la matemática es una ciencia formal o Newton fue un físico. p ________ / ∴ p v q DOCENTE: Enrique Sarango Zárate
  • 12. IMPLICACIONES NOTABLES Conjunción o adjunción De dos variables o premisas se puede obtener la conjunción entre estas. Ejemplo: La teoría de la oxidación fue creada por Lavoisier. Pasteur inventó la vacuna. Por lo tanto, La teoría de la oxidación fue creada por Lavoisier y Pasteur inventó la vacuna. p q _______ / ∴ p Λ q DOCENTE: Enrique Sarango Zárate
  • 13. INFERENCIAS Es un razonamiento que procede como regla y permite llegar a la verdad de una proposición, es decir, a una conclusión muy particular y específica que se obtiene a través de conocimientos dados mediante premisas. Ejemplo: Si el cielo está nublado, tendremos frio Premisa Si tenemos frio, nos abrigaremos Premisa No es cierto que estemos abrigados Premisa _________________________________ Por lo tanto, no es cierto que el cielo este nublado Conclusión DOCENTE: Enrique Sarango Zárate
  • 14. DEDUCCIÓN NATURAL Es un método que sirve para la evaluación de inferencias y procede por transformaciones de las fórmulas aplicando a las premisas las equivalencias e implicaciones notables. De acuerdo con el método de la deducción natural, para mostrar que la conclusión de una inferencia se sigue lógicamente de las premisas, es preciso indicar las reglas de inferencia válidas elementales que conducen de las premisas a la conclusión. En 1934 Gerahrd Gentzen, lógico y matemático alemán, fue quien sostuvo este proceso de inferencias denominado Deducción natural. DOCENTE: Enrique Sarango Zárate
  • 15. PASOS PARA EL PROCESO DERIVATIVO DE UNA INFERENCIA A cada proposición dada en lenguaje natural se le asigna una variable proposicional, para pasarla al lenguaje formal. 1. Si Juan termina su tarea temprano, entonces irá al cine. p → s 2. Si Juan no termina su tarea temprano, entonces no se sentirá contento. ~ p → ~r 3. Juan se siente contento. r Por lo tanto, irá al cine. s DOCENTE: Enrique Sarango Zárate
  • 16. PASOS PARA EL PROCESO DERIVATIVO DE UNA INFERENCIA Una vez simbolizadas las premisas y la conclusión se procede a enumerarlas en forma vertical y se escribe la conclusión a continuación de la última premisa en el mismo renglón. Entre la última premisa y la conclusión se escribe una barra separatoria ‘/’ seguida del símbolo ‘…’ que se lee ‘por lo tanto’ o ‘en conclusión’. 1. p → s 2. ~ p → ~r 3. r / ∴ s DOCENTE: Enrique Sarango Zárate
  • 17. PASOS PARA EL PROCESO DERIVATIVO DE UNA INFERENCIA Ordenadas las premisas en lenguaje formal, se procede a realizar las derivaciones. Para ello se toma como punto de partida cualquiera de las premisas. Pero siempre indicando a la derecha qué premisas y mediante qué regla se ha obtenido la nueva expresión. 4. p Modus Tollens de 2 y 3. 5. s Modus Ponens de 1 y 4. DOCENTE: Enrique Sarango Zárate
  • 18. MODALIDADES DE LA DEDUCCIÓN NATURAL 1. Prueba directa (PD) Es una de las más importantes, para esta oportunidad nos encargaremos solo de ella; no obstante, cabe señalar que también hay prueba condicional y reducción al absurdo. Sea la siguiente inferencia: “No es verdad que estudias y trabajas. Si tienes dinero, entonces trabajas. Luego, si estudias entonces no tienes dinero”. Primer paso: Hallar la forma lógica de la inferencia. 1. No es verdad que estudias y trabajas 2. Si tienes dinero, entonces trabajas Luego, si estudias entonces no tienes dinero. DOCENTE: Enrique Sarango Zárate
  • 19. MODALIDADES DE LA DEDUCCIÓN NATURAL Segundo paso: Una vez que se halla la inferencia, se procede a pasar del lenguaje natural al lenguaje formal. 1. No es verdad que estudias y trabajas ~(p Λ q) 2. Si tienes dinero, entonces trabajas r → q Luego, si estudias entonces no tienes dinero. p → ~r Tercer paso: Se ordenan las proposiciones que han sido formalizadas. 1. ~(p Λ q) 2. r → q / ∴ p → ~r DOCENTE: Enrique Sarango Zárate
  • 20. MODALIDADES DE LA DEDUCCIÓN NATURAL Cuarto paso: Se procede con las derivaciones. 3. ~p V ~q De Morgan en 1 4. p → ~q Def. de condicional en 3 5. ~q → ~r Transposición de 2 6. p → ~r Silogismo hipotético de 4 y 5 Una vez obtenida la conclusión, se afirma que la inferencia original es válida. DOCENTE: Enrique Sarango Zárate
  • 21. LÓGICA E INFÓRMATICA La Lógica es una de las ciencias básicas vinculadas con la Informática. La Lógica investiga la estructura (forma) de la información y permite examinar la consistencia de los lenguajes de programación. La validez de la sintaxis de un lenguaje informático es una de las condiciones indispensables para su aplicación. Ejemplo: El bit y sus múltiples byte, kb, etc., son sistemas de medidas de información que pueden ser introducidos en una computadora para que estos sean procesados correctamente. La información que contenga los bits, bytes, kbs, etc., no representa por sí misma información científica. La secuencia de 0 y 1 no es por sí mismo conocimiento, pero lo es cuando son “traducidos” a un ordenador. La información científica no es medible por los bits, pero los bits sirven para poder ingresar información y después medirla con otros procedimientos como el de las implicaciones notables. DOCENTE: Enrique Sarango Zárate