0% encontró este documento útil (0 votos)
292 vistas13 páginas

Saco Oliveros 4to Grado Cap 1

Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo las operaciones lógicas como negación, conjunción, disyunción, condicional y bicondicional junto con sus tablas de verdad correspondientes.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
292 vistas13 páginas

Saco Oliveros 4to Grado Cap 1

Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo las operaciones lógicas como negación, conjunción, disyunción, condicional y bicondicional junto con sus tablas de verdad correspondientes.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Chapter 1

4th
SECONDARY

LÓGICA PROPOSICIONAL
MOTIVATING | STRATEGY

o ¡Qué calor! • El Sol es fuente de energía


o ¿Qué hora es? • Miguel Grau es un héroe
o Te quiero chileno
mucho • 3+4=7
o Te esperaré • Paris es al capital de Italia
¿Qué diferencia observas entre
los enunciados de ambas
columnas?
HELICO | THEORY La lógica es una ciencia que estudia los métodos o
procedimientos que aplican definiciones y leyes o
reglas con el propósito de determinar la validez o
invalidez de las proposiciones.

PROPOSICIÓN LÓGICA CLASES DE PROPOSICION

Ejemplo  Lima es la capital del Perú. Proposición simple

 La Tierra es un planeta Ejemplo


VARIABLE PROPOSICIONAL Europa es un continente = 𝒑
Ejemplo Marcos es físico = 𝒑 Proposición compuesta
Marcos es matemático = 𝒒
Ejemplo
Rosa es amable y respetuosa = 𝒑 ∧ 𝒒
HELICO | THEORY

A Negación (∼) En conclusión: ∼ p : no p


∼ (∼ p) ≡ p
Ejemplo p : Juan es abogado
∼ p : No es cierto que Juan sea abogado
q : Todos los varones son fieles También: ∼ (F) ≡ V
∼ (V) ≡ F
∼q : Algunos varones son fieles
Su tabla de verdad resulta
B Conjunción (∧) “y” p q ( p ∧ q)

Ejemplo V V V
Mateo es ingeniero = 𝒑
V F F
Mateo es profesor = 𝒒
F V F
Mateo es ingeniero y profesor = 𝒑 ∧ 𝒒
F F F
HELICO | THEORY

Su tabla de verdad resulta


C Disyunción débil (∨) “o” p q ( p ∨ q)
Ejemplo
V V V
La matemática es exacta = 𝒑
V F V
La matemática es aplicativa = 𝒒
F V V
La matemática es exacta o aplicativa = 𝒑 ∨ 𝒒
F F F

Su tabla de verdad resulta


D Disyunción fuerte (Δ) “o... o ...”
p q ( p Δ q)
Ejemplo
V V F
Adriana nació en Cuzco = 𝒑
V F V
Adriana nació en Arequipa = 𝒒
F V V
O Adriana nació en Cuzco o nació en Arequipa = 𝒑 Δ 𝒒
F F F
HELICO | THEORY
Su tabla de verdad resulta
E Condicional (→) “si ..., entonces...” p q ( p → q)

Ejemplo V V V
estudio = 𝒑 V F F
apruebo = 𝒒
F V V
Si estudio, entonces apruebo = 𝒑 → 𝒒 V
F F

Bicondicional (↔) Su tabla de verdad resulta


F “si y solo si”
p q ( p ↔ q)
Ejemplo
Omar es profesor = 𝒑 V V V
V F F
Omar es ingeniero = 𝒒
Omar es profesor si y solo si es ingeniero = 𝒑 ↔ 𝒒 F V F
F F V
HELICO | PRACTICE

1. De los enunciados, ¿cuál(es) RESOLUCIÓN

es (son) proposición(es)?

I. Lima es la capital de Ecuador. ( ) Es FALSO es una proposición


II. 8 × 3 – 5 = 20 ( )
Es FALSO es una proposición
III. ¿Qué día es? ( ) Es una pregunta no es una proposición
IV. Un tablero de ajedrez se ( ) Es VERDAD es una proposición
compone de 64 casilleros iguales.
HELICO | PRACTICE

2. Al desarrollar (p Δ ∼ q) → ∼ r mediante
la tabla de verdad. ¿Cuántas verdaderas
(V) aparecen?
RESOLUCIÓN p q r ( p Δ ∼q ) → ∼r
V V V V V F F F
V V F V V F V V
V F V V F V V F
V F F V F V V V
F V V F F F V F
F V F F F F V V
F F V F V V F F Aparecen 6
F F F F V V V verdaderas
V
HELICO | PRACTICE

3. Escriba verdadero (V) o falso RESOLUCIÓN

(F) según corresponda.


𝑎. (2×3=5) → (7–1=8)
𝑎. (2×3 = 5) → (7–1 = 8) ( )
→ ≡
𝑏. ( 16+ 1 = 9) ∨ (5×4 = 22) ( )
𝑏. ( 16 + 1 =9) ∨ (5×4 =22)
𝑐. [MCM(4; 6) = 24] ↔ (3! = 9) ( )
𝑑. (7+3×2 = 20) ∧ (5+9 = 14) ( ) ∨ ≡
𝑐. [MCM(4; 6) =24] ↔ (3! = 9)
↔ ≡

𝑑. (7+3×2 =20) ∧ (5+9 = 14)


∧ ≡
HELICO | PRACTICE

4.
RESOLUCIÓN
Si la proposición compuesta
(∼ p ∧ r) → (t ∨ ∼ q) es falsa. Luego de conocer los valores de
Halle el valor de verdad en: verdad de cada variable, se evalúa la
proposición planteada
(∼ r Δ p ) ↔ (∼ t ∧ q )

Primero analizamos la condicional (∼ r Δ p ) ↔ (∼ t ∧ q)


(∼ p ∧ r ) → (t ∨ ∼ q)

Donde: El valor de verdad de la


𝑝 = F; 𝑞 = V; 𝑟 = V; 𝑡 = F proposición planteada es
FALSO
HELICO | PRACTICE

5. Dadas las proposiciones RESOLUCIÓN

𝒑: 2> 3 𝒑: 2> 3 ( F)

𝒒 : 2 × 8 = 17 𝒒 : 2 × 8 = 17 ( F)

𝒓 : 5! = 120 𝒓 : 5! = 120 ( V)
Halle el valor de verdad en: (∼ q ∨ r ) → ( p Δ ∼ r )
(∼ q ∨ r) → (p Δ ∼ r)
V V F F
V F
F
HELICO | PRACTICE

6. Arianna es una alumna responsable y RESOLUCIÓN

esta repasando para su práctica dirigida


de Aritmética y se dispone a simbolizar
el siguiente enunciado:
“Si no es el caso que Mario sea comerciante
y próspero industrial, entonces es ingeniero
o no es un comerciante”.

De las proposiciones
𝑝 ∶ “Mario es comerciante”.
𝑞 ∶ “Mario es un próspero industrial”.
𝑟 ∶ “Mario es ingeniero”.
∼ ( p ∧ q ) → (r ∨ ∼ p )
HELICO | PRACTICE

Una maestra decide tomar un prueba sorpresa al terminar la clase de Lógica proposicional para
7. comprobar los conocimientos adquiridos por sus alumnos, uno de los problemas tomados dice:
Escriba verdadero (V) o falso (F) según corresponda.

𝑎. p q (p ∧ ∼ q) → ( ∼ p Δ q ) ; es una tautología. ( F )
V V V F F V F V V
V F V V V F F F F
F V F F F V V F V
F F F F V V V V F
𝑏. p q (∼q ∧ p ) → q ; es una contradicción. (F )
V V F F V V V
V F V V V F F
F V F F F V V
F F V F F V F

También podría gustarte