Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2022-2
TEMA
LOGICA
1.1
INTRODUCCIÓN
4
PROPOSICIONES Y CONECTORES LÓGICOS
5
PROPOSICIONES Y CONECTORES LÓGICOS
Definición:
Definición: 1) Una proposición simple es aquella
que no tiene presencia de conectores
Al acto de generar una nueva proposición lógicos, excepto en la descripción del
mediante un conector o conectivo lógico sujeto.
se le llama Operación Lógica
2)Una proposición compuesta es
aquella que no es simple
Operación Lógica Conectivo usado
Negación ……………… ∼ Son proposiciones simples
Conjunción ……………. ∧
El Perú tiene grandes ciudades
Disyunción ……………. ∨
Juan sabe conducir autos
Condicional …………… →
Raúl es ingeniero civil
Bicondicional …………. ↔
Disyunción excluyente △ Robert y Georgina son esposos
6
Ejercicio1:
Señale cuales de los siguientes son proposiciones:
I. ¿Por qué no cambias Pedrito?
II. Mi auto se estrelló en pleno puente
III. ¡Soldados ataquemos¡
IV. El número 2 es menor que el número 6
V. En Sullana hay altas temperaturas
VI. Enriqueta es bonita.
7
Ejercicio2:
Señale cuales de las siguientes proposiciones son compuestas:
I. Juana y Mario son compañeros en clase de álgebra.
II. Iré siempre a clases dado que saque mala nota en la práctica.
III. Pedro, el que no fue a clases dado que estaba enfermo, hoy
falleció.
IV. O mejoramos las notas o llevamos cursos en marzo
V. Juana ríe, pero esta jalada en el curso de álgebra.
VI. Enrique se pondrá triste si Roberto no va a la reunión.
8
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
Definición:
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 generan.
(∼ 𝐩 ↔ 𝐪) →∼ 𝐫
((∼ 𝐩 ∨ 𝐪) → 𝒑) → 𝒑
9
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
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.
p q f(p;q)
V V F
Estados
de V F V
verdad F V V
F F V
10
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
p q p∧q
V V V
V F F
F V F
F F F
11
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
p q p∨q
V V V
V F V
F V V
F F F
1
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
14
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
Observacion
En la bicondicional p ↔ q se dice que:
q es suficiente y necesario para p
15
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
16
Ejercicio
3: la tabla de verdad de la siguiente proposición compuesta:
Elabore
(p∨q)
→
(p∧q)
p q (p∨q) → (p∧q)
V V
V F
F V
F F
17
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
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN
Ejemplos
p q p→q ~p ∨ q p q p ∨ (p ∧ q) p
V V V F V V V V V V V V
V F F F F F V F V V F V
F V V V V V F V F F F F
F F V V V 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
19
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
20
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓ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
21
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓ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
22
Ejercicio
5: si las proposiciones son Tautologías(V) o contradicciones(F)
Señale
I. ( p∧q ) → ( p )
II. ( ~p∨q ) ↔ ( p→q )
III. q ∧ ~( p→q )
p q (p∧q)→ p ( ~p ∨ q ) ↔ ( p → q q ∧ ~( p → q )
)
V V
V F
F V
F F
23
ÁLGEBRA PROPOSICIONAL
𝟑𝐚. 𝐩 ∨ (𝐪 ∨ 𝐫) ≡ (𝐩 ∨ 𝐪) ∨ 𝐫 𝟑𝐛. 𝐩 ∧ (𝐪 ∧ 𝐫) ≡ (𝐩 ∧ 𝐪) ∧ 𝐫
𝟒𝐚. 𝐩 ∨ (𝐪 ∧ 𝐫) ≡ (𝐩 ∨ 𝐪) ∧ (𝐩 ∨ 𝐫) 𝟒𝐛. 𝐩 ∧ (𝐪 ∨ 𝐫) ≡ (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫)
𝟓𝐚. 𝐩 ∨ ~𝐩 ≡ 𝐕 𝟓𝐚. 𝐩 ∧ ~𝐩 ≡ 𝐅
𝟔𝐚. 𝐩∨ 𝐕≡𝐕 𝟔𝐚. 𝐩∧𝐕≡𝐩
𝟕𝐚. 𝐩∨ 𝐅≡𝐩 𝟕𝐚. 𝐩∧𝐅≡𝑭
24
ÁLGEBRA PROPOSICIONAL
Leyes de Morgan
𝟖𝐚. ~(𝐩 ∨ 𝐪) ≡ ~𝐩 ∧ ~𝐪 𝟖𝐛. ~(𝐩 ∧ 𝐪) ≡ ~𝐩 ∨ ~q
Leyes de Absorción
𝟗𝐚. 𝐩 ∨ (𝐩 ∧ 𝐪) ≡ 𝐩 𝟗𝐛. 𝐩 ∧ (𝐩 ∨ 𝐪) ≡ 𝐩
Falsa Absorción
𝟏𝟎𝐚. 𝐩 ∨ (~𝐩 ∧ 𝐪) ≡ 𝐩 ∨ 𝐪 𝟏𝟎𝐛. 𝐩 ∧ (~𝐩 ∨ 𝐪) ≡ 𝐩 ∧ 𝐪
Condicional
𝟏𝟏. 𝐩 → 𝐪 ≡ ~𝐩 ∨ 𝐪 𝟏𝟐. 𝐩 → 𝐪 ≡ ~𝐪 → ~𝐩
Bicondicional 𝟏𝟑. 𝐩 ↔ 𝐪 ≡ (𝐩 → 𝐪) ∧ (𝐪 → 𝐩)
25
ÁLGEBRA PROPOSICIONAL
𝟐𝟎𝐚. ~ 𝐩 ↔ 𝐪 ≡ ~𝒑 ↔ 𝐪 𝟐𝟎𝐛. ~ 𝐩 △ 𝐪 ≡ ~𝒑 △ 𝐪
≡ (𝒑 ↔ ~𝐪) ≡ (𝒑 △ ~𝐪)
𝟐𝟏𝐚. ~𝐩 ↔ ~𝐪 ≡ 𝒑 ↔ 𝐪 𝟐𝟏𝐛. ~𝐩 △ ~𝐪 ≡ 𝒑 △ 𝐪
26
Ejercicio
6:
Simplifique las siguientes fórmulas lógicas
I. ( p ∧ q ) → ( p )
II. q ∧ ~( p → q )
III. [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )
27