SlideShare une entreprise Scribd logo
1  sur  17
LÓGICA MATEMÁTICA  4º Plan Electivo Matemático
Contenidos Proposiciones Conectivos lógicos y tablas de verdad Tautologías, contradicciones  y consecuencias lógicas Cuantificadores universal y existencial. Métodos básicos de demostración en matemáticas  
Proposiciones Proposición es una afirmación de la cual podemos decir   que es falsa, o bien que es verdadera, pero no ambas cosas. EJEMPLOS: Son proposiciones a) “Santiago es la capital de Chile”. b) “El perro camina en 2 patas”. c) “4 + 5 = −8”.
Proposiciones  No son proposiciones ¡Buenos días! 30:5 Los  meses del año.
Proposiciones De aquí en adelante, denotaremos a una proposición mediante una letra (como p, q, r, etc.), posiblemente con algún subíndice Para cada proposición hay dos posibles valores de verdad que le podemos asignar: V (verdadero) ó F (falso) y si tenemos una proposición p a la cual se le ha       asignado el valor de verdad V (o bien, el valor F), diremos también que p es verdadera (o que es falsa).
Ejemplos Indicar cual o cuales  de las siguientes expresiones son proposiciones y determinar su valor verdad. ¿Qué hora es? El árbol pertenece al reino animal El queso es un subproducto de la leche En Chile en invierno la temperatura  ambiente pasa  de 35ª Celcius. Voy a salir , regreso mas tarde. Cierra la puerta.
Función Proposicional Es una proposición en que el sujeto esta dado en forma de símbolo y que puede ser reemplazado por alguno de los elementos de un conjunto fijado con anterioridad P(x) : x es un número natural, o x IN,
Toda vez que x sea reemplazado, la función proposicional se transforma en función y tiene valor verdad. P(x):   es  IN Si   x= 2 ,   es V Si x = 0,5    es F
Función Proposicional Las funciones proposicionales pueden tener 2  o mas variables Ej P(x,y): x  IN , y Z    ^    x >y
Conectivos lógicos y tablas de verdad Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de conectivos lógicos. Algunos de ellos son:  “y”         Λconjunción “o”                          V       disyunción “si .., entonces”	=>implicación “si y sólo si”	doble implicación “no”			~negación
Ejemplos Determinar cuales de las siguientes expresiones son proposiciones y cuáles son funciones proposicionales. Los números mayores que 2 son negativos. El número entero x es mayor que 10 Los múltiplos  de 2 son infinitos. Los enteros x e y son factores de 12.
La negación La negación de una proposición es aquella que modifica la proposición dándole el sentido contrario. P:   5 es mayor que 2 La negación denotada por  ~p ~p: es falso que 5  es mayor que 2 ~p: 5 no es mayor que 2
Axioma de la Negación p y ~p , tienen valores de verdad contrarios. En nuestro ejemplo P es V ~p es falso
Proposiciones compuestas Son aquellas que están formadas por varias  proposiciones simples unidas por conectivos Ejemplo Si  a· b= 0  entonces a=0  ó  b=0 P: a· b= 0  q: a  = 0 r:  b= 0                p=>(q V r)   es decir  (a· b= 0 ) => (a=0  ó  b=0)
TABLAS DE VERDAD
Tautología y Contradicción Se llama tautología a una proposición compuesta cuyo valor verdad es siempre  V Se llama contradicción a una proposición compuesta cuyo valor verdad es siempre  F
Ejemplo Sean p: x· y > 0    , q: x > 0   ,  r: y> 0 x,y  IR  , x y ≠  0 Explicar que significa   ~q  ,~r,  ~p Escribir en símbolos la siguiente proposición :” el producto de dos números reales es mayor que cero si y solo si ambos son positivos o ambos negativos” Escribir en palabras ~p↔(~q^ r) V ( q ^ ~r).

Contenu connexe

Tendances

LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
valefrey1
 

Tendances (20)

Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Valor absoluto
Valor absolutoValor absoluto
Valor absoluto
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
Cuadro De Boecio
Cuadro De BoecioCuadro De Boecio
Cuadro De Boecio
 
Calculo predicadospartei
Calculo predicadosparteiCalculo predicadospartei
Calculo predicadospartei
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Probabilidades
ProbabilidadesProbabilidades
Probabilidades
 

En vedette

Repaso mates 1º eso santillana libro
Repaso mates  1º eso santillana libroRepaso mates  1º eso santillana libro
Repaso mates 1º eso santillana libro
verotrasna
 
Ejercicio matemáticas tipo icfes
Ejercicio matemáticas tipo icfesEjercicio matemáticas tipo icfes
Ejercicio matemáticas tipo icfes
iscfesmatematicas
 

En vedette (12)

Práctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRTPráctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRT
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Matemáticas icfes 1
Matemáticas icfes 1Matemáticas icfes 1
Matemáticas icfes 1
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Banco de problemas
Banco de problemas Banco de problemas
Banco de problemas
 
Repaso mates 1º eso santillana libro
Repaso mates  1º eso santillana libroRepaso mates  1º eso santillana libro
Repaso mates 1º eso santillana libro
 
Prueba de matemáticas 2012
Prueba de matemáticas 2012Prueba de matemáticas 2012
Prueba de matemáticas 2012
 
Ejercicio matemáticas tipo icfes
Ejercicio matemáticas tipo icfesEjercicio matemáticas tipo icfes
Ejercicio matemáticas tipo icfes
 
Icfes saber matematicas
Icfes saber matematicasIcfes saber matematicas
Icfes saber matematicas
 
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
 
Curriculo inicial Ministerio de Educacion Republica Dominicana 2014
Curriculo inicial Ministerio de Educacion Republica Dominicana 2014Curriculo inicial Ministerio de Educacion Republica Dominicana 2014
Curriculo inicial Ministerio de Educacion Republica Dominicana 2014
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
 

Similaire à Lógica matemática

trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
RODRIGOACUA55
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
ASIGNACIONUFT
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
Mariexis Cova
 
Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1
choco-late
 
Matemática I (parte 1)
Matemática I   (parte 1)Matemática I   (parte 1)
Matemática I (parte 1)
enzo1424
 

Similaire à Lógica matemática (20)

Ing. Civil - Cuadernillo 2018
Ing. Civil  - Cuadernillo 2018Ing. Civil  - Cuadernillo 2018
Ing. Civil - Cuadernillo 2018
 
Clase 2.pdf
Clase 2.pdfClase 2.pdf
Clase 2.pdf
 
Proposiciones lógicas luis serrano
Proposiciones lógicas luis serranoProposiciones lógicas luis serrano
Proposiciones lógicas luis serrano
 
211118231316-Logica y Demostraciones. Presentacion(1).pptx
211118231316-Logica y Demostraciones. Presentacion(1).pptx211118231316-Logica y Demostraciones. Presentacion(1).pptx
211118231316-Logica y Demostraciones. Presentacion(1).pptx
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1
 
Matemática I (parte 1)
Matemática I   (parte 1)Matemática I   (parte 1)
Matemática I (parte 1)
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
Demostracion condicional
Demostracion condicionalDemostracion condicional
Demostracion condicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 

Plus de Maria Angélica Jiménez (20)

Taller de ecuaciones con fracciones algebraicas
Taller de ecuaciones con fracciones algebraicas Taller de ecuaciones con fracciones algebraicas
Taller de ecuaciones con fracciones algebraicas
 
Conjuntos comp
Conjuntos  comp Conjuntos  comp
Conjuntos comp
 
Taller 2 de valoracion de formulas
Taller 2 de valoracion de formulasTaller 2 de valoracion de formulas
Taller 2 de valoracion de formulas
 
Un esfuerzo extra
Un esfuerzo extraUn esfuerzo extra
Un esfuerzo extra
 
Lenguaje algebraico
Lenguaje algebraicoLenguaje algebraico
Lenguaje algebraico
 
Geometria
GeometriaGeometria
Geometria
 
Razones trigonometricas
Razones trigonometricasRazones trigonometricas
Razones trigonometricas
 
Ecuacion general de la circunferencia
Ecuacion general de la circunferenciaEcuacion general de la circunferencia
Ecuacion general de la circunferencia
 
Funcion afin y lineal
Funcion afin y linealFuncion afin y lineal
Funcion afin y lineal
 
Unidad didactica
Unidad didacticaUnidad didactica
Unidad didactica
 
Unidad didactica
Unidad didacticaUnidad didactica
Unidad didactica
 
Angcircunferencia
AngcircunferenciaAngcircunferencia
Angcircunferencia
 
Factorizacion
FactorizacionFactorizacion
Factorizacion
 
Resumen de productos notables
Resumen de productos notablesResumen de productos notables
Resumen de productos notables
 
Productos notables
Productos notablesProductos notables
Productos notables
 
Almuerzocondios
AlmuerzocondiosAlmuerzocondios
Almuerzocondios
 
Todoloquevaregresa
TodoloquevaregresaTodoloquevaregresa
Todoloquevaregresa
 
Intervalos reales
Intervalos realesIntervalos reales
Intervalos reales
 
Taller de funcion cuadrática
Taller de funcion cuadráticaTaller de funcion cuadrática
Taller de funcion cuadrática
 
Función cuadrática
Función cuadráticaFunción cuadrática
Función cuadrática
 

Lógica matemática

  • 1. LÓGICA MATEMÁTICA  4º Plan Electivo Matemático
  • 2. Contenidos Proposiciones Conectivos lógicos y tablas de verdad Tautologías, contradicciones y consecuencias lógicas Cuantificadores universal y existencial. Métodos básicos de demostración en matemáticas  
  • 3. Proposiciones Proposición es una afirmación de la cual podemos decir que es falsa, o bien que es verdadera, pero no ambas cosas. EJEMPLOS: Son proposiciones a) “Santiago es la capital de Chile”. b) “El perro camina en 2 patas”. c) “4 + 5 = −8”.
  • 4. Proposiciones No son proposiciones ¡Buenos días! 30:5 Los meses del año.
  • 5. Proposiciones De aquí en adelante, denotaremos a una proposición mediante una letra (como p, q, r, etc.), posiblemente con algún subíndice Para cada proposición hay dos posibles valores de verdad que le podemos asignar: V (verdadero) ó F (falso) y si tenemos una proposición p a la cual se le ha asignado el valor de verdad V (o bien, el valor F), diremos también que p es verdadera (o que es falsa).
  • 6. Ejemplos Indicar cual o cuales de las siguientes expresiones son proposiciones y determinar su valor verdad. ¿Qué hora es? El árbol pertenece al reino animal El queso es un subproducto de la leche En Chile en invierno la temperatura ambiente pasa de 35ª Celcius. Voy a salir , regreso mas tarde. Cierra la puerta.
  • 7. Función Proposicional Es una proposición en que el sujeto esta dado en forma de símbolo y que puede ser reemplazado por alguno de los elementos de un conjunto fijado con anterioridad P(x) : x es un número natural, o x IN,
  • 8. Toda vez que x sea reemplazado, la función proposicional se transforma en función y tiene valor verdad. P(x): es  IN Si x= 2 , es V Si x = 0,5 es F
  • 9. Función Proposicional Las funciones proposicionales pueden tener 2 o mas variables Ej P(x,y): x  IN , y Z ^ x >y
  • 10. Conectivos lógicos y tablas de verdad Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de conectivos lógicos. Algunos de ellos son:  “y” Λconjunción “o” V disyunción “si .., entonces” =>implicación “si y sólo si” doble implicación “no” ~negación
  • 11. Ejemplos Determinar cuales de las siguientes expresiones son proposiciones y cuáles son funciones proposicionales. Los números mayores que 2 son negativos. El número entero x es mayor que 10 Los múltiplos de 2 son infinitos. Los enteros x e y son factores de 12.
  • 12. La negación La negación de una proposición es aquella que modifica la proposición dándole el sentido contrario. P: 5 es mayor que 2 La negación denotada por ~p ~p: es falso que 5 es mayor que 2 ~p: 5 no es mayor que 2
  • 13. Axioma de la Negación p y ~p , tienen valores de verdad contrarios. En nuestro ejemplo P es V ~p es falso
  • 14. Proposiciones compuestas Son aquellas que están formadas por varias proposiciones simples unidas por conectivos Ejemplo Si a· b= 0 entonces a=0 ó b=0 P: a· b= 0 q: a = 0 r: b= 0 p=>(q V r) es decir (a· b= 0 ) => (a=0 ó b=0)
  • 16. Tautología y Contradicción Se llama tautología a una proposición compuesta cuyo valor verdad es siempre V Se llama contradicción a una proposición compuesta cuyo valor verdad es siempre F
  • 17. Ejemplo Sean p: x· y > 0 , q: x > 0 , r: y> 0 x,y  IR , x y ≠ 0 Explicar que significa ~q ,~r, ~p Escribir en símbolos la siguiente proposición :” el producto de dos números reales es mayor que cero si y solo si ambos son positivos o ambos negativos” Escribir en palabras ~p↔(~q^ r) V ( q ^ ~r).