Download - Función proposicional [recuperado]
Función ProposicionalEn matemáticas y lógica, una función proposicional es una función cuyas variables son proposiciones. Esto es, una afirmación expresada de manera que podría asumir los valores de verdad de falso o verdadero con la excepción de que existe alguna variable que no está definida o especificada y que por tanto no permite asignar un valor de verdad definido.
Función Proposicional2.- Ejemplo p(x) = 2x-10 ˂ -2 y el dominio M=[x/x e Z] , DETERMINA EL VALOR p(1) . p(8 ), p(12)
P(x) = 2x-10 ˂ 2 condición
x ˂ 6 Condición Resuelta
1 ˂ 6 ( v )
8 ˂ 6 ( f )
12˂ 6 ( f )
2x - 10 ˂2 2x ˂12 x˂ 6
Función ProposicionalUna función proposicional es una función de la forma
P(x) o P(x,y) según el numero de variables que tengan, las cuales al ser sustituidas por elementos de un conjunto llamado Dominio dan origen a una proposición
Ejemplo p(x) = x ˃ 2 y el dominio B=[x/x e Z] , DETERMINA EL VALOR p(3) . P(-2 ), p(10)
P(x) = x ˃ 2 condición
3 ˃ 2 ( f )
-2˃ 2 ( f )
10˃2 ( v )
Función Proposicional3.- Ejemplo p(x) = x- 1 ˂- 6 y el dominio M=[x/x e Z] , DETERMINA EL VALOR: p(-1) . p(-3 ), p(-8)
P(x) = x-1 ˂- 6 condición
x ˂ -5 Condición Resuelta
- 1 ˂ -5 ( f )
-3 ˂ -5 ( f )
-8˂ -5 ( v )
x - 1 ˂-6 x ˂-6 +1 x˂ -5
Función Proposicional4.- Ejemplo p(x) es un numero entero ,Q(x) es divisor de 30 y R(x) x es primo Evalúa [p(4)^q (18)]↔ r(19)
DETERMINAMOS EL VALOR DE VERDAD
P(4)= es un numero entero ( v )
q(18) = es divisor de 30 ( f ) y r(19) = es primo ( v )
[p(4) ^ q (18)]↔ r (19)
v f v
f f v
Función Proposicional5.- Ejemplo p(x) es un numero entero racional ,Q(x) es divisor de 70 y R(x) x es múltiplo de 6
Evalúa: [r(74)^p (√2)] v q(15)
DETERMINAMOS EL VALOR DE VERDAD
P(√2)= es un numero racional ( v )
q(15) = es divisor de 70 ( f )
r(74) = es múltiplo de 6 ( f )
[r(74) → p (√2)] v q(15)
f v f
v v f
Función ProposicionalTaller copiar del libro del estado la actividad de la pagina 28.
1. Resolver las 5 preguntas en forma ordenada
2. Justificar el procedimiento con coherencia
3. Contestar la Autoevaluación