SlideShare uma empresa Scribd logo
1 de 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

Mais conteúdo relacionado

Mais procurados

LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
valefrey1
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]
Victor Alegre
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
Perez Kyria
 

Mais procurados (20)

LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Lógica Mtemática
Lógica MtemáticaLógica Mtemática
Lógica Mtemática
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Implicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfImplicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdf
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Conectivos
ConectivosConectivos
Conectivos
 
4 Sucesiones
4  Sucesiones4  Sucesiones
4 Sucesiones
 
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ó...
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
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
 

Semelhante a 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
 

Semelhante a 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
 

Mais 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
 

Último

Althusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdf
Althusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdfAlthusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdf
Althusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdf
frank0071
 
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
 
Frankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdf
Frankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdfFrankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdf
Frankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdf
frank0071
 
Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.
ChiquinquirMilagroTo
 
Derivadas- sus aplicaciones en la vida cotidiana
Derivadas- sus aplicaciones en la vida cotidianaDerivadas- sus aplicaciones en la vida cotidiana
Derivadas- sus aplicaciones en la vida cotidiana
pabv24
 
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
 

Último (20)

SESION 3º caracteristicas de los seres vivos.pdf
SESION 3º caracteristicas de los seres vivos.pdfSESION 3º caracteristicas de los seres vivos.pdf
SESION 3º caracteristicas de los seres vivos.pdf
 
Glaeser, E. - El triunfo de las ciudades [2011].pdf
Glaeser, E. - El triunfo de las ciudades [2011].pdfGlaeser, E. - El triunfo de las ciudades [2011].pdf
Glaeser, E. - El triunfo de las ciudades [2011].pdf
 
Estructura, propiedades, usos y reacciones del benceno.pptx
Estructura, propiedades, usos y reacciones del benceno.pptxEstructura, propiedades, usos y reacciones del benceno.pptx
Estructura, propiedades, usos y reacciones del benceno.pptx
 
desequilibrio acido baseEE Y TEORIA ACIDO BASICO DE STEWART
desequilibrio acido baseEE Y TEORIA ACIDO BASICO DE STEWARTdesequilibrio acido baseEE Y TEORIA ACIDO BASICO DE STEWART
desequilibrio acido baseEE Y TEORIA ACIDO BASICO DE STEWART
 
Althusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdf
Althusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdfAlthusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdf
Althusser, Louis. - Ideología y aparatos ideológicos de Estado [ocr] [2003].pdf
 
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-...
 
Frankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdf
Frankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdfFrankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdf
Frankel, Hermann. - Poesía y filosofía de la Grecia arcaica [ocr] [1993].pdf
 
Origen y evolución del hombre, teorías..
Origen y evolución del hombre, teorías..Origen y evolución del hombre, teorías..
Origen y evolución del hombre, teorías..
 
ATENCIÓN DEL TRABAJO DE PARTO, GINECOLOGIA Y OBSTETRICIA
ATENCIÓN DEL TRABAJO DE PARTO, GINECOLOGIA Y OBSTETRICIAATENCIÓN DEL TRABAJO DE PARTO, GINECOLOGIA Y OBSTETRICIA
ATENCIÓN DEL TRABAJO DE PARTO, GINECOLOGIA Y OBSTETRICIA
 
Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.Terapia Cognitivo Conductual CAPITULO 2.
Terapia Cognitivo Conductual CAPITULO 2.
 
La Célula, unidad fundamental de la vida
La Célula, unidad fundamental de la vidaLa Célula, unidad fundamental de la vida
La Célula, unidad fundamental de la vida
 
Derivadas- sus aplicaciones en la vida cotidiana
Derivadas- sus aplicaciones en la vida cotidianaDerivadas- sus aplicaciones en la vida cotidiana
Derivadas- sus aplicaciones en la vida cotidiana
 
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...
 
PRUEBA CALIFICADA 4º sec biomoleculas y bioelementos .docx
PRUEBA CALIFICADA 4º sec biomoleculas y bioelementos .docxPRUEBA CALIFICADA 4º sec biomoleculas y bioelementos .docx
PRUEBA CALIFICADA 4º sec biomoleculas y bioelementos .docx
 
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
 
Ocaña, Diego de. - Viaje por el Nuevo Mundo - De Guadalupe a Potosí, 1599-16...
Ocaña, Diego de. - Viaje por el Nuevo Mundo - De Guadalupe a Potosí, 1599-16...Ocaña, Diego de. - Viaje por el Nuevo Mundo - De Guadalupe a Potosí, 1599-16...
Ocaña, Diego de. - Viaje por el Nuevo Mundo - De Guadalupe a Potosí, 1599-16...
 
Homo Ergaster. Evolución y datos del hominido
Homo Ergaster. Evolución y datos del hominidoHomo Ergaster. Evolución y datos del hominido
Homo Ergaster. Evolución y datos del hominido
 
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...
 
Enfermeria_Geriatrica_TeresaPerezCastro.doc
Enfermeria_Geriatrica_TeresaPerezCastro.docEnfermeria_Geriatrica_TeresaPerezCastro.doc
Enfermeria_Geriatrica_TeresaPerezCastro.doc
 
hipotalamo hipofisis clase de endocrinología
hipotalamo hipofisis clase de endocrinologíahipotalamo hipofisis clase de endocrinología
hipotalamo hipofisis clase de endocrinología
 

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