SlideShare una empresa de Scribd logo
1 de 14
Descargar para leer sin conexión
• Revisamos estas dos proposiciones
• Simple 1+1=2 =p
• Compuesta
• Raúl estudia y trabaja
• q conector r
• Para facilitar la asignación de valores de verdad en la dinámica de la lógica
proposicional se usan tablas de verdad, en las que podemos ver en forma
dinámica la combinación de los valores de verdad para cada proposición y
su resultado dentro de la operación lógica.
• Se usan conectores lógicos en cada operación lógica como sigue:
• Conectores lógicos
Notación
Operación
Lógica
Dinámica Significado
~ Negación ~p no p
^ Conjunción p^q p y q
v Disyuncion pvq p o q
→ Condicional p→q
Si p, entonces
q
↔ Bicondicional p↔q p si y solo si q
∆
Disyunción
exclusiva p∆q o p o q
• Entramos a las operaciones lógicas
• NEGACIÓN ~
• Quito es la capital del Ecuador V
• Quito no es la capital del Ecuador F
• No es cierto que Quito no es la
capital del Ecuador
• En la ultima proposición hacemos
una doble negación y vemos que p
mantiene el valor inicial que era
verdad.
• CONJUNCIÓN ^
• La conjunción une dos proposiciones con el conector y, afirmando las
dos.
• La conjunción es verdadera cuando las dos proposiciones que se afirman
son verdaderas.
• X es un numero impar y primo
• Tomamos los números 4, 7 y 12
• En el caso del 4 es par y no es primo por lo que nos daria P F Q F
• 7 es impar y primo V
• 9 es impar y no es primo P V y Q F
CONJUNCION
p q p^q
v v v
v f f
f v f
f f f
• DISYUNCIÓN V
• En esta operación lógica se usa el
conector o, siendo verdadera la
disyunción si al menos una de las
proposiciones es verdadera. Es falsa
cuando las dos proposiciones son
falsas.
• Ejemplo: Tomo jugo o como pastel
• Puedo hacer una u otra o las dos, es
decir puede ser verdad una u otra o
las dos.
DISYUNCION
p q pvq
v v v
v f v
f v v
f f f
• DISYUNCIÓN EXCLUSIVA ∆
• En esta operación lógica se usa el conector o, siendo verdadera la
disyunción solo cuando una de las proposiciones es verdadera. Es falsa
cuando las dos proposiciones son verdaderas o falsas .
• Ejemplo En la tarde voy al cine o al teatro
• Puedo hacer una u otra pero no las dos, es decir puede ser verdad solo
una.
DISYUNCION
EXCLUSIVA
p q p∆q
v v f
v f v
f v v
f f f
• CONDICIONAL →
• En esta operación lógica el conector une las proposiciones condicionando
que si se da p entonces se dará q, p implica q. Es decir p es el antecedente
y q el consecuente.
• Ejemplo
• José come entonces se siente satisfecho.
• José no come entonces se siente satisfecho.
• José come entonces no se siente satisfecho.
• José no come entonces no se siente satisfecho.
CONDICIONAL
p q p→q
v v v
v f f
f v v
f f v
• BICONDICIONAL ↔
• En esta operación lógica el conector une las proposiciones condicionando
que p se da si y solo si q se da. Es decir que sean al mismo tiempo
antecedente y consecuente la una de la otra. La bicondicional es falsa
cuando las dos proposiciones que la componen tienen valores de verdad
diferentes
• Ejemplo
• El triangulo es equilátero si y solo si tiene tres lados iguales.
• El triangulo no es equilátero si y solo si tiene tres lados iguales.
• El triangulo es equilátero si y solo si no tiene tres lados iguales.
• El triangulo no es equilátero si y solo si no tiene tres lados iguales.
BICONDICIONAL
p q p↔q
v v v
v f f
f v f
f f v

Más contenido relacionado

La actualidad más candente

Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
verocha66
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
Ivan Bernal
 
Radicales 9 de septiembre de 2010
Radicales             9 de septiembre de 2010Radicales             9 de septiembre de 2010
Radicales 9 de septiembre de 2010
Awilda Pérez
 

La actualidad más candente (20)

Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.
 
Algebra
AlgebraAlgebra
Algebra
 
25 doble implicación
25   doble implicación25   doble implicación
25 doble implicación
 
Teorema fundamental de la aritmética
Teorema fundamental de la aritmética Teorema fundamental de la aritmética
Teorema fundamental de la aritmética
 
LÓGICA MATEMÁTICAS (RESUMIDO)
LÓGICA MATEMÁTICAS (RESUMIDO)LÓGICA MATEMÁTICAS (RESUMIDO)
LÓGICA MATEMÁTICAS (RESUMIDO)
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Cuaderno digital algebra
Cuaderno digital algebraCuaderno digital algebra
Cuaderno digital algebra
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Radicales 9 de septiembre de 2010
Radicales             9 de septiembre de 2010Radicales             9 de septiembre de 2010
Radicales 9 de septiembre de 2010
 
J. monsalve.
J. monsalve.J. monsalve.
J. monsalve.
 
Fun log mur di bez seg
Fun log mur di bez segFun log mur di bez seg
Fun log mur di bez seg
 
Unidad 1
Unidad 1Unidad 1
Unidad 1
 
Proposiciones compuestas
Proposiciones compuestasProposiciones compuestas
Proposiciones compuestas
 
Tablas de verdad_para_c_pre (1)
Tablas de verdad_para_c_pre (1)Tablas de verdad_para_c_pre (1)
Tablas de verdad_para_c_pre (1)
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcional
 
Estadistica tema 5
Estadistica tema 5Estadistica tema 5
Estadistica tema 5
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 

Similar a Clases inferencia operaciones logicas

Preposiciones matemáticas (pedro rodriguez c.i. 16388340)
Preposiciones matemáticas (pedro rodriguez c.i. 16388340)Preposiciones matemáticas (pedro rodriguez c.i. 16388340)
Preposiciones matemáticas (pedro rodriguez c.i. 16388340)
pedrolrc
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
Graciela Slekis Riffel
 

Similar a Clases inferencia operaciones logicas (20)

Logica
LogicaLogica
Logica
 
Cálculos de proporcional
Cálculos de proporcional Cálculos de proporcional
Cálculos de proporcional
 
Semana 1 cb
Semana 1 cb Semana 1 cb
Semana 1 cb
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
1 Logica.pptx
1 Logica.pptx1 Logica.pptx
1 Logica.pptx
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Proposiciones matemáticas (pedro rodriguez c.i. 16388340)
Proposiciones matemáticas (pedro rodriguez c.i. 16388340)Proposiciones matemáticas (pedro rodriguez c.i. 16388340)
Proposiciones matemáticas (pedro rodriguez c.i. 16388340)
 
Lógica 3º.ppt
Lógica 3º.pptLógica 3º.ppt
Lógica 3º.ppt
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
04 Operadores lógicos.pdf
04 Operadores lógicos.pdf04 Operadores lógicos.pdf
04 Operadores lógicos.pdf
 
Preposiciones matemáticas (pedro rodriguez c.i. 16388340)
Preposiciones matemáticas (pedro rodriguez c.i. 16388340)Preposiciones matemáticas (pedro rodriguez c.i. 16388340)
Preposiciones matemáticas (pedro rodriguez c.i. 16388340)
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
Clase 1 Lógica (15-06-20) (1).pdf
Clase 1 Lógica (15-06-20) (1).pdfClase 1 Lógica (15-06-20) (1).pdf
Clase 1 Lógica (15-06-20) (1).pdf
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
logica_proposicional_2022.pptx
logica_proposicional_2022.pptxlogica_proposicional_2022.pptx
logica_proposicional_2022.pptx
 
Tablas de verdad de C++
Tablas de verdad de C++Tablas de verdad de C++
Tablas de verdad de C++
 
equivalencia e implicacion.pptx
equivalencia e implicacion.pptxequivalencia e implicacion.pptx
equivalencia e implicacion.pptx
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 

Más de DocenteGestion1 (12)

Razon de cambio problema de la tangente
Razon de cambio problema de la tangenteRazon de cambio problema de la tangente
Razon de cambio problema de la tangente
 
Funcion lineal 7 semana
Funcion lineal 7 semanaFuncion lineal 7 semana
Funcion lineal 7 semana
 
Reglasde derivaciÓn
Reglasde derivaciÓnReglasde derivaciÓn
Reglasde derivaciÓn
 
Funciones
FuncionesFunciones
Funciones
 
5ta semana derivada de una funcion
5ta semana derivada de una funcion5ta semana derivada de una funcion
5ta semana derivada de una funcion
 
Semana 5 relaciones
Semana 5 relacionesSemana 5 relaciones
Semana 5 relaciones
 
Semana 6 funciones
Semana 6 funcionesSemana 6 funciones
Semana 6 funciones
 
3ra semana inferencia logica
3ra semana  inferencia logica3ra semana  inferencia logica
3ra semana inferencia logica
 
Clase semana 4 inferencia logica
Clase semana 4 inferencia  logicaClase semana 4 inferencia  logica
Clase semana 4 inferencia logica
 
4ta semana limites, estudio esquematico de la grafica de una funcion
4ta semana limites, estudio esquematico de la grafica de una funcion4ta semana limites, estudio esquematico de la grafica de una funcion
4ta semana limites, estudio esquematico de la grafica de una funcion
 
Presentación 3 ra semana
Presentación  3 ra semanaPresentación  3 ra semana
Presentación 3 ra semana
 
Clase inferencia logica lenguaje y proposiciones
Clase inferencia logica lenguaje y proposicionesClase inferencia logica lenguaje y proposiciones
Clase inferencia logica lenguaje y proposiciones
 

Último

6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
MiNeyi1
 
Criterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficiosCriterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficios
JonathanCovena1
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
EliaHernndez7
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
El Fortí
 

Último (20)

CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
Infografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfInfografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdf
 
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática5    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática5    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
Sesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronósticoSesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronóstico
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
 
Criterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficiosCriterios ESG: fundamentos, aplicaciones y beneficios
Criterios ESG: fundamentos, aplicaciones y beneficios
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 

Clases inferencia operaciones logicas

  • 1. • Revisamos estas dos proposiciones • Simple 1+1=2 =p • Compuesta • Raúl estudia y trabaja • q conector r
  • 2. • Para facilitar la asignación de valores de verdad en la dinámica de la lógica proposicional se usan tablas de verdad, en las que podemos ver en forma dinámica la combinación de los valores de verdad para cada proposición y su resultado dentro de la operación lógica. • Se usan conectores lógicos en cada operación lógica como sigue:
  • 3. • Conectores lógicos Notación Operación Lógica Dinámica Significado ~ Negación ~p no p ^ Conjunción p^q p y q v Disyuncion pvq p o q → Condicional p→q Si p, entonces q ↔ Bicondicional p↔q p si y solo si q ∆ Disyunción exclusiva p∆q o p o q
  • 4. • Entramos a las operaciones lógicas • NEGACIÓN ~ • Quito es la capital del Ecuador V • Quito no es la capital del Ecuador F • No es cierto que Quito no es la capital del Ecuador • En la ultima proposición hacemos una doble negación y vemos que p mantiene el valor inicial que era verdad.
  • 5. • CONJUNCIÓN ^ • La conjunción une dos proposiciones con el conector y, afirmando las dos. • La conjunción es verdadera cuando las dos proposiciones que se afirman son verdaderas. • X es un numero impar y primo • Tomamos los números 4, 7 y 12 • En el caso del 4 es par y no es primo por lo que nos daria P F Q F • 7 es impar y primo V • 9 es impar y no es primo P V y Q F
  • 6. CONJUNCION p q p^q v v v v f f f v f f f f
  • 7. • DISYUNCIÓN V • En esta operación lógica se usa el conector o, siendo verdadera la disyunción si al menos una de las proposiciones es verdadera. Es falsa cuando las dos proposiciones son falsas. • Ejemplo: Tomo jugo o como pastel • Puedo hacer una u otra o las dos, es decir puede ser verdad una u otra o las dos.
  • 8. DISYUNCION p q pvq v v v v f v f v v f f f
  • 9. • DISYUNCIÓN EXCLUSIVA ∆ • En esta operación lógica se usa el conector o, siendo verdadera la disyunción solo cuando una de las proposiciones es verdadera. Es falsa cuando las dos proposiciones son verdaderas o falsas . • Ejemplo En la tarde voy al cine o al teatro • Puedo hacer una u otra pero no las dos, es decir puede ser verdad solo una.
  • 10. DISYUNCION EXCLUSIVA p q p∆q v v f v f v f v v f f f
  • 11. • CONDICIONAL → • En esta operación lógica el conector une las proposiciones condicionando que si se da p entonces se dará q, p implica q. Es decir p es el antecedente y q el consecuente. • Ejemplo • José come entonces se siente satisfecho. • José no come entonces se siente satisfecho. • José come entonces no se siente satisfecho. • José no come entonces no se siente satisfecho.
  • 12. CONDICIONAL p q p→q v v v v f f f v v f f v
  • 13. • BICONDICIONAL ↔ • En esta operación lógica el conector une las proposiciones condicionando que p se da si y solo si q se da. Es decir que sean al mismo tiempo antecedente y consecuente la una de la otra. La bicondicional es falsa cuando las dos proposiciones que la componen tienen valores de verdad diferentes • Ejemplo • El triangulo es equilátero si y solo si tiene tres lados iguales. • El triangulo no es equilátero si y solo si tiene tres lados iguales. • El triangulo es equilátero si y solo si no tiene tres lados iguales. • El triangulo no es equilátero si y solo si no tiene tres lados iguales.
  • 14. BICONDICIONAL p q p↔q v v v v f f f v f f f v