SlideShare una empresa de Scribd logo
 
 Anamelba Espíritu Rodriguez
2 de Secundaria A-B-C-D
I. E. 2026- SAN DIEGO
Contenido
1. Lógica Proposicional
2. Simbolización y valoración de proposiciones
3. Ejercicios aplicativos
Objetivo
• Presentar los conceptos básicos de la lógica
proposicional.
• Analiza y resuelve problemas
matemáticos de su entorno aplicando
reglas, principios e inferencias
relacionados a la Lógica Proposicional .
Capacidad
Lógica Proposicional
 La lógica es la rama del conocimiento que trata los
modelos de razonamiento, mediante reglas y técnicas,
con el fin de determinar si un argumento dado es válido.
El tema que nos ocupa es el de la lógica usada en
matemáticas. Aquí trabajamos con elementos básicos
llamados Proposiciones.
 Enunciado: Es toda expresión lingüística, que
constituye una frase u oración.
 Proposición: Enunciado que puede ser falso o
verdadero pero no ambas a la vez. La proposición es un
elemento fundamental de la lógica matemática. La
verdad o falsedad de una proposición es lo que se llama
su valor de verdad.
Ejemplos
 Son proposiciones lógicas:
 Orlando y Ana van a estudiar en la USS.
 Orlando llamó a Ana para salir.
 El autobús pasa a las siete.
 Mañana lloverá.
 Chimbote está entre Trujillo y Casma.
 El IFB forma profesionales para desempeñarse en las entidades
bancarias.
 No son proposiciones lógicas:
 ¡Siéntate!
 ¿Cuándo sale el autobús?
 ¿Fueron a pescar Orlando y Ana finalmente?
 Las creencias, mitos o leyendas. Así como:“Dios es un ser
misericordioso” “Manco Cápac y Mama Ocllo fueron enviados por el
sol”
 Las metáforas o refranes. Así como: “El Perú es un mendigo sentado en
un banco de oro”. “Has el bien, sin mirar a quién”
 Las supersticiones. Así como: “Hoy día me irá muy mal por ser Martes
13” “Pase por debajo de una escalera”
SIMBOLIZACIÓN Y VALORACIÓN DE PROPOSICIONES
 Según los datos históricos, Aristóteles introdujo las letras como:
p, q, r, etc., con la finalidad de representar a cada proposición
declarativa.
 Las variables proposicionales sólo pueden asumir los
valores de verdad (V) o falsedad (F).
Así tenemos:
Para dos proposiciones: p, q se tiene la siguiente tabla de verdad:
p q .. p q ..
V V 1 1
V F ó 1 0
F V 0 1
F F 0 0
SIMBOLIZACIÓN
Se denominan conectivos lógicos
a aquellas palabras o términos funcionales que ligan,
juntan, unen o enlazan las proposiciones simples
formando proposiciones compuestas. Los operadores o
conectores básicos son:
CONECTIVO SÍMBOLO NOMBRE DE LA PROPOSICIÓN
No ~ Negación
Y ^ Conjunción
o  Disyuntiva inclusiva
o. . . o. . .  Disyuntiva exclusiva
Si… entonces...  Condicional
…si y sólo si …  Bicondicional
Es un conectivo singular. Se denomina proposición
negativa aquella que cambia el valor de la proposición original. Se
denota por: ~p, -p, p y se lee: “no p”. La negación, puede
traducirse como: Es falso que... No es el caso que ... Jamás ...
Ejemplo: p = La luna es un satélite.
~p = No es cierto que la luna es un satélite.
 Conectivos Lógicos:
Negación (~):
Dadas las proposiciones “p”, “q”. La conjunción es el resultado
de unir estas proposiciones con el conectivo lógico “y”. Se
denota con el símbolo: “”, “”, se escribe “p  q”, “p  q” y se
lee: “p y q”. La proposición conjuntiva es verdadera. Cuando
las dos proposiciones son verdaderas. En nuestro lenguaje
podemos emplear: Sin embargo… Aún cuando… No
obstante… Pero, etc.
Ejemplo:
Consideremos las siguientes proposiciones:
p: “La camioneta enciende cuando tiene gasolina en el
tanque”
q: “Tiene corriente la batería”
Entonces:
p  q: “La camioneta enciende cuando tiene gasolina en el
tanque y tiene corriente la batería”
Conjunción:
Es una proposición compuesta formada por “p” y por “q”
relacionadas por el conectivo lógico “o”. Según el sentido del
conectivo “o”, se puede interpretar de dos maneras: inclusiva o
exclusiva.
Disyunción Inclusiva o Débil: Se denota por “p  q”, “p + q”
y se lee: “p o q”. La disyunción inclusiva es falsa sólo en el caso
que ambas proporciones sean falsas. Se conoce como la suma
lógica. Otras formas de conexión que nos indican una
disyunción inclusiva son:
A menos que, Excepto que, O en todo caso, A no ser que, etc.
Ejemplo: Consideremos:
p : “La USS es privada”
q : “La USS es estatal”
Entonces:
p  q: “La USS es privada o en todo caso la USS es estatal”
Disyunción:
Disyunción Exclusiva o Fuerte:
Se denota por: “p  q”, “p V q”, “p  q”, “p q”, “p q” y se lee: “p
o q” pero no ambos. La disyunción exclusiva es verdadera sólo
cuando una de las proposiciones es verdadera. Alguna formas
de conectivos a emplear son:
O ... o ... O bien ... o bien ... ... no equivale a ...
No es cierto que...equivale a... O solo .... o solo ....
Ejemplo: Consideremos:
p : “viajo a España”
q : “viajo a Brasil”
Entonces:
p  q : “O viajo a España o viajo a Brasil”
Proposición compuesta que resulta de la combinación de dos
proposiciones simples, a través del conectivo: “Si ..., entonces
...” y su símbolo es : “”, “”. La notación “p  q”, “p  q” se
lee “Si p , entonces q” ; proposición “p” se llama antecedente o
hipótesis y la proposición “q” se llama consecuente o
conclusión.
La manera de expresar la condicional en el orden
antecedente-consecuente (“p  q” Implicación directa),
son las siguientes:
Si p, entonces q p implica q p por ende q
Puede también expresarse en el orden consecuente-
antecedente (“q  p” Implicación inversa), son:
q siempre que p Sólo cuando p, q q cada vez que p
Condicional:
Ejemplo: consideremos:
p : “Llueva”
q : “Mejorarán las cosechas”
De tal manera que la representación del enunciado anterior usando
simbología lógica queda indicado por:
p  q : “Siempre que llueva entonces mejoraran las cosechas”
q  p : “Mejoraran las cosechas siempre que llueva”
Cuando dos proposiciones están unidas por el conectivo lógico “...
si y sólo si ...”, cuyo símbolo es: “”, “”, “”. La proposición
compuesta se denota por: “p  q”, “p  q”, “p  q” y se lee: “p si y
sólo si q”. La proposición bicondicional solamente es verdadera si
tanto p como q son falsas o bien ambas verdaderas.
También se suele emplear expresiones como:
…siempre y cuando… …por lo cual y según lo cual…
Si y sólo si p, q …es lo mismo que…
Bicondicional:
Ejemplo: Consideremos:
p : “Los bancos dan crédito”
q : “Mirta labora en el IFB”
De tal manera que la representación del enunciado anterior
usando simbología lógica queda indicado por:
p  q : “Los bancos dan crédito siempre y cuando Mirta
labora en el IFB”.
RESUMEN DE TABLAS DE VERDAD
p q ~p p  q p  q p q p q p  q
V V F V F V
V F F F
F V V
F F V F F V
VALORACIÓN DE PROPOSICIONES
Hasta el momento hemos conocido la simbolización de las
proposiciones tanto atómicas como las proposiciones
moleculares. Para determinar los valores de verdad a las
segundas, es necesario tener en cuenta las tablas de verdad
de las proposiciones atómicas ya que, sólo ellas pueden
recibir directamente los valores de verdad. Considere los
siguientes ejemplos:
 Si los alumnos aprueban todos los cursos, entonces
obtienen su bachillerato o su titulo.
Tenemos las proposiciones:
p : “Los alumnos aprueban todos los cursos”
q : “Obtienen su bachillerato”
r : “Su titulo”
Se simboliza:
p  (q  r)
La tabla de verdad para el esquema molecular, esta dado por:
p q r p  (q  r)
V V V V V V
V V F V V V
V F V V V V
V F F V F F
F V V F V V
F V F F V V
F F V F V V
F F F F V F
Contingencia: Aquella expresión, que en su conectivo
principal resulten valores verdaderos y falsos a la vez, para
todas las posibles asignaciones de la tabla de verdad.
La tabla de verdad para el esquema molecular, esta dado por:
p q (p  q)  p q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
Tautología: Una expresión es
tautológica, cuando los valores de
su conectivo principal resultan
ser verdaderos, para todas las
asignaciones posibles de la tabla
de verdad.
 Siempre que salga el sol entonces iremos a la playa, sin
embargo sale el sol. Por tanto iremos a la playa.
Tenemos las proposiciones:
p : “Sale el sol”
q : “Iremos a la playa”
Se simboliza:
(p  q)  p q
La crisis mundial afecta a los países de bajos recursos
económicos pero los analistas en economía buscan
soluciones, a pesar de que la crisis mundial no afecta a los
países de bajos recursos.
Tenemos las proposiciones:
p : “La crisis mundial afecta a los países de bajos
recursos económicos”
q : “Los analistas en economía buscan soluciones”
 p : “La crisis mundial no afecta a los países de
bajos recursos económicos”
(p  q)   p
Se simboliza:
La tabla de verdad para el esquema molecular, esta dado por:
p q (p  q)  p
V V V F F
V F F F F
F V F F V
F F F F V
Contradicción: La expresión resulta ser una contradicción,
cuando los valores de su conectivo principal resultan ser
falsos, para todas las asignaciones posibles de la tabla de
verdad.
Ejercicios Aplicativos
1. No es cierto que no me guste estudiar
2. Me gusta bailar y leer libros de ciencia ficción.
3. Si los gatos de mi hermana no soltaran pelo, me gustaría
acariciarlos.
4. Si y sólo si viera un marciano con mis propios ojos, creería que
hay vida extraterrestre.
5. Cajamarca es una ciudad minera por excelencia de modo que
invertir en minería es la mejor opción.
6. Cuando la producción de una empresa aumenta, en consecuencia
aumenta la productividad y en algunos casos la demanda.
7. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo
para ello y no tengo que ir a trabajar al banco.
 Formaliza las siguientes proposiciones:
Solución
Solución (1):
p = Me gusta estudiar
Se simboliza:
¬(¬p)
Solución (2):
q = Me gusta bailar
r = Me gusta leer libros de ciencia ficciónse
Se simboliza:
q ∧ r
Solución (3):
u = Los gatos de mi hermana sueltan pelo
t = Me gusta acariciar los gatos
Se simboliza:
¬ u  t
Solución (4):
p = Ver un marciano con mis propios ojos
q = Creer en los extraterrestres
Se simboliza:
p ⇔ q
Solución (5):
q = Cajamarca es una ciudad minera por excelencia
p = Invertir en minería es la mejor opción
Se simboliza:
q  p
Solución (6):
p = Cuando la producción de una empresa aumenta
q = Aumenta la productividad
r = En algunos casos la demanda
Se simboliza:
p (q ∧ r)
Solución (7):
s = Prefiero ir de vacaciones
t = Sin hacer nada
p = Tener tiempo para ello
q = Ir a trabajar al banco
Se simboliza:
(p ∧ ¬ q )  (s v t )
LÓGICA PROPOSICIONAL

Más contenido relacionado

La actualidad más candente

OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
Pacheco Huarotto, Luis
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
Reina Sequera
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
GABRIEL PACHECO BARRETO
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
doreligp21041969
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Yerikson Huz
 
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
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
Yanina C.J
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdadverocha66
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
Margarita Patiño
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
Edward Solis
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
Carlos Chavarria
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
Celso Rodriguez P
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Conectivos lógicos silviacardozo
Conectivos lógicos silviacardozoConectivos lógicos silviacardozo
Conectivos lógicos silviacardozo
Silvia Janeth Cardozo Rocha
 

La actualidad más candente (20)

OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Conectivos
ConectivosConectivos
Conectivos
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
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
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Conectivos lógicos silviacardozo
Conectivos lógicos silviacardozoConectivos lógicos silviacardozo
Conectivos lógicos silviacardozo
 

Destacado

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
María Celeste Poncela
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
amarilisrivas94
 
SimbolizacióN teoria
SimbolizacióN teoriaSimbolizacióN teoria
SimbolizacióN teoria
rafael felix
 
Simbolización de proposiciones
Simbolización de proposicionesSimbolización de proposiciones
Simbolización de proposiciones
vianney1998
 
La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...
La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...
La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...
César G. Rendon -Raziel
 
UNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONALUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL
Cristhian Yarleque
 
4º Sec - Clase 1
4º Sec - Clase 14º Sec - Clase 1
4º Sec - Clase 1
IEP Bartolomé herrera
 
LOGICA PROPOSICIONAL
LOGICA PROPOSICIONALLOGICA PROPOSICIONAL
LOGICA PROPOSICIONALErnesto
 
La lógica proposicional
La lógica proposicionalLa lógica proposicional
La lógica proposicionalLiceo Tolimense
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IIvalefrey1
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Angel Muñoz Álvarez
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
rubenenrique
 
Introducción a la Lógica Proposicional
Introducción a la Lógica ProposicionalIntroducción a la Lógica Proposicional
Introducción a la Lógica Proposicional
Unefm
 
Logica 2009
Logica 2009Logica 2009
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos GeneralesPacheco Huarotto, Luis
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional Yuly Oyanguren
 
Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La Logica
Videoconferencias UTPL
 
Lógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaLógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaMichael Castillo
 

Destacado (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
SimbolizacióN teoria
SimbolizacióN teoriaSimbolizacióN teoria
SimbolizacióN teoria
 
Simbolización de proposiciones
Simbolización de proposicionesSimbolización de proposiciones
Simbolización de proposiciones
 
La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...
La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...
La enseñanza de la lógica proposicional a partir de los conectores de Peirce:...
 
UNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONALUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL
 
4º Sec - Clase 1
4º Sec - Clase 14º Sec - Clase 1
4º Sec - Clase 1
 
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
 
La lógica proposicional
La lógica proposicionalLa lógica proposicional
La lógica proposicional
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Introduccin a la logica
Introduccin a la logicaIntroduccin a la logica
Introduccin a la logica
 
Introducción a la Lógica Proposicional
Introducción a la Lógica ProposicionalIntroducción a la Lógica Proposicional
Introducción a la Lógica Proposicional
 
Logica 2009
Logica 2009Logica 2009
Logica 2009
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La Logica
 
Lógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaLógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-Simbólica
 

Similar a LÓGICA PROPOSICIONAL

Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesWilderd Cabanillas Campos
 
Clase1 log.mate
Clase1 log.mateClase1 log.mate
Clase1 log.mate
Gerardo Espinoza
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
maicol1946
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Taky' Gonzaleez
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logicalemonroy
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
javiercolmenares
 
Unidad 1, logica y conjuntos
Unidad 1, logica y conjuntosUnidad 1, logica y conjuntos
Unidad 1, logica y conjuntosROYBARRE
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
Almarys Vargas Brito
 
Conectivos lógicos.pdf
Conectivos lógicos.pdfConectivos lógicos.pdf
Conectivos lógicos.pdf
SistemadeEstudiosMed
 
Slideshare
SlideshareSlideshare
Slideshareange74
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
MariaFernandaOrozco2017
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
karlitarojas_29
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
lupitamartel
 
Algebra
Algebra Algebra
Algebra rogel04
 
Algebra
Algebra Algebra
Algebra rogel04
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
Mariexis Cova
 

Similar a LÓGICA PROPOSICIONAL (20)

Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Clase1 log.mate
Clase1 log.mateClase1 log.mate
Clase1 log.mate
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
Unidad 1, logica y conjuntos
Unidad 1, logica y conjuntosUnidad 1, logica y conjuntos
Unidad 1, logica y conjuntos
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
Conectivos lógicos.pdf
Conectivos lógicos.pdfConectivos lógicos.pdf
Conectivos lógicos.pdf
 
Slideshare
SlideshareSlideshare
Slideshare
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 

Último

Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdfAsistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Demetrio Ccesa Rayme
 
Introducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BIIntroducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BI
arleyo2006
 
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
20minutos
 
Fase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría AnalíticaFase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría Analítica
YasneidyGonzalez
 
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdfUn libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
sandradianelly
 
MIP PAPA Rancha Papa.pdf.....y caracteristicas
MIP PAPA  Rancha Papa.pdf.....y caracteristicasMIP PAPA  Rancha Papa.pdf.....y caracteristicas
MIP PAPA Rancha Papa.pdf.....y caracteristicas
jheisonraulmedinafer
 
Proceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de PamplonaProceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de Pamplona
Edurne Navarro Bueno
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
pablomarin116
 
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
auxsoporte
 
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdfTestimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Txema Gs
 
corpus-christi-sesion-de-aprendizaje.pdf
corpus-christi-sesion-de-aprendizaje.pdfcorpus-christi-sesion-de-aprendizaje.pdf
corpus-christi-sesion-de-aprendizaje.pdf
YolandaRodriguezChin
 
Automatización de proceso de producción de la empresa Gloria SA (1).pptx
Automatización de proceso de producción de la empresa Gloria SA (1).pptxAutomatización de proceso de producción de la empresa Gloria SA (1).pptx
Automatización de proceso de producción de la empresa Gloria SA (1).pptx
GallardoJahse
 
Fase 2, Pensamiento variacional y trigonometrico
Fase 2, Pensamiento variacional y trigonometricoFase 2, Pensamiento variacional y trigonometrico
Fase 2, Pensamiento variacional y trigonometrico
YasneidyGonzalez
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
Martín Ramírez
 
El fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docxEl fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docx
Alejandrino Halire Ccahuana
 
Fase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcionalFase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcional
YasneidyGonzalez
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
CESAR MIJAEL ESPINOZA SALAZAR
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
JAVIER SOLIS NOYOLA
 
PRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernández
PRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernándezPRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernández
PRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernández
Ruben53283
 
Libro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdfLibro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdf
danitarb
 

Último (20)

Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdfAsistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
Asistencia Tecnica Cartilla Pedagogica DUA Ccesa007.pdf
 
Introducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BIIntroducción a la ciencia de datos con power BI
Introducción a la ciencia de datos con power BI
 
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
Horarios y fechas de la PAU 2024 en la Comunidad Valenciana.
 
Fase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría AnalíticaFase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría Analítica
 
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdfUn libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
 
MIP PAPA Rancha Papa.pdf.....y caracteristicas
MIP PAPA  Rancha Papa.pdf.....y caracteristicasMIP PAPA  Rancha Papa.pdf.....y caracteristicas
MIP PAPA Rancha Papa.pdf.....y caracteristicas
 
Proceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de PamplonaProceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de Pamplona
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
 
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
 
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdfTestimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdf
 
corpus-christi-sesion-de-aprendizaje.pdf
corpus-christi-sesion-de-aprendizaje.pdfcorpus-christi-sesion-de-aprendizaje.pdf
corpus-christi-sesion-de-aprendizaje.pdf
 
Automatización de proceso de producción de la empresa Gloria SA (1).pptx
Automatización de proceso de producción de la empresa Gloria SA (1).pptxAutomatización de proceso de producción de la empresa Gloria SA (1).pptx
Automatización de proceso de producción de la empresa Gloria SA (1).pptx
 
Fase 2, Pensamiento variacional y trigonometrico
Fase 2, Pensamiento variacional y trigonometricoFase 2, Pensamiento variacional y trigonometrico
Fase 2, Pensamiento variacional y trigonometrico
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
 
El fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docxEl fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docx
 
Fase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcionalFase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcional
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
 
PRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernández
PRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernándezPRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernández
PRÁCTICAS PEDAGOGÍA.pdf_Educación Y Sociedad_AnaFernández
 
Libro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdfLibro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdf
 

LÓGICA PROPOSICIONAL

  • 1.    Anamelba Espíritu Rodriguez 2 de Secundaria A-B-C-D I. E. 2026- SAN DIEGO
  • 2. Contenido 1. Lógica Proposicional 2. Simbolización y valoración de proposiciones 3. Ejercicios aplicativos
  • 3. Objetivo • Presentar los conceptos básicos de la lógica proposicional. • Analiza y resuelve problemas matemáticos de su entorno aplicando reglas, principios e inferencias relacionados a la Lógica Proposicional . Capacidad
  • 4. Lógica Proposicional  La lógica es la rama del conocimiento que trata los modelos de razonamiento, mediante reglas y técnicas, con el fin de determinar si un argumento dado es válido. El tema que nos ocupa es el de la lógica usada en matemáticas. Aquí trabajamos con elementos básicos llamados Proposiciones.  Enunciado: Es toda expresión lingüística, que constituye una frase u oración.  Proposición: Enunciado que puede ser falso o verdadero pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática. La verdad o falsedad de una proposición es lo que se llama su valor de verdad.
  • 5. Ejemplos  Son proposiciones lógicas:  Orlando y Ana van a estudiar en la USS.  Orlando llamó a Ana para salir.  El autobús pasa a las siete.  Mañana lloverá.  Chimbote está entre Trujillo y Casma.  El IFB forma profesionales para desempeñarse en las entidades bancarias.  No son proposiciones lógicas:  ¡Siéntate!  ¿Cuándo sale el autobús?  ¿Fueron a pescar Orlando y Ana finalmente?  Las creencias, mitos o leyendas. Así como:“Dios es un ser misericordioso” “Manco Cápac y Mama Ocllo fueron enviados por el sol”  Las metáforas o refranes. Así como: “El Perú es un mendigo sentado en un banco de oro”. “Has el bien, sin mirar a quién”  Las supersticiones. Así como: “Hoy día me irá muy mal por ser Martes 13” “Pase por debajo de una escalera”
  • 6. SIMBOLIZACIÓN Y VALORACIÓN DE PROPOSICIONES  Según los datos históricos, Aristóteles introdujo las letras como: p, q, r, etc., con la finalidad de representar a cada proposición declarativa.  Las variables proposicionales sólo pueden asumir los valores de verdad (V) o falsedad (F). Así tenemos: Para dos proposiciones: p, q se tiene la siguiente tabla de verdad: p q .. p q .. V V 1 1 V F ó 1 0 F V 0 1 F F 0 0 SIMBOLIZACIÓN
  • 7. Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectores básicos son: CONECTIVO SÍMBOLO NOMBRE DE LA PROPOSICIÓN No ~ Negación Y ^ Conjunción o  Disyuntiva inclusiva o. . . o. . .  Disyuntiva exclusiva Si… entonces...  Condicional …si y sólo si …  Bicondicional Es un conectivo singular. Se denomina proposición negativa aquella que cambia el valor de la proposición original. Se denota por: ~p, -p, p y se lee: “no p”. La negación, puede traducirse como: Es falso que... No es el caso que ... Jamás ... Ejemplo: p = La luna es un satélite. ~p = No es cierto que la luna es un satélite.  Conectivos Lógicos: Negación (~):
  • 8. Dadas las proposiciones “p”, “q”. La conjunción es el resultado de unir estas proposiciones con el conectivo lógico “y”. Se denota con el símbolo: “”, “”, se escribe “p  q”, “p  q” y se lee: “p y q”. La proposición conjuntiva es verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje podemos emplear: Sin embargo… Aún cuando… No obstante… Pero, etc. Ejemplo: Consideremos las siguientes proposiciones: p: “La camioneta enciende cuando tiene gasolina en el tanque” q: “Tiene corriente la batería” Entonces: p  q: “La camioneta enciende cuando tiene gasolina en el tanque y tiene corriente la batería” Conjunción:
  • 9. Es una proposición compuesta formada por “p” y por “q” relacionadas por el conectivo lógico “o”. Según el sentido del conectivo “o”, se puede interpretar de dos maneras: inclusiva o exclusiva. Disyunción Inclusiva o Débil: Se denota por “p  q”, “p + q” y se lee: “p o q”. La disyunción inclusiva es falsa sólo en el caso que ambas proporciones sean falsas. Se conoce como la suma lógica. Otras formas de conexión que nos indican una disyunción inclusiva son: A menos que, Excepto que, O en todo caso, A no ser que, etc. Ejemplo: Consideremos: p : “La USS es privada” q : “La USS es estatal” Entonces: p  q: “La USS es privada o en todo caso la USS es estatal” Disyunción:
  • 10. Disyunción Exclusiva o Fuerte: Se denota por: “p  q”, “p V q”, “p  q”, “p q”, “p q” y se lee: “p o q” pero no ambos. La disyunción exclusiva es verdadera sólo cuando una de las proposiciones es verdadera. Alguna formas de conectivos a emplear son: O ... o ... O bien ... o bien ... ... no equivale a ... No es cierto que...equivale a... O solo .... o solo .... Ejemplo: Consideremos: p : “viajo a España” q : “viajo a Brasil” Entonces: p  q : “O viajo a España o viajo a Brasil”
  • 11. Proposición compuesta que resulta de la combinación de dos proposiciones simples, a través del conectivo: “Si ..., entonces ...” y su símbolo es : “”, “”. La notación “p  q”, “p  q” se lee “Si p , entonces q” ; proposición “p” se llama antecedente o hipótesis y la proposición “q” se llama consecuente o conclusión. La manera de expresar la condicional en el orden antecedente-consecuente (“p  q” Implicación directa), son las siguientes: Si p, entonces q p implica q p por ende q Puede también expresarse en el orden consecuente- antecedente (“q  p” Implicación inversa), son: q siempre que p Sólo cuando p, q q cada vez que p Condicional:
  • 12. Ejemplo: consideremos: p : “Llueva” q : “Mejorarán las cosechas” De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p  q : “Siempre que llueva entonces mejoraran las cosechas” q  p : “Mejoraran las cosechas siempre que llueva” Cuando dos proposiciones están unidas por el conectivo lógico “... si y sólo si ...”, cuyo símbolo es: “”, “”, “”. La proposición compuesta se denota por: “p  q”, “p  q”, “p  q” y se lee: “p si y sólo si q”. La proposición bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. También se suele emplear expresiones como: …siempre y cuando… …por lo cual y según lo cual… Si y sólo si p, q …es lo mismo que… Bicondicional:
  • 13. Ejemplo: Consideremos: p : “Los bancos dan crédito” q : “Mirta labora en el IFB” De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p  q : “Los bancos dan crédito siempre y cuando Mirta labora en el IFB”. RESUMEN DE TABLAS DE VERDAD p q ~p p  q p  q p q p q p  q V V F V F V V F F F F V V F F V F F V
  • 14. VALORACIÓN DE PROPOSICIONES Hasta el momento hemos conocido la simbolización de las proposiciones tanto atómicas como las proposiciones moleculares. Para determinar los valores de verdad a las segundas, es necesario tener en cuenta las tablas de verdad de las proposiciones atómicas ya que, sólo ellas pueden recibir directamente los valores de verdad. Considere los siguientes ejemplos:  Si los alumnos aprueban todos los cursos, entonces obtienen su bachillerato o su titulo. Tenemos las proposiciones: p : “Los alumnos aprueban todos los cursos” q : “Obtienen su bachillerato” r : “Su titulo” Se simboliza: p  (q  r)
  • 15. La tabla de verdad para el esquema molecular, esta dado por: p q r p  (q  r) V V V V V V V V F V V V V F V V V V V F F V F F F V V F V V F V F F V V F F V F V V F F F F V F Contingencia: Aquella expresión, que en su conectivo principal resulten valores verdaderos y falsos a la vez, para todas las posibles asignaciones de la tabla de verdad.
  • 16. La tabla de verdad para el esquema molecular, esta dado por: p q (p  q)  p q V V V V V V V V F F F V V F F V V F F V V F F V F F V F Tautología: Una expresión es tautológica, cuando los valores de su conectivo principal resultan ser verdaderos, para todas las asignaciones posibles de la tabla de verdad.  Siempre que salga el sol entonces iremos a la playa, sin embargo sale el sol. Por tanto iremos a la playa. Tenemos las proposiciones: p : “Sale el sol” q : “Iremos a la playa” Se simboliza: (p  q)  p q
  • 17. La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos recursos. Tenemos las proposiciones: p : “La crisis mundial afecta a los países de bajos recursos económicos” q : “Los analistas en economía buscan soluciones”  p : “La crisis mundial no afecta a los países de bajos recursos económicos” (p  q)   p Se simboliza:
  • 18. La tabla de verdad para el esquema molecular, esta dado por: p q (p  q)  p V V V F F V F F F F F V F F V F F F F V Contradicción: La expresión resulta ser una contradicción, cuando los valores de su conectivo principal resultan ser falsos, para todas las asignaciones posibles de la tabla de verdad.
  • 19. Ejercicios Aplicativos 1. No es cierto que no me guste estudiar 2. Me gusta bailar y leer libros de ciencia ficción. 3. Si los gatos de mi hermana no soltaran pelo, me gustaría acariciarlos. 4. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre. 5. Cajamarca es una ciudad minera por excelencia de modo que invertir en minería es la mejor opción. 6. Cuando la producción de una empresa aumenta, en consecuencia aumenta la productividad y en algunos casos la demanda. 7. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar al banco.  Formaliza las siguientes proposiciones:
  • 20. Solución Solución (1): p = Me gusta estudiar Se simboliza: ¬(¬p) Solución (2): q = Me gusta bailar r = Me gusta leer libros de ciencia ficciónse Se simboliza: q ∧ r Solución (3): u = Los gatos de mi hermana sueltan pelo t = Me gusta acariciar los gatos Se simboliza: ¬ u  t Solución (4): p = Ver un marciano con mis propios ojos q = Creer en los extraterrestres Se simboliza: p ⇔ q
  • 21. Solución (5): q = Cajamarca es una ciudad minera por excelencia p = Invertir en minería es la mejor opción Se simboliza: q  p Solución (6): p = Cuando la producción de una empresa aumenta q = Aumenta la productividad r = En algunos casos la demanda Se simboliza: p (q ∧ r) Solución (7): s = Prefiero ir de vacaciones t = Sin hacer nada p = Tener tiempo para ello q = Ir a trabajar al banco Se simboliza: (p ∧ ¬ q )  (s v t )