SlideShare una empresa de Scribd logo
1 de 7
INTRODUCCION A LA LOGICA
SIMBOLICA
UNIDAD I
Proposición.- Es todo fraccionamiento o pensamiento lógico del cual se tiene sentido
afirmar o negar el mismo por lo tanto toda proposición tendrá un determinado valor de
verdad.
Las proposiciones se simbolizan con una letra mayúscula de P a Z con su respectivo
valor de verdad.
V (P) 2+4=8
P
V (P) = F
La gravedad vale 9.81m/s2.
q
V (q) = V
Clasificación de una preposición.- de acuerdo a su naturaleza una proposición se
puede clasificar en:
a) Declarativas.- Son racionamientos que declara o narra un suceso.
b) Afirmativas.- Son racionamientos que afirman un resultado o un suceso.
c) De negación.- Son razonamientos que niegan un resultado o un suceso.
NOTA.- no son considerados proposiciones aquellas oraciones o pensamientos
que sean de interrogación, de admiración de orden o deseo.
Ejemplo.
-¿Cuál es tu nombre?
-¡¡¡¡viva santa Cruz!!!!
Formulas proposicionales.- Una formula proposicional es la representación simbólica
y matemática de un racionamiento lógico o de varios racionamientos los cuales pueden
unirse a través de conectivos lógicos ocasionando que la sumatoria de estos
racionamientos pueda ser una veracidad = tautología, pueda ser una falsedad = anti-
tautología y también pueda ser carente de sentido = contingencia.
a) Tautología.- Se denomina tautología cuando una formula proposicional tiene como
conclusión final una veracidad (su resultado es totalmente verdadero).
b) Anti tautología.- Se denomina anti tautología o contradicción cuando una formula
proposicional tiene como conclusión final una falsedad (su resultado es
totalmente falso).
c) Contingencia.- Se denomina contingencia cuando una formula proposicional tiene
como conclusión final ni una veracidad o ni una falsedad o sea carece de sentido (su
resultado so es ni verdadero ni falso por lo tanto se lo conoce también
como un racionamiento no valido).
Métodos para determinar la conclusión de una formula proposicional.- Hablar de
fórmulas proposicionales necesariamente estamos hablando de una serie de
racionamientos lógicos los cuales individualmente cada uno de ellos tiene un
determinado valor de verdad. Por lo tanto la lógica simbólica ofrece una serie de reglas
(conectivos lógicos) que van a permitir encontrar una conclusión final la cual satisfaga a
todo el conjunto de racionamientos dichas reglas son las siguientes:
a) Conjunción (^).- Es aquel conectivo lógico que une uno o más racionamientos
lógicos a través de las letras (y; e; pero) cuya regla general dice que si el
antecedente y el consecuente son verdaderos la conclusión final es verdadera
caso contrario es falsa.
Ejemplo.
El valor de la gravedad 9,81m/s2 y el valor de 𝜋 es 3,1416.
P (^) q
p ^ q = V ^ V
p ^ q = V
b) Disyunción (v).- Es aquel conectivo lógico que une uno o más racionamientos
lógicos a través de las letras (o; u; ambas) cuya regla general dice que si el
antecedente y el consecuente son falsedades la conclusión final es una falsedad
caso contrario es considerada veracidad.
Ejemplo.
2 + 3 = 7 o 5 + 8 = 15.
p (v) q.
p v q = F v F
p v p = F
c) Implicación Lógica ().- Es aquel conectivo lógico a través de las palabras
(entonces; porque; cuando; es suficiente; si) cuya regla general dice que si el
antecedente es verdadero y el consecuente es falso la conclusión final es una
falsedad caso contrario se considera verdadera.
p q p (^) q
V V V
V F F
F V F
F F F
p q p ^ q
V V V
V F V
F V V
F F F
Ejemplo.
Cristóbal Colon descubrió América entonces el continente se llama Colon.

p () q
p  q = V  F
p  q = V
d) Bi condicional ().- Es aquel conectivo lógico que une uno o más
racionamientos lógicos a través de las palabras (si y solo sí; sí o sí; siempre y
cuando) cuya regla general dice que si el antecedente y el antecedente y el
consecuente tiene el mismo valor de verdad la conclusión final es verdadera caso
contrario es falsa.
Ejemplo.
La gravedad vale 9,81 si y solo sus unidades son en m/s2.
P () q
p  q = V  V
p q p  q
V V V
V F F
F V V
F F V
p q p  q
V V V
V F F
F V F
p  q = V
Tabla de verdad.- Es la representación de todas las combinaciones posibles que pueden
tener los racionamientos lógicos presentes en una formula proposicional para poder
determinar si ese conjunto a través de sus valores de verdad estará sujeta a la siguiente
formula.
TV = 2n
Donde n es la cantidad de racionamientos en la formula proposicional.
Ejemplo.
a. Dada la siguiente formula proposicional clasificar a través de la tabla de verdad
que tipo es.
pq v p  p  q
Paso 1. Poner los valores en la tabla de verdad.
TV = 2n 22 = 4
p  q v p  p  q
V V F V V
V F F V F
F V V F V
F F V F F
Paso 2. Comenzar por los paréntesis y los corchetes.
F F V
Paso 3. Mi formulario.
V  V = V
F v F = F
V  F = F
V  V = V
F  F = V
p  q v p  p  q
V V V V F V V V V
V F F F F F V F F
F V V V V V F V V
F V F V V V F V F
El razonamiento es una contingencia o sea carece de sentido.
2.- Dada la siguiente formula proposicional clasificar a través de la tabla de verdad.
[p v (q ^ r)]  (p v q) ^ (p v q)
TV = 23 23 = 8
p q r
V
V
V
V
V
F
V
F
V
V
F
F
F
F
F
V
V
F
F
F
V
F
V
F
[p v (q ^ r)]  (p v q) ^ (p v q)
V V V V V V V V V V V V V
V V V F F V V V V V V V V
V V F F V V V V F V V V F
V V F F F V V V F V V V F
F V V V V V F V V V F V V
F F V F F F F V V V F V V
F F F F V V F F F F F F F
F F F F F V F F F F F F F
Contingencia carece de sentido.

Más contenido relacionado

La actualidad más candente

Integracion numérica
Integracion numéricaIntegracion numérica
Integracion numéricaKike Prieto
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezsantiagoexaul
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesJuan Ojeda
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALCESAR V
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...Grace Margo
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasSaúl Qc
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasJosé A. Alonso
 
Organizador visual sobre la logica
Organizador visual sobre la logicaOrganizador visual sobre la logica
Organizador visual sobre la logicamatesparamivida
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Daniel Molinet
 
Ecuaciones diferenciales exactas
Ecuaciones diferenciales exactas Ecuaciones diferenciales exactas
Ecuaciones diferenciales exactas Leo Casba
 

La actualidad más candente (20)

Integracion numérica
Integracion numéricaIntegracion numérica
Integracion numérica
 
18 leyes
18 leyes18 leyes
18 leyes
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Calculo vectorial integrales multiples
Calculo vectorial integrales multiplesCalculo vectorial integrales multiples
Calculo vectorial integrales multiples
 
Lógica Sesión N°3
Lógica Sesión N°3Lógica Sesión N°3
Lógica Sesión N°3
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Leyes de la lógica
Leyes de la lógicaLeyes de la lógica
Leyes de la lógica
 
Flex y bison
Flex y bisonFlex y bison
Flex y bison
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivas
 
Organizador visual sobre la logica
Organizador visual sobre la logicaOrganizador visual sobre la logica
Organizador visual sobre la logica
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.
 
Tarea de calculo ii
Tarea de calculo iiTarea de calculo ii
Tarea de calculo ii
 
Ecuaciones diferenciales exactas
Ecuaciones diferenciales exactas Ecuaciones diferenciales exactas
Ecuaciones diferenciales exactas
 

Destacado

Introducción a la Lógica Simbólica
Introducción a la Lógica SimbólicaIntroducción a la Lógica Simbólica
Introducción a la Lógica SimbólicaLeticia Ibarra
 
Introducción a la lógica
Introducción a la lógicaIntroducción a la lógica
Introducción a la lógicaMaria Gaitan
 
Presentación ii parte lógica formal
Presentación ii parte lógica formalPresentación ii parte lógica formal
Presentación ii parte lógica formalRodolfo García Godoy
 
1 diapositivas de lógica
1 diapositivas de lógica1 diapositivas de lógica
1 diapositivas de lógicajurista2012
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaLogicaUFM2012
 
Clase 1 que es logica
Clase 1 que es logicaClase 1 que es logica
Clase 1 que es logicaAbigail Noj
 
Correccion del examen de jonny
Correccion del examen de jonnyCorreccion del examen de jonny
Correccion del examen de jonnyjhaenncarlos
 
Wh i. de casos blog_final
Wh i. de casos blog_finalWh i. de casos blog_final
Wh i. de casos blog_finalthinks
 
Wh logica s. 3_blog_iap
Wh logica s. 3_blog_iapWh logica s. 3_blog_iap
Wh logica s. 3_blog_iapthinks
 
Wh logica s. 2_blog_iap
Wh logica s. 2_blog_iapWh logica s. 2_blog_iap
Wh logica s. 2_blog_iapthinks
 
Wh logica s. 3_blog_iap
Wh logica s. 3_blog_iapWh logica s. 3_blog_iap
Wh logica s. 3_blog_iapthinks
 
Wh logica s. final_blog_iap
Wh logica s. final_blog_iapWh logica s. final_blog_iap
Wh logica s. final_blog_iapthinks
 
Wh logica s blog_iap
Wh logica s blog_iapWh logica s blog_iap
Wh logica s blog_iapthinks
 
Wh psicometria i 3_blog_iap
Wh psicometria i 3_blog_iapWh psicometria i 3_blog_iap
Wh psicometria i 3_blog_iapthinks
 

Destacado (20)

Logica simbolica
Logica simbolicaLogica simbolica
Logica simbolica
 
Introducción a la Lógica Simbólica
Introducción a la Lógica SimbólicaIntroducción a la Lógica Simbólica
Introducción a la Lógica Simbólica
 
LÓGICA SIMBÓLICA
LÓGICA SIMBÓLICALÓGICA SIMBÓLICA
LÓGICA SIMBÓLICA
 
Logica simbolica
Logica simbolicaLogica simbolica
Logica simbolica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Introducción a la lógica
Introducción a la lógicaIntroducción a la lógica
Introducción a la lógica
 
Logica simbolica
Logica simbolicaLogica simbolica
Logica simbolica
 
Presentación ii parte lógica formal
Presentación ii parte lógica formalPresentación ii parte lógica formal
Presentación ii parte lógica formal
 
1 diapositivas de lógica
1 diapositivas de lógica1 diapositivas de lógica
1 diapositivas de lógica
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica Simbólica
 
Clase 1 que es logica
Clase 1 que es logicaClase 1 que es logica
Clase 1 que es logica
 
Correccion del examen de jonny
Correccion del examen de jonnyCorreccion del examen de jonny
Correccion del examen de jonny
 
Wh i. de casos blog_final
Wh i. de casos blog_finalWh i. de casos blog_final
Wh i. de casos blog_final
 
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. 2_blog_iap
Wh logica s. 2_blog_iapWh logica s. 2_blog_iap
Wh logica s. 2_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
 
Wh logica s. final_blog_iap
Wh logica s. final_blog_iapWh logica s. final_blog_iap
Wh logica s. final_blog_iap
 
Wh logica s blog_iap
Wh logica s blog_iapWh logica s blog_iap
Wh logica s blog_iap
 
Wh psicometria i 3_blog_iap
Wh psicometria i 3_blog_iapWh psicometria i 3_blog_iap
Wh psicometria i 3_blog_iap
 
Logica I
Logica ILogica I
Logica I
 

Similar a Introduccion a la logica simbolica

Similar a Introduccion a la logica simbolica (20)

Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Logica
LogicaLogica
Logica
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional
 
Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Tautologías
TautologíasTautologías
Tautologías
 
LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Logica
LogicaLogica
Logica
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Copia (3) de logica colores azul 2008
Copia (3) de logica colores azul 2008Copia (3) de logica colores azul 2008
Copia (3) de logica colores azul 2008
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 

Último

BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfCESARMALAGA4
 
Los Nueve Principios del Desempeño de la Sostenibilidad
Los Nueve Principios del Desempeño de la SostenibilidadLos Nueve Principios del Desempeño de la Sostenibilidad
Los Nueve Principios del Desempeño de la SostenibilidadJonathanCovena1
 
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptxPresentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptxYeseniaRivera50
 
La evolucion de la especie humana-primero de secundaria
La evolucion de la especie humana-primero de secundariaLa evolucion de la especie humana-primero de secundaria
La evolucion de la especie humana-primero de secundariamarco carlos cuyo
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...fcastellanos3
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPELaura Chacón
 
Estrategia de Enseñanza y Aprendizaje.pdf
Estrategia de Enseñanza y Aprendizaje.pdfEstrategia de Enseñanza y Aprendizaje.pdf
Estrategia de Enseñanza y Aprendizaje.pdfromanmillans
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialpatriciaines1993
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxOscarEduardoSanchezC
 
FICHA DE MONITOREO Y ACOMPAÑAMIENTO 2024 MINEDU
FICHA DE MONITOREO Y ACOMPAÑAMIENTO  2024 MINEDUFICHA DE MONITOREO Y ACOMPAÑAMIENTO  2024 MINEDU
FICHA DE MONITOREO Y ACOMPAÑAMIENTO 2024 MINEDUgustavorojas179704
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFAROJosé Luis Palma
 
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIATRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIAAbelardoVelaAlbrecht1
 
Mapa Mental de estrategias de articulación de las areas curriculares.pdf
Mapa Mental de estrategias de articulación de las areas curriculares.pdfMapa Mental de estrategias de articulación de las areas curriculares.pdf
Mapa Mental de estrategias de articulación de las areas curriculares.pdfvictorbeltuce
 
PPT_Formación integral y educación CRESE (1).pdf
PPT_Formación integral y educación CRESE (1).pdfPPT_Formación integral y educación CRESE (1).pdf
PPT_Formación integral y educación CRESE (1).pdfEDILIAGAMBOA
 
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxc3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxMartín Ramírez
 

Último (20)

Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDIUnidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
 
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
 
Los Nueve Principios del Desempeño de la Sostenibilidad
Los Nueve Principios del Desempeño de la SostenibilidadLos Nueve Principios del Desempeño de la Sostenibilidad
Los Nueve Principios del Desempeño de la Sostenibilidad
 
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptxPresentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
 
La evolucion de la especie humana-primero de secundaria
La evolucion de la especie humana-primero de secundariaLa evolucion de la especie humana-primero de secundaria
La evolucion de la especie humana-primero de secundaria
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
 
DIA INTERNACIONAL DAS FLORESTAS .
DIA INTERNACIONAL DAS FLORESTAS         .DIA INTERNACIONAL DAS FLORESTAS         .
DIA INTERNACIONAL DAS FLORESTAS .
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
 
PPTX: La luz brilla en la oscuridad.pptx
PPTX: La luz brilla en la oscuridad.pptxPPTX: La luz brilla en la oscuridad.pptx
PPTX: La luz brilla en la oscuridad.pptx
 
Estrategia de Enseñanza y Aprendizaje.pdf
Estrategia de Enseñanza y Aprendizaje.pdfEstrategia de Enseñanza y Aprendizaje.pdf
Estrategia de Enseñanza y Aprendizaje.pdf
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundial
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
 
Earth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversaryEarth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversary
 
FICHA DE MONITOREO Y ACOMPAÑAMIENTO 2024 MINEDU
FICHA DE MONITOREO Y ACOMPAÑAMIENTO  2024 MINEDUFICHA DE MONITOREO Y ACOMPAÑAMIENTO  2024 MINEDU
FICHA DE MONITOREO Y ACOMPAÑAMIENTO 2024 MINEDU
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
 
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIATRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
 
Mapa Mental de estrategias de articulación de las areas curriculares.pdf
Mapa Mental de estrategias de articulación de las areas curriculares.pdfMapa Mental de estrategias de articulación de las areas curriculares.pdf
Mapa Mental de estrategias de articulación de las areas curriculares.pdf
 
PPT_Formación integral y educación CRESE (1).pdf
PPT_Formación integral y educación CRESE (1).pdfPPT_Formación integral y educación CRESE (1).pdf
PPT_Formación integral y educación CRESE (1).pdf
 
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptxc3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
c3.hu3.p1.p2.El ser humano y el sentido de su existencia.pptx
 

Introduccion a la logica simbolica

  • 1. INTRODUCCION A LA LOGICA SIMBOLICA UNIDAD I Proposición.- Es todo fraccionamiento o pensamiento lógico del cual se tiene sentido afirmar o negar el mismo por lo tanto toda proposición tendrá un determinado valor de verdad. Las proposiciones se simbolizan con una letra mayúscula de P a Z con su respectivo valor de verdad. V (P) 2+4=8 P V (P) = F La gravedad vale 9.81m/s2. q V (q) = V Clasificación de una preposición.- de acuerdo a su naturaleza una proposición se puede clasificar en: a) Declarativas.- Son racionamientos que declara o narra un suceso. b) Afirmativas.- Son racionamientos que afirman un resultado o un suceso. c) De negación.- Son razonamientos que niegan un resultado o un suceso. NOTA.- no son considerados proposiciones aquellas oraciones o pensamientos que sean de interrogación, de admiración de orden o deseo. Ejemplo. -¿Cuál es tu nombre? -¡¡¡¡viva santa Cruz!!!!
  • 2. Formulas proposicionales.- Una formula proposicional es la representación simbólica y matemática de un racionamiento lógico o de varios racionamientos los cuales pueden unirse a través de conectivos lógicos ocasionando que la sumatoria de estos racionamientos pueda ser una veracidad = tautología, pueda ser una falsedad = anti- tautología y también pueda ser carente de sentido = contingencia. a) Tautología.- Se denomina tautología cuando una formula proposicional tiene como conclusión final una veracidad (su resultado es totalmente verdadero). b) Anti tautología.- Se denomina anti tautología o contradicción cuando una formula proposicional tiene como conclusión final una falsedad (su resultado es totalmente falso). c) Contingencia.- Se denomina contingencia cuando una formula proposicional tiene como conclusión final ni una veracidad o ni una falsedad o sea carece de sentido (su resultado so es ni verdadero ni falso por lo tanto se lo conoce también como un racionamiento no valido). Métodos para determinar la conclusión de una formula proposicional.- Hablar de fórmulas proposicionales necesariamente estamos hablando de una serie de racionamientos lógicos los cuales individualmente cada uno de ellos tiene un determinado valor de verdad. Por lo tanto la lógica simbólica ofrece una serie de reglas (conectivos lógicos) que van a permitir encontrar una conclusión final la cual satisfaga a todo el conjunto de racionamientos dichas reglas son las siguientes: a) Conjunción (^).- Es aquel conectivo lógico que une uno o más racionamientos lógicos a través de las letras (y; e; pero) cuya regla general dice que si el antecedente y el consecuente son verdaderos la conclusión final es verdadera caso contrario es falsa. Ejemplo. El valor de la gravedad 9,81m/s2 y el valor de 𝜋 es 3,1416. P (^) q p ^ q = V ^ V p ^ q = V
  • 3. b) Disyunción (v).- Es aquel conectivo lógico que une uno o más racionamientos lógicos a través de las letras (o; u; ambas) cuya regla general dice que si el antecedente y el consecuente son falsedades la conclusión final es una falsedad caso contrario es considerada veracidad. Ejemplo. 2 + 3 = 7 o 5 + 8 = 15. p (v) q. p v q = F v F p v p = F c) Implicación Lógica ().- Es aquel conectivo lógico a través de las palabras (entonces; porque; cuando; es suficiente; si) cuya regla general dice que si el antecedente es verdadero y el consecuente es falso la conclusión final es una falsedad caso contrario se considera verdadera. p q p (^) q V V V V F F F V F F F F p q p ^ q V V V V F V F V V F F F
  • 4. Ejemplo. Cristóbal Colon descubrió América entonces el continente se llama Colon.  p () q p  q = V  F p  q = V d) Bi condicional ().- Es aquel conectivo lógico que une uno o más racionamientos lógicos a través de las palabras (si y solo sí; sí o sí; siempre y cuando) cuya regla general dice que si el antecedente y el antecedente y el consecuente tiene el mismo valor de verdad la conclusión final es verdadera caso contrario es falsa. Ejemplo. La gravedad vale 9,81 si y solo sus unidades son en m/s2. P () q p  q = V  V p q p  q V V V V F F F V V F F V p q p  q V V V V F F F V F
  • 5. p  q = V Tabla de verdad.- Es la representación de todas las combinaciones posibles que pueden tener los racionamientos lógicos presentes en una formula proposicional para poder determinar si ese conjunto a través de sus valores de verdad estará sujeta a la siguiente formula. TV = 2n Donde n es la cantidad de racionamientos en la formula proposicional. Ejemplo. a. Dada la siguiente formula proposicional clasificar a través de la tabla de verdad que tipo es. pq v p  p  q Paso 1. Poner los valores en la tabla de verdad. TV = 2n 22 = 4 p  q v p  p  q V V F V V V F F V F F V V F V F F V F F Paso 2. Comenzar por los paréntesis y los corchetes. F F V
  • 6. Paso 3. Mi formulario. V  V = V F v F = F V  F = F V  V = V F  F = V p  q v p  p  q V V V V F V V V V V F F F F F V F F F V V V V V F V V F V F V V V F V F El razonamiento es una contingencia o sea carece de sentido. 2.- Dada la siguiente formula proposicional clasificar a través de la tabla de verdad. [p v (q ^ r)]  (p v q) ^ (p v q) TV = 23 23 = 8 p q r V V V V V F V F V
  • 7. V F F F F F V V F F F V F V F [p v (q ^ r)]  (p v q) ^ (p v q) V V V V V V V V V V V V V V V V F F V V V V V V V V V V F F V V V V F V V V F V V F F F V V V F V V V F F V V V V V F V V V F V V F F V F F F F V V V F V V F F F F V V F F F F F F F F F F F F V F F F F F F F Contingencia carece de sentido.