SlideShare una empresa de Scribd logo
1 de 7
Función Proposicional 
En 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 Proposicional 
2.- 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 
2x - 10 ˂2 
2x ˂12 
x˂ 6 
x ˂ 6 Condición Resuelta 
1 ˂ 6 ( v ) 
8 ˂ 6 ( f ) 
12˂ 6 ( f )
Función Proposicional 
Una 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 Proposicional 
3.- 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 Proposicional 
4.- 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 Proposicional 
5.- 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 Proposicional 
Taller 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

Más contenido relacionado

La actualidad más candente

Ejercicios de axiomas
Ejercicios de axiomasEjercicios de axiomas
Ejercicios de axiomasLuis Lopez Ac
 
Grado de un polinomio
Grado de un polinomioGrado de un polinomio
Grado de un polinomiocarfelaq
 
Ecuaciones presentación
Ecuaciones presentaciónEcuaciones presentación
Ecuaciones presentaciónUPAEP
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO Jomar Burgos Palacios
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 
FUNCIONES RACIONALES
FUNCIONES RACIONALESFUNCIONES RACIONALES
FUNCIONES RACIONALESCris Panchi
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadoresPacheco Huarotto, Luis
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basicaYanina C.J
 
Las reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruenciasLas reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruenciasyefema
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 

La actualidad más candente (20)

Ejercicios de axiomas
Ejercicios de axiomasEjercicios de axiomas
Ejercicios de axiomas
 
Grado de un polinomio
Grado de un polinomioGrado de un polinomio
Grado de un polinomio
 
Funciones ejercicios resueltos
Funciones ejercicios resueltosFunciones ejercicios resueltos
Funciones ejercicios resueltos
 
Ecuaciones presentación
Ecuaciones presentaciónEcuaciones presentación
Ecuaciones presentación
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
FUNCIONES RACIONALES
FUNCIONES RACIONALESFUNCIONES RACIONALES
FUNCIONES RACIONALES
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Capitulo 3 ejercicios
Capitulo 3 ejerciciosCapitulo 3 ejercicios
Capitulo 3 ejercicios
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Las reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruenciasLas reglas de divisibilidad demostradas con congruencias
Las reglas de divisibilidad demostradas con congruencias
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Matematica i
Matematica  iMatematica  i
Matematica i
 

Destacado

Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresjazzme
 
Statistique admissibilité Capes interne 2007
Statistique admissibilité Capes interne 2007Statistique admissibilité Capes interne 2007
Statistique admissibilité Capes interne 2007Louberee Beck
 
~7568324
~7568324~7568324
~7568324ro con
 
Libqual au pays des méthodes d'évaluation
Libqual au pays des méthodes d'évaluationLibqual au pays des méthodes d'évaluation
Libqual au pays des méthodes d'évaluationNicolas Alarcon
 
ILL-SBN i Aura 17decembre2008
ILL-SBN i Aura 17decembre2008ILL-SBN i Aura 17decembre2008
ILL-SBN i Aura 17decembre2008ICCU
 
ALEPH-TEA Pymes solidarias
ALEPH-TEA Pymes solidarias ALEPH-TEA Pymes solidarias
ALEPH-TEA Pymes solidarias aleph-tea
 
Hépatite C Baromètre en Belgique 2015
Hépatite C Baromètre en Belgique2015Hépatite C Baromètre en Belgique2015
Hépatite C Baromètre en Belgique 2015Medical Web Services
 
Enquête identité numérique
Enquête identité numériqueEnquête identité numérique
Enquête identité numériqueProfcdj CDJ
 
Les jeux vidéo en bibliothèque
Les jeux vidéo en bibliothèqueLes jeux vidéo en bibliothèque
Les jeux vidéo en bibliothèqueNicolas Alarcon
 
Crise financiere mondiale 02
Crise financiere mondiale 02Crise financiere mondiale 02
Crise financiere mondiale 02Sami Sahli
 
Xiomara yañez gonzales
Xiomara yañez gonzalesXiomara yañez gonzales
Xiomara yañez gonzalesMixiandromi
 

Destacado (20)

Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadores
 
Statistique admissibilité Capes interne 2007
Statistique admissibilité Capes interne 2007Statistique admissibilité Capes interne 2007
Statistique admissibilité Capes interne 2007
 
Diseño con gestos 1
Diseño con gestos 1Diseño con gestos 1
Diseño con gestos 1
 
~7568324
~7568324~7568324
~7568324
 
Rgthyj67rjuyklmij6rety
Rgthyj67rjuyklmij6retyRgthyj67rjuyklmij6rety
Rgthyj67rjuyklmij6rety
 
Libqual au pays des méthodes d'évaluation
Libqual au pays des méthodes d'évaluationLibqual au pays des méthodes d'évaluation
Libqual au pays des méthodes d'évaluation
 
Paris
ParisParis
Paris
 
ILL-SBN i Aura 17decembre2008
ILL-SBN i Aura 17decembre2008ILL-SBN i Aura 17decembre2008
ILL-SBN i Aura 17decembre2008
 
ALEPH-TEA Pymes solidarias
ALEPH-TEA Pymes solidarias ALEPH-TEA Pymes solidarias
ALEPH-TEA Pymes solidarias
 
defour phd
defour phddefour phd
defour phd
 
Hépatite C Baromètre en Belgique 2015
Hépatite C Baromètre en Belgique2015Hépatite C Baromètre en Belgique2015
Hépatite C Baromètre en Belgique 2015
 
Enquête identité numérique
Enquête identité numériqueEnquête identité numérique
Enquête identité numérique
 
Les jeux vidéo en bibliothèque
Les jeux vidéo en bibliothèqueLes jeux vidéo en bibliothèque
Les jeux vidéo en bibliothèque
 
Crise financiere mondiale 02
Crise financiere mondiale 02Crise financiere mondiale 02
Crise financiere mondiale 02
 
Las pizarras y us modalidades
Las pizarras y us modalidadesLas pizarras y us modalidades
Las pizarras y us modalidades
 
Xiomara yañez gonzales
Xiomara yañez gonzalesXiomara yañez gonzales
Xiomara yañez gonzales
 
Memorias Módulo Social
Memorias Módulo SocialMemorias Módulo Social
Memorias Módulo Social
 
Trabajo 6
Trabajo 6Trabajo 6
Trabajo 6
 
Cuadro comparativo y esquemas copia
Cuadro comparativo y esquemas   copiaCuadro comparativo y esquemas   copia
Cuadro comparativo y esquemas copia
 

Similar a Función proposicional [recuperado]

Similar a Función proposicional [recuperado] (20)

FMMA010_apunte_s11.pdf
FMMA010_apunte_s11.pdfFMMA010_apunte_s11.pdf
FMMA010_apunte_s11.pdf
 
Cuaderno Matemática 9º Semestre
Cuaderno Matemática 9º SemestreCuaderno Matemática 9º Semestre
Cuaderno Matemática 9º Semestre
 
X_Sem3.pdf
X_Sem3.pdfX_Sem3.pdf
X_Sem3.pdf
 
Tema 2 Polinomios y fracciones algebraicas
Tema 2 Polinomios y fracciones algebraicasTema 2 Polinomios y fracciones algebraicas
Tema 2 Polinomios y fracciones algebraicas
 
Algebra
AlgebraAlgebra
Algebra
 
Instituto universitario tecnologico
Instituto universitario tecnologicoInstituto universitario tecnologico
Instituto universitario tecnologico
 
proceso de inferencia
proceso de inferencia proceso de inferencia
proceso de inferencia
 
Calculo de Predicados
Calculo de PredicadosCalculo de Predicados
Calculo de Predicados
 
Máximos y Mínimos de una función de varias variables
Máximos y Mínimos de una función de varias variablesMáximos y Mínimos de una función de varias variables
Máximos y Mínimos de una función de varias variables
 
Funcion racional
Funcion racionalFuncion racional
Funcion racional
 
Cuaderno Matemática 5º Año Cs.
Cuaderno Matemática 5º Año Cs.Cuaderno Matemática 5º Año Cs.
Cuaderno Matemática 5º Año Cs.
 
Funciones variables
Funciones variablesFunciones variables
Funciones variables
 
Ec. polinómicas
Ec. polinómicasEc. polinómicas
Ec. polinómicas
 
Calculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicasCalculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicas
 
PPT FUNCIONES DIVERSAS ALGEBRAICAS.pdf
PPT FUNCIONES DIVERSAS ALGEBRAICAS.pdfPPT FUNCIONES DIVERSAS ALGEBRAICAS.pdf
PPT FUNCIONES DIVERSAS ALGEBRAICAS.pdf
 
Polinomios
PolinomiosPolinomios
Polinomios
 
PRODUCTOS NOTABLES Y FACTORIZACION
PRODUCTOS NOTABLES Y FACTORIZACIONPRODUCTOS NOTABLES Y FACTORIZACION
PRODUCTOS NOTABLES Y FACTORIZACION
 
Teorema del residuo
Teorema del residuoTeorema del residuo
Teorema del residuo
 
Ejercicio 3
Ejercicio 3Ejercicio 3
Ejercicio 3
 
Polinomios Teoría
Polinomios TeoríaPolinomios Teoría
Polinomios Teoría
 

Más de Victor Alegre

Retroalimentacion a distancia DAR 113
Retroalimentacion a distancia  DAR 113Retroalimentacion a distancia  DAR 113
Retroalimentacion a distancia DAR 113Victor Alegre
 
Plan de capacitacion mes de junio
Plan de capacitacion mes de junioPlan de capacitacion mes de junio
Plan de capacitacion mes de junioVictor Alegre
 
Capacitaciones dar 1
Capacitaciones dar 1Capacitaciones dar 1
Capacitaciones dar 1Victor Alegre
 
Informe modelo de docentes dar y meb
Informe modelo de docentes  dar y mebInforme modelo de docentes  dar y meb
Informe modelo de docentes dar y mebVictor Alegre
 
Informe modelo de docentes dar y meb
Informe modelo de docentes  dar y mebInforme modelo de docentes  dar y meb
Informe modelo de docentes dar y mebVictor Alegre
 
Plan de capacitacion a los docentes en los entornos virtuales
Plan de capacitacion a los docentes en los entornos virtualesPlan de capacitacion a los docentes en los entornos virtuales
Plan de capacitacion a los docentes en los entornos virtualesVictor Alegre
 
Informe de docentes mayo dar 113
Informe de docentes mayo dar 113Informe de docentes mayo dar 113
Informe de docentes mayo dar 113Victor Alegre
 
Cartilla 1 padres_de_familia
Cartilla 1 padres_de_familiaCartilla 1 padres_de_familia
Cartilla 1 padres_de_familiaVictor Alegre
 
Ppt rvm 094 2020-minedu
Ppt rvm 094 2020-mineduPpt rvm 094 2020-minedu
Ppt rvm 094 2020-mineduVictor Alegre
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaicaVictor Alegre
 
3 desarrollo modulo ix meb (2)
3 desarrollo modulo ix meb (2)3 desarrollo modulo ix meb (2)
3 desarrollo modulo ix meb (2)Victor Alegre
 
Matriz de matematica alegre
Matriz  de matematica  alegreMatriz  de matematica  alegre
Matriz de matematica alegreVictor Alegre
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaicaVictor Alegre
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaicaVictor Alegre
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaicaVictor Alegre
 
Tarea aprendo en casa funcion cuadratica
Tarea aprendo en casa funcion cuadraticaTarea aprendo en casa funcion cuadratica
Tarea aprendo en casa funcion cuadraticaVictor Alegre
 

Más de Victor Alegre (20)

Retroalimentacion a distancia DAR 113
Retroalimentacion a distancia  DAR 113Retroalimentacion a distancia  DAR 113
Retroalimentacion a distancia DAR 113
 
Catalogo de paginas
Catalogo de paginasCatalogo de paginas
Catalogo de paginas
 
Plan de capacitacion mes de junio
Plan de capacitacion mes de junioPlan de capacitacion mes de junio
Plan de capacitacion mes de junio
 
Junio
JunioJunio
Junio
 
Capacitaciones dar 1
Capacitaciones dar 1Capacitaciones dar 1
Capacitaciones dar 1
 
Informe modelo de docentes dar y meb
Informe modelo de docentes  dar y mebInforme modelo de docentes  dar y meb
Informe modelo de docentes dar y meb
 
Informe modelo de docentes dar y meb
Informe modelo de docentes  dar y mebInforme modelo de docentes  dar y meb
Informe modelo de docentes dar y meb
 
Plan de capacitacion a los docentes en los entornos virtuales
Plan de capacitacion a los docentes en los entornos virtualesPlan de capacitacion a los docentes en los entornos virtuales
Plan de capacitacion a los docentes en los entornos virtuales
 
Informe de docentes mayo dar 113
Informe de docentes mayo dar 113Informe de docentes mayo dar 113
Informe de docentes mayo dar 113
 
Cartilla 1 padres_de_familia
Cartilla 1 padres_de_familiaCartilla 1 padres_de_familia
Cartilla 1 padres_de_familia
 
Ppt rvm 094 2020-minedu
Ppt rvm 094 2020-mineduPpt rvm 094 2020-minedu
Ppt rvm 094 2020-minedu
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaica
 
3 desarrollo modulo ix meb (2)
3 desarrollo modulo ix meb (2)3 desarrollo modulo ix meb (2)
3 desarrollo modulo ix meb (2)
 
Matriz de matematica alegre
Matriz  de matematica  alegreMatriz  de matematica  alegre
Matriz de matematica alegre
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaica
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaica
 
Sesion funcion cuadrtaica
Sesion funcion cuadrtaicaSesion funcion cuadrtaica
Sesion funcion cuadrtaica
 
Tarea aprendo en casa funcion cuadratica
Tarea aprendo en casa funcion cuadraticaTarea aprendo en casa funcion cuadratica
Tarea aprendo en casa funcion cuadratica
 
Logaritmos
LogaritmosLogaritmos
Logaritmos
 
Modulo 4 to mat (1)
Modulo 4 to mat (1)Modulo 4 to mat (1)
Modulo 4 to mat (1)
 

Función proposicional [recuperado]

  • 1. Función Proposicional En 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.
  • 2. Función Proposicional 2.- 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 2x - 10 ˂2 2x ˂12 x˂ 6 x ˂ 6 Condición Resuelta 1 ˂ 6 ( v ) 8 ˂ 6 ( f ) 12˂ 6 ( f )
  • 3. Función Proposicional Una 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 )
  • 4. Función Proposicional 3.- 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
  • 5. Función Proposicional 4.- 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
  • 6. Función Proposicional 5.- 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
  • 7. Función Proposicional Taller 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