SlideShare una empresa de Scribd logo
1 de 4
Descargar para leer sin conexión
ALGEBRA I

                                   PRÁCTICO DE LÓGICA


1. Determinar los valores de verdad de las proposiciones simples p, q y r; si el valor de
   verdad de la siguiente fórmula proposicional:

    [(p  q)  (p  r)] es verdadera.

2. Si se conoce que el valor de verdad de [ p  ( q  r ) ] es verdadero, determinar el valor
   de verdad de la siguiente fórmula proposicional:

                      [  (p   q)  (  p  r)]    r  q)
3. Si se conoce que el valor de verdad de ( p  q ) es verdadero y que el valor de verdad de
   ( q  r ) es falso, determinar el valor de verdad de la siguiente fórmula proposicional:

                      [  (p   q)  (  p  r)]    r  q)
4. Si el valor de verdad de ( p  q ) es falso, y además que el valor de verdad de “r” es
   verdadero, determinar el valor de verdad de siguiente fórmula proposicional:

                      [  (p   q)  (  p  r)]    r  q)
5. Realizar las tablas de valores de verdad de la siguientes fórmulas proposicionales:
          a)    [  ( p   q)  (  p  q ) ]
          b)   [  ( p  q)   (p  q ) ]   q
          c)    [ ( p   q)  (  q  p ) ]  [ (  q  p )  q ]
          d)    [  (  p   q)  (  p  q ) ]
6. Determinar la fórmula proposicional F que tiene la siguiente tabla de valores de verdad:

                           p   q        F

                          V V       V
                          V F       V
                          F V       F
                          F F       F
7. Determinar la fórmula proposicional F que tiene la siguiente tabla de valores de verdad:

                           p   q        F

                           V   V        F
                           V   F        F
                           F   V        F
                           F   F        F
                                                                                         1 de 4
8. Simplificar las siguientes fórmulas proposicionales, justificar cada paso y clasificar:

            a)   (qp)[(pq)]
            b)   (pq) [(pq)]
            c)   [ (p  q)   p ]  q
            d)   [(p(pq))](qp)
            e)   [p(pq)]q
            f)   [(p q)q] p
            g)   (pq)[(pq) (pr)]
            h)   (qp)[( pq)(q p)]

9. Simplificar los siguientes circuitos lógicos:




10. Simbolizar y dar una demostración formal completa a los razonamientos siguientes:


       a)
            1)   ( a  10 )  ( a = 8 )
            2)   (a2)(a=3)
            3)   ( a = 2 )   [  3a – 2 = 15 )  ( a = 8 ) ]
            4)   ( 3 a – 2  1 5 )  ( a = 10 )

                 (a = 3)  (8 > a )



                                                                                             2 de 4
b)
     1) Si Carlos consigue trabajo, entonces comprará un auto.
     2) Si Carlos compra un auto, entonces no conducirá con cuidado.
     3) Si Carlos no conduce con cuidado tendrá un accidente.

          Si Carlos consigue trabajo, entonces tendrá un accidente.

c)
     1) Si es un excelente curso, entonces vale la pena tomarlo.
     2) Si vale la pena tomarlo, entonces aprenderé mucho.
     3) Si aprendo mucho, entonces aprobaré el curso.

          Por tanto, si es un excelente curso, entonces no aprobaré dicho curso.

d)
     1)   pq
     2)   ( p  q)  ( s  q )
     3)   (pq)(sq)
     4)   s
          qs

e)
     1)   Si los precios no son altos, entonces los salarios son ínfimos.
     2)   Los precios no son altos o no hay control de precios.
     3)   Hay inflación cuando no hay control de precios.
     4)   No hay inflación.

          Por tanto, los salarios son ínfimos.

f)
     1) Si es un excelente curso, entonces vale la pena tomarlo.
     2) Las calificaciones no son imparciales o no vale la pena tomar el curso.
     3) Las calificaciones son imparciales.

          Por tanto, no es un excelente curso.

g)
     1)   q  p
     2)   t
     3)   pr
     4)   qt

          r




                                                                                   3 de 4
h)
     1) p   q
     2)  r  q
     3)  s   q

          (p   s)  r

i)
     1)   (x5 y5)  (x  y)
     2)   ( x+20) (x 5)
     3)   ( y+20) (y5)
     4)   ( x+20) ( y+20)

          (x = 5)  (x  y )

j)
     1)   q  r
     2)    (pq)
     3)   p  r
     4)   sr

          s




                                 4 de 4

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Esquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uniEsquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uni
 
Guía 3 Cálculo III
Guía 3 Cálculo IIIGuía 3 Cálculo III
Guía 3 Cálculo III
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Introduccion a la teoria de polinomios ccesa007
Introduccion a la teoria de polinomios  ccesa007Introduccion a la teoria de polinomios  ccesa007
Introduccion a la teoria de polinomios ccesa007
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Exposicion 4 Ejemplo De GraficacióN De FuncióN Logaritmica
Exposicion 4 Ejemplo De GraficacióN De FuncióN LogaritmicaExposicion 4 Ejemplo De GraficacióN De FuncióN Logaritmica
Exposicion 4 Ejemplo De GraficacióN De FuncióN Logaritmica
 
1446701938 84 _deber252_b1
1446701938 84 _deber252_b11446701938 84 _deber252_b1
1446701938 84 _deber252_b1
 
Gradiente
GradienteGradiente
Gradiente
 
Ejercicios analisis 2do corte
Ejercicios analisis 2do corteEjercicios analisis 2do corte
Ejercicios analisis 2do corte
 
Prueba 1
Prueba 1Prueba 1
Prueba 1
 
Función potencia
Función potenciaFunción potencia
Función potencia
 
Hoja de trabajo sesión 03,Ejercicios plano tangente, derivada direccional y g...
Hoja de trabajo sesión 03,Ejercicios plano tangente, derivada direccional y g...Hoja de trabajo sesión 03,Ejercicios plano tangente, derivada direccional y g...
Hoja de trabajo sesión 03,Ejercicios plano tangente, derivada direccional y g...
 
3º examen formativo 2012 iii
3º examen formativo 2012 iii3º examen formativo 2012 iii
3º examen formativo 2012 iii
 
Función Logaritmica
Función LogaritmicaFunción Logaritmica
Función Logaritmica
 
Img 0001
Img 0001Img 0001
Img 0001
 
Función Logarítmica
Función LogarítmicaFunción Logarítmica
Función Logarítmica
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
 
Operadores matemáticos 1
Operadores matemáticos 1Operadores matemáticos 1
Operadores matemáticos 1
 
Analisis de fourier
Analisis de fourierAnalisis de fourier
Analisis de fourier
 
Estudio funcion logaritmica
Estudio funcion logaritmicaEstudio funcion logaritmica
Estudio funcion logaritmica
 

Similar a Practico logica 2010

Similar a Practico logica 2010 (20)

Logica a2 propues
Logica a2 propuesLogica a2 propues
Logica a2 propues
 
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
 
Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]
Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]
Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]
 
Razonamiento logico
Razonamiento logicoRazonamiento logico
Razonamiento logico
 
Ptofijonewton2 variables
Ptofijonewton2 variablesPtofijonewton2 variables
Ptofijonewton2 variables
 
Matemática básica logica y conjuntos
Matemática básica logica y conjuntosMatemática básica logica y conjuntos
Matemática básica logica y conjuntos
 
Taller matematico 3 - Lógica Avanzada
Taller matematico 3 - Lógica AvanzadaTaller matematico 3 - Lógica Avanzada
Taller matematico 3 - Lógica Avanzada
 
Asignacion
AsignacionAsignacion
Asignacion
 
Proposiciones, Estructuras discretas
Proposiciones, Estructuras discretas Proposiciones, Estructuras discretas
Proposiciones, Estructuras discretas
 
0. problemas de algebra
0.   problemas de algebra0.   problemas de algebra
0. problemas de algebra
 
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
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
Estructura alexxavier barco
Estructura alexxavier barcoEstructura alexxavier barco
Estructura alexxavier barco
 
A excelencia 2019_ii_pdf
A excelencia 2019_ii_pdfA excelencia 2019_ii_pdf
A excelencia 2019_ii_pdf
 
Funcion lineal
Funcion linealFuncion lineal
Funcion lineal
 
C4_Leyes Logicas_def.pdf
C4_Leyes Logicas_def.pdfC4_Leyes Logicas_def.pdf
C4_Leyes Logicas_def.pdf
 
Problemas1
Problemas1Problemas1
Problemas1
 
Repaso logica
Repaso logicaRepaso logica
Repaso logica
 
Estructura hugo
Estructura hugoEstructura hugo
Estructura hugo
 
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
 

Más de Pablo Gandarilla C.

Más de Pablo Gandarilla C. (20)

Segunda ley de la termodinamica
Segunda ley de la termodinamicaSegunda ley de la termodinamica
Segunda ley de la termodinamica
 
Sistema abierto estado flujo uniforme
Sistema abierto estado flujo uniformeSistema abierto estado flujo uniforme
Sistema abierto estado flujo uniforme
 
Isomeria 2016
Isomeria 2016Isomeria 2016
Isomeria 2016
 
Química orgánica recopilacion
Química orgánica recopilacionQuímica orgánica recopilacion
Química orgánica recopilacion
 
Tabla periodica recopilación
Tabla periodica recopilaciónTabla periodica recopilación
Tabla periodica recopilación
 
Qmc org estructura atómica
Qmc org estructura atómicaQmc org estructura atómica
Qmc org estructura atómica
 
Cuestionario qmc org 2015
Cuestionario qmc org 2015Cuestionario qmc org 2015
Cuestionario qmc org 2015
 
Introducción a las operaciones unitarias
Introducción a las operaciones unitariasIntroducción a las operaciones unitarias
Introducción a las operaciones unitarias
 
Funciones Orgánicas Recopilación
Funciones Orgánicas RecopilaciónFunciones Orgánicas Recopilación
Funciones Orgánicas Recopilación
 
Recopilacion hidrocarburos
Recopilacion hidrocarburosRecopilacion hidrocarburos
Recopilacion hidrocarburos
 
Introducción a la Termodinamica
Introducción a la TermodinamicaIntroducción a la Termodinamica
Introducción a la Termodinamica
 
Prac complejos
Prac complejosPrac complejos
Prac complejos
 
Practico 3 y 4 algebra i
Practico 3 y 4 algebra iPractico 3 y 4 algebra i
Practico 3 y 4 algebra i
 
Práctico de termodinámica 3 2011
Práctico de termodinámica 3 2011Práctico de termodinámica 3 2011
Práctico de termodinámica 3 2011
 
Termodinámica
Termodinámica Termodinámica
Termodinámica
 
Práctico 1 termo 2011
Práctico 1 termo 2011Práctico 1 termo 2011
Práctico 1 termo 2011
 
Termodinámica cuestionario
Termodinámica cuestionarioTermodinámica cuestionario
Termodinámica cuestionario
 
Practico pre u
Practico pre  uPractico pre  u
Practico pre u
 
Practico algebra i_conjuntos
Practico algebra i_conjuntosPractico algebra i_conjuntos
Practico algebra i_conjuntos
 
Mecanica de fluidos 2010 01
Mecanica de fluidos 2010 01Mecanica de fluidos 2010 01
Mecanica de fluidos 2010 01
 

Último

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
 
PINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).ppt
PINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).pptPINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).ppt
PINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).pptAlberto Rubio
 
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
 
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)veganet
 
DETALLES EN EL DISEÑO DE INTERIOR
DETALLES EN EL DISEÑO DE INTERIORDETALLES EN EL DISEÑO DE INTERIOR
DETALLES EN EL DISEÑO DE INTERIORGonella
 
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
 
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfTarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfManuel Molina
 
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
 
PROGRAMACION ANUAL DE MATEMATICA 2024.docx
PROGRAMACION ANUAL DE MATEMATICA 2024.docxPROGRAMACION ANUAL DE MATEMATICA 2024.docx
PROGRAMACION ANUAL DE MATEMATICA 2024.docxEribertoPerezRamirez
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
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
 
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOTUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOweislaco
 
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxLINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxdanalikcruz2000
 
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdfOswaldoGonzalezCruz
 
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO  ambientes .docxCIENCIAS NATURALES 4 TO  ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docxAgustinaNuez21
 
Manejo del Dengue, generalidades, actualización marzo 2024 minsa
Manejo del Dengue, generalidades, actualización marzo 2024 minsaManejo del Dengue, generalidades, actualización marzo 2024 minsa
Manejo del Dengue, generalidades, actualización marzo 2024 minsaLuis Minaya
 

Último (20)

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
 
PINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).ppt
PINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).pptPINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).ppt
PINTURA ITALIANA DEL CINQUECENTO (SIGLO XVI).ppt
 
DIA INTERNACIONAL DAS FLORESTAS .
DIA INTERNACIONAL DAS FLORESTAS         .DIA INTERNACIONAL DAS FLORESTAS         .
DIA INTERNACIONAL DAS FLORESTAS .
 
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
 
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
Instrucciones para la aplicacion de la PAA-2024b - (Mayo 2024)
 
Aedes aegypti + Intro to Coquies EE.pptx
Aedes aegypti + Intro to Coquies EE.pptxAedes aegypti + Intro to Coquies EE.pptx
Aedes aegypti + Intro to Coquies EE.pptx
 
DETALLES EN EL DISEÑO DE INTERIOR
DETALLES EN EL DISEÑO DE INTERIORDETALLES EN EL DISEÑO DE INTERIOR
DETALLES EN EL DISEÑO DE INTERIOR
 
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...
 
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdfTarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
Tarea 5_ Foro _Selección de herramientas digitales_Manuel.pdf
 
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
 
PROGRAMACION ANUAL DE MATEMATICA 2024.docx
PROGRAMACION ANUAL DE MATEMATICA 2024.docxPROGRAMACION ANUAL DE MATEMATICA 2024.docx
PROGRAMACION ANUAL DE MATEMATICA 2024.docx
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
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
 
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdfTema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
 
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJOTUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
TUTORIA II - CIRCULO DORADO UNIVERSIDAD CESAR VALLEJO
 
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxLINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
 
La luz brilla en la oscuridad. Necesitamos luz
La luz brilla en la oscuridad. Necesitamos luzLa luz brilla en la oscuridad. Necesitamos luz
La luz brilla en la oscuridad. Necesitamos luz
 
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
5° SEM29 CRONOGRAMA PLANEACIÓN DOCENTE DARUKEL 23-24.pdf
 
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO  ambientes .docxCIENCIAS NATURALES 4 TO  ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docx
 
Manejo del Dengue, generalidades, actualización marzo 2024 minsa
Manejo del Dengue, generalidades, actualización marzo 2024 minsaManejo del Dengue, generalidades, actualización marzo 2024 minsa
Manejo del Dengue, generalidades, actualización marzo 2024 minsa
 

Practico logica 2010

  • 1. ALGEBRA I PRÁCTICO DE LÓGICA 1. Determinar los valores de verdad de las proposiciones simples p, q y r; si el valor de verdad de la siguiente fórmula proposicional: [(p  q)  (p  r)] es verdadera. 2. Si se conoce que el valor de verdad de [ p  ( q  r ) ] es verdadero, determinar el valor de verdad de la siguiente fórmula proposicional:  [  (p   q)  (  p  r)]    r  q) 3. Si se conoce que el valor de verdad de ( p  q ) es verdadero y que el valor de verdad de ( q  r ) es falso, determinar el valor de verdad de la siguiente fórmula proposicional:  [  (p   q)  (  p  r)]    r  q) 4. Si el valor de verdad de ( p  q ) es falso, y además que el valor de verdad de “r” es verdadero, determinar el valor de verdad de siguiente fórmula proposicional:  [  (p   q)  (  p  r)]    r  q) 5. Realizar las tablas de valores de verdad de la siguientes fórmulas proposicionales: a)  [  ( p   q)  (  p  q ) ] b) [  ( p  q)   (p  q ) ]   q c)  [ ( p   q)  (  q  p ) ]  [ (  q  p )  q ] d)  [  (  p   q)  (  p  q ) ] 6. Determinar la fórmula proposicional F que tiene la siguiente tabla de valores de verdad: p q F V V V V F V F V F F F F 7. Determinar la fórmula proposicional F que tiene la siguiente tabla de valores de verdad: p q F V V F V F F F V F F F F 1 de 4
  • 2. 8. Simplificar las siguientes fórmulas proposicionales, justificar cada paso y clasificar: a) (qp)[(pq)] b) (pq) [(pq)] c) [ (p  q)   p ]  q d) [(p(pq))](qp) e) [p(pq)]q f) [(p q)q] p g) (pq)[(pq) (pr)] h) (qp)[( pq)(q p)] 9. Simplificar los siguientes circuitos lógicos: 10. Simbolizar y dar una demostración formal completa a los razonamientos siguientes: a) 1) ( a  10 )  ( a = 8 ) 2) (a2)(a=3) 3) ( a = 2 )   [  3a – 2 = 15 )  ( a = 8 ) ] 4) ( 3 a – 2  1 5 )  ( a = 10 ) (a = 3)  (8 > a ) 2 de 4
  • 3. b) 1) Si Carlos consigue trabajo, entonces comprará un auto. 2) Si Carlos compra un auto, entonces no conducirá con cuidado. 3) Si Carlos no conduce con cuidado tendrá un accidente. Si Carlos consigue trabajo, entonces tendrá un accidente. c) 1) Si es un excelente curso, entonces vale la pena tomarlo. 2) Si vale la pena tomarlo, entonces aprenderé mucho. 3) Si aprendo mucho, entonces aprobaré el curso. Por tanto, si es un excelente curso, entonces no aprobaré dicho curso. d) 1) pq 2) ( p  q)  ( s  q ) 3) (pq)(sq) 4) s qs e) 1) Si los precios no son altos, entonces los salarios son ínfimos. 2) Los precios no son altos o no hay control de precios. 3) Hay inflación cuando no hay control de precios. 4) No hay inflación. Por tanto, los salarios son ínfimos. f) 1) Si es un excelente curso, entonces vale la pena tomarlo. 2) Las calificaciones no son imparciales o no vale la pena tomar el curso. 3) Las calificaciones son imparciales. Por tanto, no es un excelente curso. g) 1) q  p 2) t 3) pr 4) qt r 3 de 4
  • 4. h) 1) p   q 2)  r  q 3)  s   q (p   s)  r i) 1) (x5 y5)  (x  y) 2) ( x+20) (x 5) 3) ( y+20) (y5) 4) ( x+20) ( y+20) (x = 5)  (x  y ) j) 1) q  r 2)  (pq) 3) p  r 4) sr s 4 de 4