SlideShare une entreprise Scribd logo
1  sur  10
LÓGICA PROPOSICIONAL
• Es una parte de la
lógica matemática,
llamada también
«lógica de las
proposiciones sin
analizar».
• Estudia las relaciones
entre las
proposiciones
mediante la conexión
lógica de estas.
• Trata de la verdad o
falsedad de una o
varias proposiciones.
LÓGICA PROPOSICIONAL PROPOSICIÓN
• Es todo enunciado al que
se le puede asignar un
valor de verdad.
Clases de proposiciones:
• Proposición simple: es
aquella que no está
relacionada con otras
proposiciones.
• Proposición compuesta:
es aquella que se forma por
dos o más proposiciones
unidas por los conectores
lógicos.
CONECTORES LÓGICOS
Son símbolos que unen dos o más proposiciones
simples para formar una proposición compuesta.
Los conectores lógicos son:
CONJUNCIÓN
Si p y q son proposiciones,
se llama conjunción de p y q
a la proposición compuesta
“p y q “ y se denota por:
p  q
DISYUNCIÓN INCLUSIVA
Si p y q son proposiciones,
se llama disyunción de p y q
a la proposición compuesta
“p o q” y se denota por:
p  q
DISYUNCIÓN EXCLUSIVA
Si p y q son proposiciones,
se llama disyunción exclusiva
de p y q a la proposición
compuesta “o p o q” y se
denota por:
p Δ q
p q p Δ q
V V F
V F V
F V V
F F F
CONDICIONAL
Si p y q son proposiciones,
se llama condicional de p y q
a la proposición compuesta
“si p, entonces q” y se
denota por:
p  q
p q p → q
V V V
V F F
F V V
F F V
BICONDICIONAL
Si p y q son proposiciones,
se llama bicondicional de p y
q a la proposición compuesta
“ p, si y solo sí q” y se
denota por:
p ↔ q
p q p ↔ q
V V V
V F F
F V F
F F V
NEGACIÓN
Si p es una proposición,
entonces “no p” es la
negación de p y se denota
por:
~ p
LEYES DE LA LOGICA PROPOSICIONAL
CIRCUITOS LÓGICOS
Los circuitos lógicos se utilizan para adoptar decisiones
específicas de «verdadero - falso» sobre la base de la
presencia de múltiples señales de «verdadero-falso» en
las entradas.
EJERCICIOS
1. Si la proposición (p   q)   r es
falsa, determina el valor de verdad de
las siguientes proposiciones:
I.  p v (r  q)
II. ( q  p)   q
III. (q   r)  ( r  p)
Solución:
Partimos de:
(p   q)   r  F
V F
p   q  V  r  F
p  V ; q  F r  V
Luego:
I. F v (V  F)  F v F  F
II. (V  V)  V  V  V  V
III. (F  F)  (F  V)  F  F  F
Rpta.: FVF
2. Elabora la tabla de verdad de la
siguiente proposición compuesta:
( p  q)  ( q  p)
Luego, indica si es una tautología,
contradicción o contingencia.
Solución:
2 proposiciones: p y q
Es una contingencia.
Rpta.: Contingencia
p q (p  q)  (q  p)
V V F V V F F F V
V F F V F V V V V
F V V V V F F F F
F F V F F V V F F
3. Simplifica la siguiente proposición
compuesta:
(q  p) (p  q) v (p  q)
Solución:
Sabemos que: p  q  p v q
  (q v p)  (p v q) v (p v q)
  (q v p)  ( p  q) v (p v q)
  (q v p)   p)  q v (p v q)
  p  q v (p v q)
  (p  q) v p  v q)
  p v q
  (p)   (q)
 p  q
Rpta.: p  q
4. Indica la proposición compuesta que
resulta del siguiente circuito lógico:
(q  p) (p  q) v (p  q)
Solución:
Sabemos que:
Circuito en serie: p  q
Circuito en paralelo: p v q
Luego, la proposición compuesta es:
(p v  q)  (p v q) v p  r
Rpta.: (p v  q)  (p v q) v p  r

Contenu connexe

Tendances

Tendances (20)

Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadores
 
Lógica
LógicaLógica
Lógica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Sesion 03 proposiciones logicas
Sesion 03  proposiciones logicasSesion 03  proposiciones logicas
Sesion 03 proposiciones logicas
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
 
Inferencia
InferenciaInferencia
Inferencia
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Lógica
LógicaLógica
Lógica
 

Similaire à LOGICA PROPOSICIONAL.pptx

Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
juanabreuri
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
juanabreuri
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
yapa50
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
Pato Hernandez
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
Ger Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
Ger Castillo
 

Similaire à LOGICA PROPOSICIONAL.pptx (20)

Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
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
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Logica
LogicaLogica
Logica
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf
 
LOGICA
LOGICALOGICA
LOGICA
 
Estructura discreta 1
Estructura discreta 1Estructura discreta 1
Estructura discreta 1
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 

Plus de angelmendoza831413 (8)

nuestros reales numeros.pptx
nuestros reales numeros.pptxnuestros reales numeros.pptx
nuestros reales numeros.pptx
 
GRAFICOS ESTADISTICOS.pptx
GRAFICOS ESTADISTICOS.pptxGRAFICOS ESTADISTICOS.pptx
GRAFICOS ESTADISTICOS.pptx
 
nocion de conjuntos.pptx
nocion de conjuntos.pptxnocion de conjuntos.pptx
nocion de conjuntos.pptx
 
conjuntos y clases.pptx
conjuntos y clases.pptxconjuntos y clases.pptx
conjuntos y clases.pptx
 
teoria de conjuntos.pptx
teoria de conjuntos.pptxteoria de conjuntos.pptx
teoria de conjuntos.pptx
 
Lección 1 Conjunto y propiedades de los números reales.pptx
Lección 1  Conjunto y propiedades de los números reales.pptxLección 1  Conjunto y propiedades de los números reales.pptx
Lección 1 Conjunto y propiedades de los números reales.pptx
 
PLAN-INNOVACION-CALIDAD.doc
PLAN-INNOVACION-CALIDAD.docPLAN-INNOVACION-CALIDAD.doc
PLAN-INNOVACION-CALIDAD.doc
 
ANEXO 2 IIGG.docx
ANEXO 2 IIGG.docxANEXO 2 IIGG.docx
ANEXO 2 IIGG.docx
 

Dernier

IAAS- EPIDEMIOLOGIA. antisepcsia, desinfección, epp
IAAS-  EPIDEMIOLOGIA. antisepcsia, desinfección, eppIAAS-  EPIDEMIOLOGIA. antisepcsia, desinfección, epp
IAAS- EPIDEMIOLOGIA. antisepcsia, desinfección, epp
CatalinaSezCrdenas
 
Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.
ChiquinquirMilagroTo
 
Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...
Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...
Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...
frank0071
 
Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...
Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...
Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...
frank0071
 
Gribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdf
Gribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdfGribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdf
Gribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdf
frank0071
 

Dernier (20)

IAAS- EPIDEMIOLOGIA. antisepcsia, desinfección, epp
IAAS-  EPIDEMIOLOGIA. antisepcsia, desinfección, eppIAAS-  EPIDEMIOLOGIA. antisepcsia, desinfección, epp
IAAS- EPIDEMIOLOGIA. antisepcsia, desinfección, epp
 
Mapa Conceptual Modelos de Comunicación .pdf
Mapa Conceptual Modelos de Comunicación .pdfMapa Conceptual Modelos de Comunicación .pdf
Mapa Conceptual Modelos de Comunicación .pdf
 
El Gran Atractor, la misteriosa fuerza que está halando a la Vía Láctea.pptx
El Gran Atractor, la misteriosa fuerza que está halando a la Vía Láctea.pptxEl Gran Atractor, la misteriosa fuerza que está halando a la Vía Láctea.pptx
El Gran Atractor, la misteriosa fuerza que está halando a la Vía Láctea.pptx
 
Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.
 
Matemáticas Aplicadas usando Python
Matemáticas Aplicadas   usando    PythonMatemáticas Aplicadas   usando    Python
Matemáticas Aplicadas usando Python
 
1890 –7 de junio - Henry Marmaduke Harris obtuvo una patente británica (Nº 88...
1890 –7 de junio - Henry Marmaduke Harris obtuvo una patente británica (Nº 88...1890 –7 de junio - Henry Marmaduke Harris obtuvo una patente británica (Nº 88...
1890 –7 de junio - Henry Marmaduke Harris obtuvo una patente británica (Nº 88...
 
Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...
Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...
Flores Galindo, A. - La ciudad sumergida. Aristocracia y plebe en Lima, 1760-...
 
Moda colonial de 1810 donde podemos ver las distintas prendas
Moda colonial de 1810 donde podemos ver las distintas prendasModa colonial de 1810 donde podemos ver las distintas prendas
Moda colonial de 1810 donde podemos ver las distintas prendas
 
Schuster, Nicole. - La metrópolis y la arquitectura del poder ayer hoy y mana...
Schuster, Nicole. - La metrópolis y la arquitectura del poder ayer hoy y mana...Schuster, Nicole. - La metrópolis y la arquitectura del poder ayer hoy y mana...
Schuster, Nicole. - La metrópolis y la arquitectura del poder ayer hoy y mana...
 
Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...
Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...
Morgado & Rodríguez (eds.) - Los animales en la historia y en la cultura [201...
 
REINO FUNGI: CONCEPTO, CARACTERISTICAS, ETC
REINO FUNGI: CONCEPTO, CARACTERISTICAS, ETCREINO FUNGI: CONCEPTO, CARACTERISTICAS, ETC
REINO FUNGI: CONCEPTO, CARACTERISTICAS, ETC
 
CUADRO SINOPTICO IV PARCIAL/ TORAX . PDF
CUADRO SINOPTICO IV PARCIAL/ TORAX . PDFCUADRO SINOPTICO IV PARCIAL/ TORAX . PDF
CUADRO SINOPTICO IV PARCIAL/ TORAX . PDF
 
Fresas y sistemas de pulido en odontología
Fresas y sistemas de pulido en odontologíaFresas y sistemas de pulido en odontología
Fresas y sistemas de pulido en odontología
 
CASO CLÍNICO INFECCIONES Y TUMORES.pptx
CASO CLÍNICO INFECCIONES Y TUMORES.pptxCASO CLÍNICO INFECCIONES Y TUMORES.pptx
CASO CLÍNICO INFECCIONES Y TUMORES.pptx
 
Gribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdf
Gribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdfGribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdf
Gribbin, John. - Historia de la ciencia, 1543-2001 [EPL-FS] [2019].pdf
 
Ecuaciones Diferenciales de Primer Orden
Ecuaciones Diferenciales de Primer OrdenEcuaciones Diferenciales de Primer Orden
Ecuaciones Diferenciales de Primer Orden
 
Enfermeria_Geriatrica_TeresaPerezCastro.doc
Enfermeria_Geriatrica_TeresaPerezCastro.docEnfermeria_Geriatrica_TeresaPerezCastro.doc
Enfermeria_Geriatrica_TeresaPerezCastro.doc
 
Mapa-conceptual-de-la-Seguridad-y-Salud-en-el-Trabajo-3.pptx
Mapa-conceptual-de-la-Seguridad-y-Salud-en-el-Trabajo-3.pptxMapa-conceptual-de-la-Seguridad-y-Salud-en-el-Trabajo-3.pptx
Mapa-conceptual-de-la-Seguridad-y-Salud-en-el-Trabajo-3.pptx
 
LOS PRIMEROS PSICÓLOGOS EXPERIMENTALES (1).pdf
LOS PRIMEROS PSICÓLOGOS EXPERIMENTALES (1).pdfLOS PRIMEROS PSICÓLOGOS EXPERIMENTALES (1).pdf
LOS PRIMEROS PSICÓLOGOS EXPERIMENTALES (1).pdf
 
PRESENTACION PRE-DEFENSA PROYECTO I.pptx
PRESENTACION PRE-DEFENSA PROYECTO I.pptxPRESENTACION PRE-DEFENSA PROYECTO I.pptx
PRESENTACION PRE-DEFENSA PROYECTO I.pptx
 

LOGICA PROPOSICIONAL.pptx

  • 2. • Es una parte de la lógica matemática, llamada también «lógica de las proposiciones sin analizar». • Estudia las relaciones entre las proposiciones mediante la conexión lógica de estas. • Trata de la verdad o falsedad de una o varias proposiciones. LÓGICA PROPOSICIONAL PROPOSICIÓN • Es todo enunciado al que se le puede asignar un valor de verdad. Clases de proposiciones: • Proposición simple: es aquella que no está relacionada con otras proposiciones. • Proposición compuesta: es aquella que se forma por dos o más proposiciones unidas por los conectores lógicos.
  • 3. CONECTORES LÓGICOS Son símbolos que unen dos o más proposiciones simples para formar una proposición compuesta. Los conectores lógicos son:
  • 4. CONJUNCIÓN Si p y q son proposiciones, se llama conjunción de p y q a la proposición compuesta “p y q “ y se denota por: p  q DISYUNCIÓN INCLUSIVA Si p y q son proposiciones, se llama disyunción de p y q a la proposición compuesta “p o q” y se denota por: p  q
  • 5. DISYUNCIÓN EXCLUSIVA Si p y q son proposiciones, se llama disyunción exclusiva de p y q a la proposición compuesta “o p o q” y se denota por: p Δ q p q p Δ q V V F V F V F V V F F F CONDICIONAL Si p y q son proposiciones, se llama condicional de p y q a la proposición compuesta “si p, entonces q” y se denota por: p  q p q p → q V V V V F F F V V F F V
  • 6. BICONDICIONAL Si p y q son proposiciones, se llama bicondicional de p y q a la proposición compuesta “ p, si y solo sí q” y se denota por: p ↔ q p q p ↔ q V V V V F F F V F F F V NEGACIÓN Si p es una proposición, entonces “no p” es la negación de p y se denota por: ~ p
  • 7. LEYES DE LA LOGICA PROPOSICIONAL
  • 8. CIRCUITOS LÓGICOS Los circuitos lógicos se utilizan para adoptar decisiones específicas de «verdadero - falso» sobre la base de la presencia de múltiples señales de «verdadero-falso» en las entradas.
  • 9. EJERCICIOS 1. Si la proposición (p   q)   r es falsa, determina el valor de verdad de las siguientes proposiciones: I.  p v (r  q) II. ( q  p)   q III. (q   r)  ( r  p) Solución: Partimos de: (p   q)   r  F V F p   q  V  r  F p  V ; q  F r  V Luego: I. F v (V  F)  F v F  F II. (V  V)  V  V  V  V III. (F  F)  (F  V)  F  F  F Rpta.: FVF 2. Elabora la tabla de verdad de la siguiente proposición compuesta: ( p  q)  ( q  p) Luego, indica si es una tautología, contradicción o contingencia. Solución: 2 proposiciones: p y q Es una contingencia. Rpta.: Contingencia p q (p  q)  (q  p) V V F V V F F F V V F F V F V V V V F V V V V F F F F F F V F F V V F F
  • 10. 3. Simplifica la siguiente proposición compuesta: (q  p) (p  q) v (p  q) Solución: Sabemos que: p  q  p v q   (q v p)  (p v q) v (p v q)   (q v p)  ( p  q) v (p v q)   (q v p)   p)  q v (p v q)   p  q v (p v q)   (p  q) v p  v q)   p v q   (p)   (q)  p  q Rpta.: p  q 4. Indica la proposición compuesta que resulta del siguiente circuito lógico: (q  p) (p  q) v (p  q) Solución: Sabemos que: Circuito en serie: p  q Circuito en paralelo: p v q Luego, la proposición compuesta es: (p v  q)  (p v q) v p  r Rpta.: (p v  q)  (p v q) v p  r