Sesión 3 Función Proposicional
Sesión 3 Función Proposicional
Sesión 3 Función Proposicional
FA C U LTA D E D U C A C I Ó N Y P S I C O L O G Í A
UNIDAD 1 DESTREZA(S)
CONTENIDO(S)
ACTITUD(ES)
CONTENIDO
UNIDAD I
LÓGICA
S E C U E N C I A D I D Á C T I C A
MI PUNTO
01
DE PARTIDA
Juan le dice a Juanita:
Me puedes ayudar a analizar el valor de verdad de las siguientes proposiciones.
𝑥 2 −1
𝑠: para cada 𝑥𝜖ℝ, =𝑥−1
𝑥+1
FACULTAD DE ADMINISTRACIÓN Y CONTABILIDAD
TEORIZO
02
Y ELABORO
S E C U E N C I A D I D Á C T I C A
Funciones proposicionales
expresiones
𝑝 −3 : −3 + 3 = 0 𝑉
𝑖) 𝑥 + 3 = 0
𝑝 1 : 1+3=0 𝐹
𝑖𝑖) 𝑦 𝑒𝑠 𝑝𝑒𝑟𝑢𝑎𝑛𝑜
Funciones proposicionales “cuantos elementos satisfacen el enunciado”
(enunciados abiertos)
cuantificación
se denotan
𝑝 𝑥 :𝑥 + 3 = 0 Ejemplos:
𝑡 𝑦 : 𝑦 𝑒𝑠 𝑝𝑒𝑟𝑢𝑎𝑛𝑜
Sea: 𝑝 𝑥 : 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (𝐼) 𝑭𝒖𝒏𝒄𝒊ó𝒏 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒂 − 𝑬𝒏𝒖𝒏𝒄𝒊𝒂𝒅𝒐
Si a esta función proposicional le anteponemos la locución “para todo x”, obtenemos
una proposición, es decir:
Para todo x natural, x es un número natural par (II) 𝑭
a ) x | p ( x ) r ( x ) d ) x , q ( x ) → s ( x )
b) x , p ( x ) → q ( x ) e) x , r ( x ) s ( x )
c) x | p ( x ) → q ( x ) f ) x , s ( x ) → r ( x )
Definiciones:
Dada las funciones proposicionales p(x), q(x) y la proposición cuantificada universalmente,
es decir: x U , p ( x ) → q ( x )
Definimos:
i) La contrapositiva de x U , p ( x ) → q ( x ) como x U , q ( x ) → p ( x )
ii) La recíproca de x U , p ( x ) → q ( x )
como x U , q ( x ) → p ( x )
Ejemplos
Ejemplos
Considerando al universo al conjunto de todos los cuadriláteros del plano,
Sean las funciones proposicionales p(x), q(x), tal que:
i. p(x): x es un cuadrado;
ii. q(x) : x es equilátero
Ejemplos
Considerando al universo al conjunto de todos los cuadriláteros del plano, y sean las
funciones proposicionales p(x), q(x), tal que:
i. p(x): x es un cuadrado; x U , p ( x ) → q ( x )
ii. q(x) : x es equilátero Todo cuadrilátero, que es cuadrado, V
entonces es equilátero
• La proposición:
su contrapositiva
Luego x U , p ( x ) → q ( x ) x U , q ( x ) → p ( x )
Ejemplos
Considerando al universo al conjunto de todos los cuadriláteros del plano, y sean las
funciones proposicionales p(x), q(x), tal que:
i. p(x): x es un cuadrado;
ii. q(x) : x es equilátero
• La proposición:
x U , q ( x ) → p ( x )
Todo cuadrilátero, que es un
equilátero, entonces es cuadrado F
rombo
Ejemplos
Considerando al universo al conjunto de todos los cuadriláteros del plano, y sean las
funciones proposicionales p(x), q(x), tal que:
i. p(x): x es un cuadrado;
ii. q(x) : x es equilátero
• La proposición:
x U , p ( x ) → q ( x )
Todo cuadrilátero, que no es un
cuadrado, entonces no es equilátero F
rombo
Ejemplos
Considerando al universo al conjunto de los números reales, y sean las funciones
proposicionales p(x), q(x), y r(x), tal que:
p(x): 𝑥 > 3 q(x) : 𝑥 < 3
Analiza el valor de verdad de las proposiciones
a ) x , p ( x ) → q ( x )
b) x , q ( x ) → p ( x )
c) x , q ( x ) → p ( x )
Ejemplos
Considerando al universo al conjunto de los números reales, y sean las funciones
proposicionales p(x), q(x), y r(x), tal que:
p(x): 𝑥 > 3 q(x) : 𝑥 < 3 𝑟 𝑥 : 𝑥 < −3
a ) x , p ( x ) → q ( x ) r ( x )
b) x ,
q ( x ) r ( x ) → p ( x )
Ejemplos
Considerando al universo al conjunto de los números reales, y sean las funciones
proposicionales p(x), q(x), y r(x), tal que:
p(x): 2𝑥 + 1 = 5 q(x) : 𝑥 2 = 25 𝑟 𝑥 : 𝑥 2 −3𝑥 − 10 < 0
a ) x p ( x ) q ( x ) c) x / q ( x) → r ( x)
b) x / p ( x) → r ( x) d ) x / r ( x) → q ( x)
Negación de Proposiciones Cuantificadas
x U p ( x) x U , p ( x )
x U p ( x ) x U , p ( x) x U , p ( x ) x U p ( x)
a) x
p ( x ) q ( x ) c) x , p ( x ) → q ( x )
x , p ( x ) q ( x ) x p ( x ) q ( x )
x x + 4 x + 5 = 0 d) x , x 2 + 2 x 0 → x 2 4 V
b) 2
F
x x 2 + 2 x 0 x 2 = 4 F
x , x + 4 x + 5 0
2
V
FACULTAD DE ADMINISTRACIÓN Y CONTABILIDAD
APLICO
03
LO APRENDIDO
S E C U E N C I A D I D Á C T I C A
• Consulto: DESARROLLANDO
LAS ACTIVIDADES
• PPTT Plataforma Que es uno
de los
• Videoconferencias instrumentos
• eLibro plataforma de
Para ello evaluación
Resuelvo la
actividad 3 del
producto 1
en el tiempo
previsto
GRACIAS
D O C E N T E U M C H