Funcin Proposicional

.

Mg Victor Alegre Freyre

Funcin Proposicional Mg Victor Alegre Freyre

Funcin ProposicionalEn matemticas y lgica, una funcin proposicional es una funcin cuyas variables son proposiciones. Esto es, una afirmacin expresada de manera que podra asumir los valores de verdad de falso o verdadero con la excepcin de que existe alguna variable que no est definida o especificada y que por tanto no permite asignar un valor de verdad definido.

Funcin 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 condicin x 6 Condicin Resuelta 1 6 ( v ) 8 6 ( f ) 12 6 ( f ) 2x - 10 2 2x 12 x 6

Funcin ProposicionalUna funcin proposicional es una funcin de la forma P(x) o P(x,y) segn el numero de variables que tengan, las cuales al ser sustituidas por elementos de un conjunto llamado Dominio dan origen a una proposicinEjemplo 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 condicin 3 2 ( f ) -2 2 ( f ) 102 ( v )

Funcin ProposicionalEn matemticas y lgica, una funcin proposicional es una funcin cuyas variables son proposiciones. Esto es, una afirmacin expresada de manera que podra asumir los valores de verdad de falso o verdadero con la excepcin de que existe alguna variable que no est definida o especificada y que por tanto no permite asignar un valor de verdad definido.

Funcin 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 condicin x -5 Condicin Resuelta - 1 -5 ( f ) -3 -5 ( f ) -8 -5 ( v ) x - 1 -6 x -6 +1 x -5

Funcin Proposicional4.- Ejemplo p(x) es un numero entero ,Q(x) es divisor de 30 y R(x) x es primo Evala [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

Funcin Proposicional5.- Ejemplo p(x) es un numero entero racional ,Q(x) es divisor de 70 y R(x) x es mltiplo de 6 Evala: [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 mltiplo de 6 ( f ) [r(74) p (2)] v q(15) f v f v v f

Funcin ProposicionalTaller copiar del libro del estado la actividad de la pagina 28.Resolver las 5 preguntas en forma ordenadaJustificar el procedimiento con coherenciaContestar la Autoevaluacin