SlideShare una empresa de Scribd logo
1 de 59
LOGICA COMPUTACIONAL LA LOGICA PROPOSICIONAL
Contenido ,[object Object],[object Object],[object Object],[object Object]
LOGICA PROPOSICIONAL INTRODUCCION AL CALCULO PROPOSICIONAL
Proposiciones ,[object Object],[object Object],[object Object]
Proposiciones Simples ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Proposiciones Compuestas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Conectores lógicos ,[object Object],Lenguaje Natural Lenguaje Formal Descripción y Λ Conjunción o V Disyunción No ~ Negación Si…entonces  Implicación o Condicional Si y solo si  Doble implicación o Bicondicional
Conectores lógicos: Ejemplos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Conectores lógicos: Ejemplos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
LOGICA PROPOSICIONAL TABLAS DE VERDAD
Tablas de verdad ,[object Object],[object Object]
Tablas de verdad
Tablas de verdad ,[object Object]
Construcción de tablas de verdad ,[object Object],[object Object],[object Object],[object Object]
Construcción de tablas de verdad ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Construcción de tablas de verdad ,[object Object],[object Object]
Construcción de tablas de verdad ,[object Object],[object Object]
Tautologías y Contradicciones ,[object Object],[object Object]
Tautologías y Contradicciones ,[object Object],[object Object],[object Object]
Leyes del cálculo proposicional ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Leyes del cálculo proposicional ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
LOGICA PROPOSICIONAL EXPRESIONES LOGICAS
Expresiones Lógicas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Expresiones Lógicas ,[object Object],[object Object],[object Object],[object Object]
Expresiones Lógicas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Expresiones Lógicas ,[object Object],[object Object],[object Object],[object Object],[object Object]
Expresiones Lógicas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Expresiones Lógicas ,[object Object],[object Object],[object Object],[object Object],[object Object]
Expresiones Lógicas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
LOGICA PROPOSICIONAL APLICACIONES DE LA LOGICA EN EL DISEÑO DE CIRCUITOS ELECTRONICOS
Circuitos electrónicos ,[object Object],[object Object],[object Object]
Circuitos electrónicos ,[object Object],[object Object]
Circuitos electrónicos ,[object Object],[object Object],[object Object],[object Object],[object Object]
Compuerta AND ,[object Object],[object Object],[object Object]
Compuerta AND ,[object Object],[object Object],[object Object]
Compuerta AND ,[object Object],[object Object]
Compuerta AND ,[object Object],[object Object]
Compuerta OR ,[object Object],[object Object],[object Object]
Compuerta OR ,[object Object],[object Object],[object Object]
Compuerta OR ,[object Object],[object Object]
Compuerta OR ,[object Object],[object Object]
Compuerta NOT ,[object Object],[object Object],[object Object]
Compuerta NOT ,[object Object],[object Object]
Otras Compuertas: NAND ,[object Object],[object Object]
Otras Compuertas: NAND ,[object Object],[object Object]
Otras Compuertas: NAND ,[object Object]
Otras Compuertas: NOR ,[object Object],[object Object]
Otras Compuertas: NOR ,[object Object],[object Object]
Otras Compuertas: NOR ,[object Object]
Otras Compuertas: XOR ,[object Object],[object Object],[object Object]
Otras Compuertas: XOR ,[object Object],[object Object],[object Object]
Circuitos Combinacionales ,[object Object],[object Object]
Circuitos Combinacionales ,[object Object],[object Object],[object Object]
Ejercicios ,[object Object]
Algebra Booleana ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Algebra Booleana ,[object Object],[object Object],[object Object],[object Object],[object Object]
Algebra Booleana ,[object Object],[object Object],[object Object]
Algebra Booleana ,[object Object],[object Object],[object Object]
Bibliografía ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Más contenido relacionado

La actualidad más candente

Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
flakitacm
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
Wilbert Tapia
 

La actualidad más candente (20)

Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Proposiciones simples-y-complejas
Proposiciones simples-y-complejasProposiciones simples-y-complejas
Proposiciones simples-y-complejas
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 

Destacado

Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
Yuly Oyanguren
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
Videoconferencias UTPL
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño carta
Dairo Estrada Talaigua
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
verocha66
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
Wilderd Cabanillas Campos
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdad
Judith Wuera
 
Lógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolizaciónLógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolización
Videoconferencias UTPL
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
Pacheco Huarotto, Luis
 

Destacado (20)

Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño carta
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
la logica proposicional
la logica proposicionalla logica proposicional
la logica proposicional
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdad
 
Lógica
LógicaLógica
Lógica
 
Lógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolizaciónLógica proposicional importancia y simbolización
Lógica proposicional importancia y simbolización
 
LI2011-T1: Sintaxis y semántica de la lógica proposicional
LI2011-T1: Sintaxis y semántica de la lógica proposicionalLI2011-T1: Sintaxis y semántica de la lógica proposicional
LI2011-T1: Sintaxis y semántica de la lógica proposicional
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
Lógica
LógicaLógica
Lógica
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógica
 

Similar a La logica proposicional

matematicas para la informatica
matematicas para la informaticamatematicas para la informatica
matematicas para la informatica
xxx219
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
YaviQ
 
Concepto de conjuntos
Concepto de conjuntosConcepto de conjuntos
Concepto de conjuntos
anderson245
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
Ivan Bernal
 

Similar a La logica proposicional (20)

Calculo De Proposiciones
Calculo De ProposicionesCalculo De Proposiciones
Calculo De Proposiciones
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Conceptos De Matriz
Conceptos De MatrizConceptos De Matriz
Conceptos De Matriz
 
Concepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicasConcepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicas
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Algebra proposicionales juana pinto
Algebra proposicionales juana pintoAlgebra proposicionales juana pinto
Algebra proposicionales juana pinto
 
Semana tres
Semana tres Semana tres
Semana tres
 
matematicas para la informatica
matematicas para la informaticamatematicas para la informatica
matematicas para la informatica
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
 
3ARITMÉTICA_ALGEBRA_2020III (1).pdf
3ARITMÉTICA_ALGEBRA_2020III (1).pdf3ARITMÉTICA_ALGEBRA_2020III (1).pdf
3ARITMÉTICA_ALGEBRA_2020III (1).pdf
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
 
3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf3ARITMÉTICA_ALGEBRA_2020III.pdf
3ARITMÉTICA_ALGEBRA_2020III.pdf
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Ing. Civil - Cuadernillo 2018
Ing. Civil  - Cuadernillo 2018Ing. Civil  - Cuadernillo 2018
Ing. Civil - Cuadernillo 2018
 
Concepto de conjuntos
Concepto de conjuntosConcepto de conjuntos
Concepto de conjuntos
 
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_booleTema3 circuitos puertas_lógicas_y_álgebra_de_boole
Tema3 circuitos puertas_lógicas_y_álgebra_de_boole
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
calculo proposicional
calculo proposicionalcalculo proposicional
calculo proposicional
 

Último

5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
MiNeyi1
 
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
 
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdfNUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
UPTAIDELTACHIRA
 
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í
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docx
lupitavic
 

Último (20)

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
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
 
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
 
proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niñoproyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
 
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
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
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.
 
PIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesPIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonables
 
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
 
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdfNUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
NUEVAS DIAPOSITIVAS POSGRADO Gestion Publica.pdf
 
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
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
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
 
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
 
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
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docx
 

La logica proposicional