SlideShare una empresa de Scribd logo
1 de 30
TEMA
LOGICA
2023-1
1.1
PREUNIVERSITARIO
INTRODUCCIÓN
Cuando un individuo afirma algo, tiene que argumentar como llegó a esa conclusión.
Todo argumento civilizado (lo que escuchamos o leemos) esta hecho sobre un
razonamiento (una estructura de pensamiento que en base a premisas aceptadas
como ciertas obtenga una conclusión), la lógica valida estos razonamientos.
2
En la clase de hoy haremos estudio de la Lógica Proposicional o lógica de orden cero,
la cual trabaja sobre unas unidades de pensamiento llamadas proposiciónes,
relacionándolas a través de los llamados conectivos lógicos y analizando esas
relaciones. Resaltamos que en esta parte no nos interesa mucho lo que digan las
proposiciones en sí, sino como se relacionan para establecer razonamientos válidos.
La Lógica estudia la validez de los razonamientos
Definición:
PROPOSICIONES Y CONECTORES LÓGICOS
Una proposición lógica es un enunciado que:
3
Las proposiciones pueden nombrarse a través de una letra minúscula
Raúl estudia en CepreUni
Definición:
1) Afirma algo acerca de un sujeto
2) Tiene o puede asignársele un valor de verdad esto es, puede
ser verdadero (V) o falso (F), uno y solo uno de ellos.
Ejemplos de proposiciones:
Laura nunca será tu novia
Pedro ingresará a la UNI
2 + 8 = 10
4 + 10 < 14
El estudia en Mecánica
No son proposiciones:
¡ que frío !
Roberta me parece guapa
x + 7 = 9
x + 12 > 15
p:
q:
r:
s:
t:
PROPOSICIONES Y CONECTORES LÓGICOS
Un conector lógico al afectar a una proposición, o al relacionar a dos
proposiciones, forma una nueva proposición lógica.
4
No es cierto que Julia estudie ………………………….
Definición:
Representación
p ∧ q
Pablo estudia y Laura trabaja …………................
Nueva proposición
Enriqueta estudia pero trabaja en las noches ... p ∧ q
∼ p
Juana va al parque o va al mercado ………..………
Raúl No trabaja …………………………….....................
p ∨ q
∼ p
Si Pedro estudia entonces Pedro ingresa .……… p → q
PROPOSICIONES Y CONECTORES LÓGICOS
5
Representación
Nueva proposición
Raúl Ingresa solo si estudia en CepreUni …... q → p
Juan ingresa si y solo si estudia …..................... p ↔ q
O Raul ingresa o Raul va al Ejército ……………..….. p △ q
Solo si Laura te ama, te será fiel ……………….…... p → q
Patty saldrá contigo siempre y cuando te bañes p ↔ q
O Julio come o Julio va al baño ………………..…... p △ q
PROPOSICIONES Y CONECTORES LÓGICOS
Al acto de generar una nueva proposición
mediante un conector o conectivo lógico
se le llama Operación Lógica
6
Definición:
Conectivo usado
∧
Negación ………………
Operación Lógica
Conjunción …………….
∼
∨
Disyunción …………….
→
Condicional ……………
↔
Bicondicional ………….
△
Disyunción excluyente
Definición:
1) Una proposición simple es aquella
que no tiene presencia de conectores
lógicos, excepto en la descripción del
sujeto.
2)Una proposición compuesta es
aquella que no es simple
Son proposiciones simples
El Perú tiene grandes ciudades
Juan sabe conducir autos
Raúl es ingeniero civil
Robert y Georgina son esposos
Señale cuales de los siguientes son proposiciones:
Ejercicio1:
I. ¿Por qué no cambias Melbert?
II. Mi auto se estrelló en plena curva
III. ¡Soldados al ataque¡
IV. El número 9 es menor que el número 3
V. En Piura hay altas temperaturas
VI. Rolanda es bonita.
7
Resolución:
I. No es proposición.
II. Si es proposición.
III. No es proposición.
IV. Si es proposición.
V. Si es proposición.
VI. No es proposición.
Ejercicio2:
Señale cuales de las siguientes proposiciones son compuestas:
I. Juan y María son compañeros en clase de álgebra.
II. Iré siempre a clases dado que saque mala nota en el parcial.
III. Pedro, el que no fue a clases dado que estaba enfermo de Covid, hoy falleció.
IV. O mejoramos las notas o no ingresamos
V. Manuela ríe, pero esta reprobada en el curso de análisis.
VI. Enrique se pondrá triste si Roberto no va a la reunión.
8
Resolución: I. Proposición simple
II. Proposición compuesta
III. Proposición simple
IV. Proposición compuesta
V. Proposición compuesta
VI. Proposición compuesta
Una Fórmula Lógica es la representación simbólica de una Proposición,
indicándose en el caso de una proposición compuesta los conectivos lógicos que la
lógicos que la generan.
9
Definición:
Algunas Fórmulas Lógicas 𝐩
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
𝐩 →∼ 𝐪
∼ 𝐩 ∨ 𝐪
(∼ 𝐩 ↔ 𝐪) →∼ 𝐫
((∼ 𝐩 ∨ 𝐪) → 𝒑) → 𝒑
10
Definición:
Una Tabla de verdad nos señala el valor de verdad de una
fórmula lógica, para cada estado de verdad que generan las
proposiciones simples que la conforman.
𝑵° 𝒅𝒆 𝒆𝒔𝒕𝒂𝒅𝒐𝒔 𝒅𝒆 𝒗𝒆𝒓𝒅𝒂𝒅 = 𝟐𝑵°𝒅𝒆 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒆𝒔
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
p q f(p;q)
V V F
V F V
F V V
F F V
Estados
de
verdad
11
TABLA DE VERDAD DE LA CONJUNCIÓN:
p q p∧q
V V V
V F F
F V F
F F F
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
La conjunción es Verdadera solo si ambas proposiciones son Verdaderas
Ejemplo Juana estudia y Pedro trabaja (V)
Se concluye: Juana Estudia
Pedro trabaja
(V)
(V)
12
TABLA DE VERDAD DE LA DISYUNCIÓN
p q p∨q
V V V
V F V
F V V
F F F
La disyunción es Falsa solo si ambas proposiciones son Falsas
Ejemplo Juana es Física o Juana es Pintora (F)
Se concluye: Juana es Física
Juana es pintora
(F)
(F)
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
TABLA DE VERDAD DE LA NEGACIÓN
La negación tiene un valor de verdad
distinto al de la proposición original.
TABLA DE VERDAD DE LA CONDICIONAL
p q p→q
V V V
V F F
F V V
F F V
La condicional es Falsa solo si el antecedente es
Verdadero y el consecuente es Falso
Ejemplo
Si Raúl estudia entonces Raúl Ingresa (F)
Se concluye: Raúl Estudia
Raúl ingresa
(V)
(F)
p ∼p
V F
F V
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
13
14
p q p→q
V V V
V F F
F V V
F F V
1) Si el antecedente es Falso entonces la
condicional es verdadera
2) Si el consecuente es Verdadero entonces
la condicional es verdadera
Observaciones de
la condicional
3) En la condicional p→q se dice que:
p es suficiente para q
q es necesario para p
q→p es su recíproco
∼ q→∼p es su contrarrecíproco
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
15
TABLA DE VERDAD DE LA BICONDICIONAL
p q p ↔ q
V V V
V F F
F V F
F F V
La Bicondicional es Verdadera solo si
ambas proposiciones tienen el mismo valor de verdad
Observacion
En la bicondicional p ↔ q se dice que:
q es suficiente y necesario para p
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
16
TABLA DE LA DISYUNCIÓN EXCLUYENTE
p q p ∆ q
V V F
V F V
F V V
F F F
La disyunción excluyente es Verdadera solo si ambas proposiciones
tienen distinto valor de verdad
Observacion Si son verdaderas ambas a la vez la Disyunción excluyente
es FALSA
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
Elabore la tabla de verdad de la siguiente proposición compuesta:
Ejercicio 3:
(p q) (p q)
∨
→
∧
p q ( p ∨ q ) → ( p ∧ q )
V V
V F
F V
F F
17
V
V
V
F
V
F
F
V
V
F
F
F
Ejercicio 4:
Señale los valores de Verdad de p, q, r, s, t si la siguiente
proposición compuesta presentada como fórmula lógica es
Falsa: [p q] [r (s t)]
   
18
[ p q ] [ r ( s t ) ]
   
Resolución:
(V)
.....
(V)
¨¨¨¨¨¨¨¨¨¨¨¨¨¨
(F)
¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨
(V)
.....
(V)
.....
(F)
..........
(F)
.....
(F)
.....
p(V) q(F) r(V) s(F) t(V)
Dos fórmulas lógicas son equivalentes ( p ≡ q ) si tienen el mismo
valor de Verdad en cada Estado de Verdad.
19
Definición:
Ejemplos
p q p → q ~p ∨ q
V V V F V V
V F F F F F
F V V V V V
F F V V V F
p q p ∨ (p ∧ q) p
V V V V V V
V F V V F V
F V F F F F
F F F F F F
p→ q es equivalente a ~p ∨ q p ∨ (p ∧ q) es equivalente a p
p→ q ≡ ~p ∨ q p ∨ (p ∧ q) ≡ p
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN
Una Fórmula Lógica es Tautología si es Verdadera en cualquier
estado de Verdad generado por las proposiciones que la
conforman.
20
Definición:
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN
Ejemplo p q (p → q) ∨ p
V V V V V
V F F V V
F V V V F
F F V V F
(p → q) ∨ p es Tautología
(p → q) ∨ p ≡ V
21
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN
Una Fórmula Lógica es Contradicción si es Falsa en cualquier
estado de Verdad generado por las proposiciones que la
conforman.
Definición:
Ejemplo p q ~ (p → q) ∧ q
V V F V F V
V F V F F F
F V F V F V
F F F V F F
~ (p → q) ∧ q es Contradicción
~ (p → q) ∧ q ≡ F
22
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN
Una Fórmula Lógica es Contingencia si no es Tautología
ni es Contradicción
Definición:
Ejemplo p q ~ (p → q) ∧ p
V V F V F V
V F V F V V
F V F V F F
F F F V F F
~ (p → q) ∧ p es Contingencia
Señale si las proposiciones son Tautologías(V) o contradicciones(F)
Ejercicio 5:
p q ( p ∧ q ) → p ( ~p ∨ q ) ↔ ( p → q ) q ∧ ~( p → q )
V V
V F
F V
F F
I. ( p∧q ) → ( p )
II. ( ~p∨q ) ↔ ( p→q )
III. q ∧ ~( p→q )
23
V
F
F
F
V
V
F
F
V
V
V
V
F
F
V
V
V
F
V
F
V
F
V
V
V
F
V
V
V
V
V
V
V
F
V
F
V
F
V
V
F
V
F
F
F
F
F
F
Siendo p, q, r proposiciones, señale el valor de verdad de:
Propuesto 1:
I. p→F ≡p
II. p∆V ≡ p
III. [~p→( q∨r )] ∧ p ≡ p
Primera práctica 2021-2
24
Rpta: F F V
Siendo p y q proposiciones lógicas, definimos el operador “∗” con la
siguiente tabla:
Primera práctica 2022-2
p q p ∗ q
V V F
V F F
F V V
F F F
Determine una expresión
equivalente de: (p ∗ q) → q
25
Propuesto
2:
Rpta: V
𝟏𝐚. 𝐩 ∨ 𝐩 ≡ 𝐩 𝟏𝐛. 𝐩 ∧ 𝐩 ≡ 𝐩
𝟐𝐚. 𝐩 ∨ 𝐪 ≡ 𝐪 ∨ 𝐩 𝟐𝐛. 𝐩 ∧ 𝐪 ≡ 𝐪 ∧ 𝐩
𝟑𝐚. 𝐩 ∨ (𝐪 ∨ 𝐫) ≡ (𝐩 ∨ 𝐪) ∨ 𝐫 𝟑𝐛. 𝐩 ∧ (𝐪 ∧ 𝐫) ≡ (𝐩 ∧ 𝐪) ∧ 𝐫
𝟒𝐚. 𝐩 ∨ (𝐪 ∧ 𝐫) ≡ (𝐩 ∨ 𝐪) ∧ (𝐩 ∨ 𝐫) 𝟒𝐛. 𝐩 ∧ (𝐪 ∨ 𝐫) ≡ (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫)
𝟓𝐚. 𝐩 ∨ ~𝐩 ≡ 𝐕
𝟔𝐚. 𝐩 ∨ 𝐕 ≡ 𝐕
𝟕𝐚. 𝐩 ∨ 𝐅 ≡ 𝐩
𝟓𝐚. 𝐩 ∧ ~𝐩 ≡ 𝐅
𝟔𝐚. 𝐩 ∧ 𝐕 ≡ 𝐩
𝟕𝐚. 𝐩 ∧ 𝐅 ≡ 𝑭
ÁLGEBRA PROPOSICIONAL
26
ÁLGEBRA PROPOSICIONAL
Leyes de Morgan
𝟖𝐚. ~(𝐩 ∨ 𝐪) ≡ ~𝐩 ∧ ~𝐪
Leyes de Absorción
𝟗𝐚. 𝐩 ∨ (𝐩 ∧ 𝐪) ≡ 𝐩
𝟖𝐛. ~(𝐩 ∧ 𝐪) ≡ ~𝐩 ∨ ~q
𝟗𝐛. 𝐩 ∧ (𝐩 ∨ 𝐪) ≡ 𝐩
Falsa Absorción
𝟏𝟎𝐚. 𝐩 ∨ (~𝐩 ∧ 𝐪) ≡ 𝐩 ∨ 𝐪 𝟏𝟎𝐛. 𝐩 ∧ (~𝐩 ∨ 𝐪) ≡ 𝐩 ∧ 𝐪
Condicional
𝟏𝟏. 𝐩 → 𝐪 ≡ ~𝐩 ∨ 𝐪 𝟏𝟐. 𝐩 → 𝐪 ≡ ~𝐪 → ~𝐩
Bicondicional 𝟏𝟑. 𝐩 ↔ 𝐪 ≡ (𝐩 → 𝐪) ∧ (𝐪 → 𝐩)
27
Negación 𝟏𝟒. ~(~𝐩) ≡ 𝐩 𝟏𝟓. ~(𝐕) ≡ 𝐅 𝟏𝟔. ~(𝐅) ≡ 𝐕
Disyunción excluyente 𝟏𝟕. 𝐩 △ 𝐪 ≡ ~(𝐩 ↔ 𝐪)
Bicondicional
𝟏𝟖𝐚. 𝒑 ↔ 𝐩 ≡ 𝐕
𝟐𝟎𝐚. ~ 𝐩 ↔ 𝐪 ≡ ~𝒑 ↔ 𝐪
≡ (𝒑 ↔ ~𝐪)
𝟐𝟏𝐚. ~𝐩 ↔ ~𝐪 ≡ 𝒑 ↔ 𝐪
𝟏𝟗𝐚. 𝒑 ↔ 𝐪 ≡ 𝐪 ↔ 𝐩
Disyunción excluyente
𝟏𝟖𝐛. 𝒑 △ 𝐩 ≡ 𝐅
𝟐𝟎𝐛. ~ 𝐩 △ 𝐪 ≡ ~𝒑 △ 𝐪
≡ (𝒑 △ ~𝐪)
𝟐𝟏𝐛. ~𝐩 △ ~𝐪 ≡ 𝒑 △ 𝐪
𝟏𝟗𝐛. 𝒑 △ 𝐪 ≡ 𝐪 △ 𝐩
ÁLGEBRA PROPOSICIONAL
28
Simplifique las siguientes fórmulas lógicas
I. ( p ∧ q ) → ( p )
II. q ∧ ~( p → q )
III. [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )
Ejercicio 6:
29
( p ∧ q ) → ( p )
≡(~p ∨ ~q ) ∨ p
≡(~p ∨ p ) ∨ ~q
≡ V ∨ ~q
≡ V
q ∧ ~( p → q )
≡ q ∧ ~(~p ∨ q )
≡ q ∧ (~q ∧ p )
≡ ( q ∧ ~q ) ∧ p )
≡ F ∧ p
≡ F
[ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )
≡[ (~ p ∨ q ) ∨ q ] ∧ ( p ∨ q )
≡[ ~ p ∨ q ] ∧ ( p ∨ q )
≡ ( q ∨ ~ p ) ∧ ( q ∨ p )
≡ q ∨ ( ~ p ∧ p )
≡ q ∨ F
≡ q
Simplifique
Propuesto 3:
( ∼ [(p → q) ∧ ∼ p] ) ∨ [(q → p)∧ ∼ q]
Primera práctica 2022-1
30
Rpta: q → p

Más contenido relacionado

Similar a Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630Marislieth96
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica HernandezMarislieth96
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreujuanabreuri
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreujuanabreuri
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalHarrinzon Reinoso
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i14879114
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique Bonilla
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique Bonilla
 

Similar a Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1 (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630
 
Angelica
AngelicaAngelica
Angelica
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica Hernandez
 
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
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Angelica
AngelicaAngelica
Angelica
 
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
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 

Último

Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Carlos Muñoz
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dstEphaniiie
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arteRaquel Martín Contreras
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAEl Fortí
 
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfEjercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfMaritzaRetamozoVera
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...JAVIER SOLIS NOYOLA
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxlupitavic
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSYadi Campos
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxzulyvero07
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfNancyLoaa
 
Ecosistemas Natural, Rural y urbano 2021.pptx
Ecosistemas Natural, Rural y urbano  2021.pptxEcosistemas Natural, Rural y urbano  2021.pptx
Ecosistemas Natural, Rural y urbano 2021.pptxolgakaterin
 

Último (20)

Presentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza MultigradoPresentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza Multigrado
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arte
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfEjercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docx
 
Sesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronósticoSesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronóstico
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
 
Cuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdfCuaderno de trabajo Matemática 3 tercer grado.pdf
Cuaderno de trabajo Matemática 3 tercer grado.pdf
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdfTema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
 
Ecosistemas Natural, Rural y urbano 2021.pptx
Ecosistemas Natural, Rural y urbano  2021.pptxEcosistemas Natural, Rural y urbano  2021.pptx
Ecosistemas Natural, Rural y urbano 2021.pptx
 

Lógica Cepre Uni 2023 ciclo pre universitario - I semana 1.1

  • 2. INTRODUCCIÓN Cuando un individuo afirma algo, tiene que argumentar como llegó a esa conclusión. Todo argumento civilizado (lo que escuchamos o leemos) esta hecho sobre un razonamiento (una estructura de pensamiento que en base a premisas aceptadas como ciertas obtenga una conclusión), la lógica valida estos razonamientos. 2 En la clase de hoy haremos estudio de la Lógica Proposicional o lógica de orden cero, la cual trabaja sobre unas unidades de pensamiento llamadas proposiciónes, relacionándolas a través de los llamados conectivos lógicos y analizando esas relaciones. Resaltamos que en esta parte no nos interesa mucho lo que digan las proposiciones en sí, sino como se relacionan para establecer razonamientos válidos. La Lógica estudia la validez de los razonamientos Definición:
  • 3. PROPOSICIONES Y CONECTORES LÓGICOS Una proposición lógica es un enunciado que: 3 Las proposiciones pueden nombrarse a través de una letra minúscula Raúl estudia en CepreUni Definición: 1) Afirma algo acerca de un sujeto 2) Tiene o puede asignársele un valor de verdad esto es, puede ser verdadero (V) o falso (F), uno y solo uno de ellos. Ejemplos de proposiciones: Laura nunca será tu novia Pedro ingresará a la UNI 2 + 8 = 10 4 + 10 < 14 El estudia en Mecánica No son proposiciones: ¡ que frío ! Roberta me parece guapa x + 7 = 9 x + 12 > 15 p: q: r: s: t:
  • 4. PROPOSICIONES Y CONECTORES LÓGICOS Un conector lógico al afectar a una proposición, o al relacionar a dos proposiciones, forma una nueva proposición lógica. 4 No es cierto que Julia estudie …………………………. Definición: Representación p ∧ q Pablo estudia y Laura trabaja …………................ Nueva proposición Enriqueta estudia pero trabaja en las noches ... p ∧ q ∼ p Juana va al parque o va al mercado ………..……… Raúl No trabaja ……………………………..................... p ∨ q ∼ p Si Pedro estudia entonces Pedro ingresa .……… p → q
  • 5. PROPOSICIONES Y CONECTORES LÓGICOS 5 Representación Nueva proposición Raúl Ingresa solo si estudia en CepreUni …... q → p Juan ingresa si y solo si estudia …..................... p ↔ q O Raul ingresa o Raul va al Ejército ……………..….. p △ q Solo si Laura te ama, te será fiel ……………….…... p → q Patty saldrá contigo siempre y cuando te bañes p ↔ q O Julio come o Julio va al baño ………………..…... p △ q
  • 6. PROPOSICIONES Y CONECTORES LÓGICOS Al acto de generar una nueva proposición mediante un conector o conectivo lógico se le llama Operación Lógica 6 Definición: Conectivo usado ∧ Negación ……………… Operación Lógica Conjunción ……………. ∼ ∨ Disyunción ……………. → Condicional …………… ↔ Bicondicional …………. △ Disyunción excluyente Definición: 1) Una proposición simple es aquella que no tiene presencia de conectores lógicos, excepto en la descripción del sujeto. 2)Una proposición compuesta es aquella que no es simple Son proposiciones simples El Perú tiene grandes ciudades Juan sabe conducir autos Raúl es ingeniero civil Robert y Georgina son esposos
  • 7. Señale cuales de los siguientes son proposiciones: Ejercicio1: I. ¿Por qué no cambias Melbert? II. Mi auto se estrelló en plena curva III. ¡Soldados al ataque¡ IV. El número 9 es menor que el número 3 V. En Piura hay altas temperaturas VI. Rolanda es bonita. 7 Resolución: I. No es proposición. II. Si es proposición. III. No es proposición. IV. Si es proposición. V. Si es proposición. VI. No es proposición.
  • 8. Ejercicio2: Señale cuales de las siguientes proposiciones son compuestas: I. Juan y María son compañeros en clase de álgebra. II. Iré siempre a clases dado que saque mala nota en el parcial. III. Pedro, el que no fue a clases dado que estaba enfermo de Covid, hoy falleció. IV. O mejoramos las notas o no ingresamos V. Manuela ríe, pero esta reprobada en el curso de análisis. VI. Enrique se pondrá triste si Roberto no va a la reunión. 8 Resolución: I. Proposición simple II. Proposición compuesta III. Proposición simple IV. Proposición compuesta V. Proposición compuesta VI. Proposición compuesta
  • 9. Una Fórmula Lógica es la representación simbólica de una Proposición, indicándose en el caso de una proposición compuesta los conectivos lógicos que la lógicos que la generan. 9 Definición: Algunas Fórmulas Lógicas 𝐩 FÓRMULAS LÓGICAS Y TABLAS DE VERDAD 𝐩 →∼ 𝐪 ∼ 𝐩 ∨ 𝐪 (∼ 𝐩 ↔ 𝐪) →∼ 𝐫 ((∼ 𝐩 ∨ 𝐪) → 𝒑) → 𝒑
  • 10. 10 Definición: Una Tabla de verdad nos señala el valor de verdad de una fórmula lógica, para cada estado de verdad que generan las proposiciones simples que la conforman. 𝑵° 𝒅𝒆 𝒆𝒔𝒕𝒂𝒅𝒐𝒔 𝒅𝒆 𝒗𝒆𝒓𝒅𝒂𝒅 = 𝟐𝑵°𝒅𝒆 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒆𝒔 FÓRMULAS LÓGICAS Y TABLAS DE VERDAD p q f(p;q) V V F V F V F V V F F V Estados de verdad
  • 11. 11 TABLA DE VERDAD DE LA CONJUNCIÓN: p q p∧q V V V V F F F V F F F F FÓRMULAS LÓGICAS Y TABLAS DE VERDAD La conjunción es Verdadera solo si ambas proposiciones son Verdaderas Ejemplo Juana estudia y Pedro trabaja (V) Se concluye: Juana Estudia Pedro trabaja (V) (V)
  • 12. 12 TABLA DE VERDAD DE LA DISYUNCIÓN p q p∨q V V V V F V F V V F F F La disyunción es Falsa solo si ambas proposiciones son Falsas Ejemplo Juana es Física o Juana es Pintora (F) Se concluye: Juana es Física Juana es pintora (F) (F) FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
  • 13. TABLA DE VERDAD DE LA NEGACIÓN La negación tiene un valor de verdad distinto al de la proposición original. TABLA DE VERDAD DE LA CONDICIONAL p q p→q V V V V F F F V V F F V La condicional es Falsa solo si el antecedente es Verdadero y el consecuente es Falso Ejemplo Si Raúl estudia entonces Raúl Ingresa (F) Se concluye: Raúl Estudia Raúl ingresa (V) (F) p ∼p V F F V FÓRMULAS LÓGICAS Y TABLAS DE VERDAD 13
  • 14. 14 p q p→q V V V V F F F V V F F V 1) Si el antecedente es Falso entonces la condicional es verdadera 2) Si el consecuente es Verdadero entonces la condicional es verdadera Observaciones de la condicional 3) En la condicional p→q se dice que: p es suficiente para q q es necesario para p q→p es su recíproco ∼ q→∼p es su contrarrecíproco FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
  • 15. 15 TABLA DE VERDAD DE LA BICONDICIONAL p q p ↔ q V V V V F F F V F F F V La Bicondicional es Verdadera solo si ambas proposiciones tienen el mismo valor de verdad Observacion En la bicondicional p ↔ q se dice que: q es suficiente y necesario para p FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
  • 16. 16 TABLA DE LA DISYUNCIÓN EXCLUYENTE p q p ∆ q V V F V F V F V V F F F La disyunción excluyente es Verdadera solo si ambas proposiciones tienen distinto valor de verdad Observacion Si son verdaderas ambas a la vez la Disyunción excluyente es FALSA FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
  • 17. Elabore la tabla de verdad de la siguiente proposición compuesta: Ejercicio 3: (p q) (p q) ∨ → ∧ p q ( p ∨ q ) → ( p ∧ q ) V V V F F V F F 17 V V V F V F F V V F F F
  • 18. Ejercicio 4: Señale los valores de Verdad de p, q, r, s, t si la siguiente proposición compuesta presentada como fórmula lógica es Falsa: [p q] [r (s t)]     18 [ p q ] [ r ( s t ) ]     Resolución: (V) ..... (V) ¨¨¨¨¨¨¨¨¨¨¨¨¨¨ (F) ¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨ (V) ..... (V) ..... (F) .......... (F) ..... (F) ..... p(V) q(F) r(V) s(F) t(V)
  • 19. Dos fórmulas lógicas son equivalentes ( p ≡ q ) si tienen el mismo valor de Verdad en cada Estado de Verdad. 19 Definición: Ejemplos p q p → q ~p ∨ q V V V F V V V F F F F F F V V V V V F F V V V F p q p ∨ (p ∧ q) p V V V V V V V F V V F V F V F F F F F F F F F F p→ q es equivalente a ~p ∨ q p ∨ (p ∧ q) es equivalente a p p→ q ≡ ~p ∨ q p ∨ (p ∧ q) ≡ p EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN
  • 20. Una Fórmula Lógica es Tautología si es Verdadera en cualquier estado de Verdad generado por las proposiciones que la conforman. 20 Definición: EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN Ejemplo p q (p → q) ∨ p V V V V V V F F V V F V V V F F F V V F (p → q) ∨ p es Tautología (p → q) ∨ p ≡ V
  • 21. 21 EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN Una Fórmula Lógica es Contradicción si es Falsa en cualquier estado de Verdad generado por las proposiciones que la conforman. Definición: Ejemplo p q ~ (p → q) ∧ q V V F V F V V F V F F F F V F V F V F F F V F F ~ (p → q) ∧ q es Contradicción ~ (p → q) ∧ q ≡ F
  • 22. 22 EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN Una Fórmula Lógica es Contingencia si no es Tautología ni es Contradicción Definición: Ejemplo p q ~ (p → q) ∧ p V V F V F V V F V F V V F V F V F F F F F V F F ~ (p → q) ∧ p es Contingencia
  • 23. Señale si las proposiciones son Tautologías(V) o contradicciones(F) Ejercicio 5: p q ( p ∧ q ) → p ( ~p ∨ q ) ↔ ( p → q ) q ∧ ~( p → q ) V V V F F V F F I. ( p∧q ) → ( p ) II. ( ~p∨q ) ↔ ( p→q ) III. q ∧ ~( p→q ) 23 V F F F V V F F V V V V F F V V V F V F V F V V V F V V V V V V V F V F V F V V F V F F F F F F
  • 24. Siendo p, q, r proposiciones, señale el valor de verdad de: Propuesto 1: I. p→F ≡p II. p∆V ≡ p III. [~p→( q∨r )] ∧ p ≡ p Primera práctica 2021-2 24 Rpta: F F V
  • 25. Siendo p y q proposiciones lógicas, definimos el operador “∗” con la siguiente tabla: Primera práctica 2022-2 p q p ∗ q V V F V F F F V V F F F Determine una expresión equivalente de: (p ∗ q) → q 25 Propuesto 2: Rpta: V
  • 26. 𝟏𝐚. 𝐩 ∨ 𝐩 ≡ 𝐩 𝟏𝐛. 𝐩 ∧ 𝐩 ≡ 𝐩 𝟐𝐚. 𝐩 ∨ 𝐪 ≡ 𝐪 ∨ 𝐩 𝟐𝐛. 𝐩 ∧ 𝐪 ≡ 𝐪 ∧ 𝐩 𝟑𝐚. 𝐩 ∨ (𝐪 ∨ 𝐫) ≡ (𝐩 ∨ 𝐪) ∨ 𝐫 𝟑𝐛. 𝐩 ∧ (𝐪 ∧ 𝐫) ≡ (𝐩 ∧ 𝐪) ∧ 𝐫 𝟒𝐚. 𝐩 ∨ (𝐪 ∧ 𝐫) ≡ (𝐩 ∨ 𝐪) ∧ (𝐩 ∨ 𝐫) 𝟒𝐛. 𝐩 ∧ (𝐪 ∨ 𝐫) ≡ (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫) 𝟓𝐚. 𝐩 ∨ ~𝐩 ≡ 𝐕 𝟔𝐚. 𝐩 ∨ 𝐕 ≡ 𝐕 𝟕𝐚. 𝐩 ∨ 𝐅 ≡ 𝐩 𝟓𝐚. 𝐩 ∧ ~𝐩 ≡ 𝐅 𝟔𝐚. 𝐩 ∧ 𝐕 ≡ 𝐩 𝟕𝐚. 𝐩 ∧ 𝐅 ≡ 𝑭 ÁLGEBRA PROPOSICIONAL 26
  • 27. ÁLGEBRA PROPOSICIONAL Leyes de Morgan 𝟖𝐚. ~(𝐩 ∨ 𝐪) ≡ ~𝐩 ∧ ~𝐪 Leyes de Absorción 𝟗𝐚. 𝐩 ∨ (𝐩 ∧ 𝐪) ≡ 𝐩 𝟖𝐛. ~(𝐩 ∧ 𝐪) ≡ ~𝐩 ∨ ~q 𝟗𝐛. 𝐩 ∧ (𝐩 ∨ 𝐪) ≡ 𝐩 Falsa Absorción 𝟏𝟎𝐚. 𝐩 ∨ (~𝐩 ∧ 𝐪) ≡ 𝐩 ∨ 𝐪 𝟏𝟎𝐛. 𝐩 ∧ (~𝐩 ∨ 𝐪) ≡ 𝐩 ∧ 𝐪 Condicional 𝟏𝟏. 𝐩 → 𝐪 ≡ ~𝐩 ∨ 𝐪 𝟏𝟐. 𝐩 → 𝐪 ≡ ~𝐪 → ~𝐩 Bicondicional 𝟏𝟑. 𝐩 ↔ 𝐪 ≡ (𝐩 → 𝐪) ∧ (𝐪 → 𝐩) 27
  • 28. Negación 𝟏𝟒. ~(~𝐩) ≡ 𝐩 𝟏𝟓. ~(𝐕) ≡ 𝐅 𝟏𝟔. ~(𝐅) ≡ 𝐕 Disyunción excluyente 𝟏𝟕. 𝐩 △ 𝐪 ≡ ~(𝐩 ↔ 𝐪) Bicondicional 𝟏𝟖𝐚. 𝒑 ↔ 𝐩 ≡ 𝐕 𝟐𝟎𝐚. ~ 𝐩 ↔ 𝐪 ≡ ~𝒑 ↔ 𝐪 ≡ (𝒑 ↔ ~𝐪) 𝟐𝟏𝐚. ~𝐩 ↔ ~𝐪 ≡ 𝒑 ↔ 𝐪 𝟏𝟗𝐚. 𝒑 ↔ 𝐪 ≡ 𝐪 ↔ 𝐩 Disyunción excluyente 𝟏𝟖𝐛. 𝒑 △ 𝐩 ≡ 𝐅 𝟐𝟎𝐛. ~ 𝐩 △ 𝐪 ≡ ~𝒑 △ 𝐪 ≡ (𝒑 △ ~𝐪) 𝟐𝟏𝐛. ~𝐩 △ ~𝐪 ≡ 𝒑 △ 𝐪 𝟏𝟗𝐛. 𝒑 △ 𝐪 ≡ 𝐪 △ 𝐩 ÁLGEBRA PROPOSICIONAL 28
  • 29. Simplifique las siguientes fórmulas lógicas I. ( p ∧ q ) → ( p ) II. q ∧ ~( p → q ) III. [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q ) Ejercicio 6: 29 ( p ∧ q ) → ( p ) ≡(~p ∨ ~q ) ∨ p ≡(~p ∨ p ) ∨ ~q ≡ V ∨ ~q ≡ V q ∧ ~( p → q ) ≡ q ∧ ~(~p ∨ q ) ≡ q ∧ (~q ∧ p ) ≡ ( q ∧ ~q ) ∧ p ) ≡ F ∧ p ≡ F [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q ) ≡[ (~ p ∨ q ) ∨ q ] ∧ ( p ∨ q ) ≡[ ~ p ∨ q ] ∧ ( p ∨ q ) ≡ ( q ∨ ~ p ) ∧ ( q ∨ p ) ≡ q ∨ ( ~ p ∧ p ) ≡ q ∨ F ≡ q
  • 30. Simplifique Propuesto 3: ( ∼ [(p → q) ∧ ∼ p] ) ∨ [(q → p)∧ ∼ q] Primera práctica 2022-1 30 Rpta: q → p