SlideShare una empresa de Scribd logo
1 de 14
Cuestionario
1.- Escriba en forma simbólica los siguientes enunciados:
a) Si las exportaciones disminuyen entonces bajarán las utilidades.
p= las exportaciones disminuyen
q= bajarán las utilidades
p ---> q
b) Los precios son altos si y solo sí los costos aumentan.
p= los precios son altos
q= los costos aumentan
p <---> q
c) Si la producción aumenta entonces bajarán los precios.
p= la producción aumenta
q= bajarán los precios
p ---> q
d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa.
p= aumenta la demanda
q= aumenta la oferta
p ---> q
e) Si la contaminación aumenta entonces existirá restricción vehicular adicional.
p= la contaminación aumenta
q= existirá restricción vehicular
p ---> q
2.- Si p y r son proposiciones verdaderas y q es falsa, determine el valor de
verdad de:
a)
p q r
V V V F F F F V
V V F F V F V V
V F V V F V V F
V F F V V V V F
F V V F F F F V
F V F F V F V V
F F V V F F F V
F F F V V F V F
b)
p q r
V V V V F V F V F
V V F V V F F F F
V F V F F V F F V
V F F V V F F F F
F V V V F V V V F
F V F V V V V V V
F F V F F V V F V
F F F V V V V V V
c)
p q r
V V V F F V F F V V
V V F F V V F V V V
V F V V F V F F V V
V F F V V V F V F V
F V V F F V V F V V
F V F F V V V V V V
F F V V F F V V V V
F F F V V F V V F V
3) ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición
sea:
a)
p q
V V F V F F V
V F V F F V V
F V F F F F V
F F V V V F F
b)
p q r
V V V F F F V F V V
V V F F F V V V V V
V F V F V F V F V V
V F F F V V V V F V
F V V V F F V F V V
F V F V F V V V V V
F F V V V F F V V V
F F F V V V F V F V
La proposición resultante es una tautología. Entonces no existe ninguna
condición para que p,q y r hagan falsa dicha proposición.
c)
p q
V V F V F V F
V F F V F F F
F V V V V F F
F F V F F V F
La proposición resultante es una contradicción así que no existe condición
alguna para que p, q y r hagan falsa dicha proposición.
4) ¿Cuál de las siguientes proposiciones son lógicamente equivalentes a…?
p q r  p  q  p v  q  q  r
T T T F F F F
T T F F F F F
T F T F T T T
T F F F T T F
F T T T F T F
F T F T F T F
F F T T T T T
F F F T T T F
a b c
p    q  r ) p  q ( p  q )  r p   q ( p   q   r
F T T F F
F T F F F
T F F T T
F F F T F
T T T T T
T T F T F
T T T T T
T T F T F
   p v  q   r    p v  q   r    p v  q   r
F F F
F F F
T T T
F F F
T T T
F F F
T T T
F F F
El único equivalente lógico es la C.
5) Si la proposición p es verdadera y la proposición q es falsa, entonces de las
siguientes afirmaciones es o son correctas:
I. Falsa
II. Verdadera
III. Falsa
p q
V V F V V V
V F F F F F
F V V V F V
F F V V V V
6) La negación de la proposición p v q es:
p q p v q
V V F F V
V F F V V
F V V F V
F F V V F
I)
V
F
V
V
II)
F
F
F
V
La opción II es la negación.
III)
F
V
V
V
7) Sean p y q dos proposiciones distintas, si (p v q) es falsa entonces:
a) p es verdadera y q es falsa
b) p es verdadera y q es falsa
c) p es falsa y q es falsa
d) p es falsa y q es verdadera
e) Ninguna de las anteriores
p q p v q
V V V
V F V
F V V
F F F
8) Si la proposición p es verdadera (V) y la proposición q es verdadera (V). De
las expresiones siguientes cuál es o son correctas:
p q p v q
V V F V V V F
V F F F F V F
F V V V F V V
F F V V F F F
Solamente la respuesta a) es correcta.
9)Dadas las proposiciones: p= José es rico; q= José es avaro. La proposición
simbólica que expresa: “Si José es rico, entonces es avaro”
R= p---> q
10) Construir las tablas de valores y verificar cuales de ellas son tautologías.
a)
p q
V V F F V V V
V F V V F F V
F V F F V V V
F F V F V V V
Es una tautología.
b)
p q
V V F F V V V
V F F V F V F
F V V F V F F
F F V V V V V
No es una tautología.
II.- Tautología, contingencia o contradicción.
Demuestre por medio de las tablas de la verdad si las siguientes proposiciones son
tautología (T), contingencia (K) o contradicción (C):
p q
V V F F V F V
V F F V F F V
F V V F V V F
F F V V V V V
La función es indeterminada
p q r p v q
V V V V V V V V
V V F V F V V F
V F V V V F V V
V F F V F F F V
F V V V V F V V
F V F V F F F V
F F V F F V V F
F F F F F V V F
La función es indeterminada
31.- Probar que es equivalente con
p q p v q
V V F V F F V F
V F F V F F F F
F V V V V V V V
F F V F F V V V
La función es indeterminada
32.- Transformar la proposición:
contenga los conectivos
en otra equivalente que solo
p q r
V V V F V F F F
V V F F V F F F
V F V V V F F F
V F F V F V V V
F V V F V F V V
F V F F V F V V
F F V V V F V V
F F F V F V V V
La función es indeterminada
VI. Simplificar
Simplifique las siguientes equivalencias utilizando
teoremas de lógica.
las propiedades o
( p  q)  (  p  r) ≡  p  (qr)
[(p . q)  (p  q)] ≡ (p  q)
F3 ≡ (p  q)
Verdadero ≠ (p  q) No son equivalentes
[(p  q)  (q  p)] ≡  (q  p)
pq= q  p con lo cual esta demostrado el ejercicio
( ( (p.-q) + (p.r) )  (q.r) ) ≡  (  (p  q) )
( -p + q ) ≡-p + q
 p  q = p  q con lo cual está demostrado el ejercicio
[p  q] ≡ q  p)
 p  q = q   p con lo cual está demostrado el ejercicio
[( (p  q))  r] ≡ [ [(p  q)  r]]
((p . q) + r) ≡ ((p . q) + r) con lo cual queda demostrado el ejercicio

Más contenido relacionado

La actualidad más candente

LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALCESAR V
 
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 Jomar Burgos Palacios
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógicaMarco Alberca
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Felipe Vega
 
3 er examen de control ciclo 2014 ii-unjfsc
3 er examen de control ciclo 2014 ii-unjfsc3 er examen de control ciclo 2014 ii-unjfsc
3 er examen de control ciclo 2014 ii-unjfscColegio
 
Lógica de enunciados
Lógica de enunciadosLógica de enunciados
Lógica de enunciadoselenavise
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltosTata Virgüez
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
Fábula De Polifemo Y Galatea
Fábula De Polifemo Y GalateaFábula De Polifemo Y Galatea
Fábula De Polifemo Y Galatealos6delite
 
Raíces Griegas
Raíces Griegas Raíces Griegas
Raíces Griegas LissieRiera
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
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
 

La actualidad más candente (20)

LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
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
 
Razonamientos
RazonamientosRazonamientos
Razonamientos
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógica
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
3 er examen de control ciclo 2014 ii-unjfsc
3 er examen de control ciclo 2014 ii-unjfsc3 er examen de control ciclo 2014 ii-unjfsc
3 er examen de control ciclo 2014 ii-unjfsc
 
Lógica
LógicaLógica
Lógica
 
Lógica de enunciados
Lógica de enunciadosLógica de enunciados
Lógica de enunciados
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Fábula De Polifemo Y Galatea
Fábula De Polifemo Y GalateaFábula De Polifemo Y Galatea
Fábula De Polifemo Y Galatea
 
Raíces Griegas
Raíces Griegas Raíces Griegas
Raíces Griegas
 
Matematica i
Matematica  iMatematica  i
Matematica i
 
la-divina-comedia-preguntas-2
 la-divina-comedia-preguntas-2 la-divina-comedia-preguntas-2
la-divina-comedia-preguntas-2
 
Razonamiento logico
Razonamiento logicoRazonamiento logico
Razonamiento logico
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Semana 3
Semana 3Semana 3
Semana 3
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivas
 

Similar a Trabajo 1 algebra

Similar a Trabajo 1 algebra (20)

Práctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRTPráctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRT
 
P1 nociones de lógica - solución
P1   nociones de lógica  - soluciónP1   nociones de lógica  - solución
P1 nociones de lógica - solución
 
Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Ppts 2-tablas de verdad - t-c-c1
Ppts 2-tablas de verdad - t-c-c1Ppts 2-tablas de verdad - t-c-c1
Ppts 2-tablas de verdad - t-c-c1
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica
LogicaLogica
Logica
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
P1 nociones de lógica - solución
P1   nociones de lógica  - soluciónP1   nociones de lógica  - solución
P1 nociones de lógica - solución
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
logica1_ejercicios_resueltos6.pdf
logica1_ejercicios_resueltos6.pdflogica1_ejercicios_resueltos6.pdf
logica1_ejercicios_resueltos6.pdf
 
Introducción al pensamiento matemático
Introducción al pensamiento matemático Introducción al pensamiento matemático
Introducción al pensamiento matemático
 
Algebra de proposiciones
Algebra de proposicionesAlgebra de proposiciones
Algebra de proposiciones
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Ejercicios. Tema 1. J
Ejercicios. Tema 1. JEjercicios. Tema 1. J
Ejercicios. Tema 1. J
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Segundactividalber
SegundactividalberSegundactividalber
Segundactividalber
 

Último

International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)GDGSucre
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx241521559
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan JosephBRAYANJOSEPHPEREZGOM
 
Trabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíaTrabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíassuserf18419
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITMaricarmen Sánchez Ruiz
 
Presentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptxPresentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptxLolaBunny11
 
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...silviayucra2
 
EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveFagnerLisboa3
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricKeyla Dolores Méndez
 
Desarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdfDesarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdfJulian Lamprea
 

Último (10)

International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Joseph
 
Trabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíaTrabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnología
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNIT
 
Presentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptxPresentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptx
 
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
 
EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial Uninove
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
 
Desarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdfDesarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdf
 

Trabajo 1 algebra

  • 1. Cuestionario 1.- Escriba en forma simbólica los siguientes enunciados: a) Si las exportaciones disminuyen entonces bajarán las utilidades. p= las exportaciones disminuyen q= bajarán las utilidades p ---> q b) Los precios son altos si y solo sí los costos aumentan. p= los precios son altos q= los costos aumentan p <---> q c) Si la producción aumenta entonces bajarán los precios. p= la producción aumenta q= bajarán los precios p ---> q d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa. p= aumenta la demanda q= aumenta la oferta p ---> q e) Si la contaminación aumenta entonces existirá restricción vehicular adicional. p= la contaminación aumenta q= existirá restricción vehicular p ---> q
  • 2. 2.- Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de: a) p q r V V V F F F F V V V F F V F V V V F V V F V V F V F F V V V V F F V V F F F F V F V F F V F V V F F V V F F F V F F F V V F V F b) p q r V V V V F V F V F V V F V V F F F F V F V F F V F F V V F F V V F F F F F V V V F V V V F F V F V V V V V V F F V F F V V F V F F F V V V V V V c) p q r V V V F F V F F V V V V F F V V F V V V V F V V F V F F V V V F F V V V F V F V F V V F F V V F V V F V F F V V V V V V F F V V F F V V V V F F F V V F V V F V
  • 3. 3) ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea: a) p q V V F V F F V V F V F F V V F V F F F F V F F V V V F F b) p q r V V V F F F V F V V V V F F F V V V V V V F V F V F V F V V V F F F V V V V F V F V V V F F V F V V F V F V F V V V V V F F V V V F F V V V F F F V V V F V F V La proposición resultante es una tautología. Entonces no existe ninguna condición para que p,q y r hagan falsa dicha proposición. c) p q V V F V F V F V F F V F F F F V V V V F F F F V F F V F La proposición resultante es una contradicción así que no existe condición alguna para que p, q y r hagan falsa dicha proposición.
  • 4. 4) ¿Cuál de las siguientes proposiciones son lógicamente equivalentes a…? p q r  p  q  p v  q  q  r T T T F F F F T T F F F F F T F T F T T T T F F F T T F F T T T F T F F T F T F T F F F T T T T T F F F T T T F a b c p    q  r ) p  q ( p  q )  r p   q ( p   q   r F T T F F F T F F F T F F T T F F F T F T T T T T T T F T F T T T T T T T F T F    p v  q   r    p v  q   r    p v  q   r F F F F F F T T T F F F T T T F F F T T T F F F
  • 5. El único equivalente lógico es la C. 5) Si la proposición p es verdadera y la proposición q es falsa, entonces de las siguientes afirmaciones es o son correctas: I. Falsa II. Verdadera III. Falsa p q V V F V V V V F F F F F F V V V F V F F V V V V 6) La negación de la proposición p v q es: p q p v q V V F F V V F F V V F V V F V F F V V F I) V F V V II) F F F
  • 6. V La opción II es la negación. III) F V V V 7) Sean p y q dos proposiciones distintas, si (p v q) es falsa entonces: a) p es verdadera y q es falsa b) p es verdadera y q es falsa c) p es falsa y q es falsa d) p es falsa y q es verdadera e) Ninguna de las anteriores p q p v q V V V V F V F V V F F F 8) Si la proposición p es verdadera (V) y la proposición q es verdadera (V). De las expresiones siguientes cuál es o son correctas: p q p v q V V F V V V F V F F F F V F F V V V F V V F F V V F F F Solamente la respuesta a) es correcta.
  • 7. 9)Dadas las proposiciones: p= José es rico; q= José es avaro. La proposición simbólica que expresa: “Si José es rico, entonces es avaro” R= p---> q 10) Construir las tablas de valores y verificar cuales de ellas son tautologías. a) p q V V F F V V V V F V V F F V F V F F V V V F F V F V V V Es una tautología. b) p q V V F F V V V V F F V F V F F V V F V F F F F V V V V V No es una tautología. II.- Tautología, contingencia o contradicción. Demuestre por medio de las tablas de la verdad si las siguientes proposiciones son tautología (T), contingencia (K) o contradicción (C): p q V V F F V F V V F F V F F V F V V F V V F F F V V V V V La función es indeterminada
  • 8. p q r p v q V V V V V V V V V V F V F V V F V F V V V F V V V F F V F F F V F V V V V F V V F V F V F F F V F F V F F V V F F F F F F V V F La función es indeterminada 31.- Probar que es equivalente con p q p v q V V F V F F V F V F F V F F F F F V V V V V V V F F V F F V V V La función es indeterminada 32.- Transformar la proposición: contenga los conectivos en otra equivalente que solo p q r V V V F V F F F V V F F V F F F V F V V V F F F V F F V F V V V F V V F V F V V F V F F V F V V F F V V V F V V F F F V F V V V
  • 9. La función es indeterminada VI. Simplificar Simplifique las siguientes equivalencias utilizando teoremas de lógica. las propiedades o
  • 10.
  • 11. ( p  q)  (  p  r) ≡  p  (qr) [(p . q)  (p  q)] ≡ (p  q) F3 ≡ (p  q) Verdadero ≠ (p  q) No son equivalentes [(p  q)  (q  p)] ≡  (q  p)
  • 12. pq= q  p con lo cual esta demostrado el ejercicio ( ( (p.-q) + (p.r) )  (q.r) ) ≡  (  (p  q) )
  • 13. ( -p + q ) ≡-p + q  p  q = p  q con lo cual está demostrado el ejercicio [p  q] ≡ q  p)
  • 14.  p  q = q   p con lo cual está demostrado el ejercicio [( (p  q))  r] ≡ [ [(p  q)  r]] ((p . q) + r) ≡ ((p . q) + r) con lo cual queda demostrado el ejercicio