P Q ¬P ¬𝑷 ∧ 𝑸 ¬𝑷 ∧ 𝑸 →𝑷
V V F F V
V F F F V
F V V V F
F F V F V
𝒑 ∧ 𝒒 → 𝒒∨𝒓
LÓGICA MATEMÁTICA
CONCEPTOS
(SEGÚN LA REAL ACADEMIA DE LA LENGUA ESPAÑOLA)
LÓGICA MATEMÁTICA
Ciencia que expone las leyes, modos y
Ciencia deductiva que estudia las propiedades
formas del conocimiento científico.
(ciencia formal, rama de la filosofía) de los entes abstractos como números, figuras
geométricas o símbolos y sus relaciones.
CIENCIA DEL CORRECTO RAZONAR
LÓGICA FORMAL O MATEMÁTICA
La que opera utilizando un lenguaje simbólico artificial y
haciendo abstracción de los contenidos
La palabra “lógica” viene del griego antiguo que significa: dotado de razón,
intelectual, dialéctico, argumentativo.
Y de la palabra “logos” que significa: palabra, pensamiento, idea,
argumento, razón o principio
La palabra “matemática” viene del griego antiguo y significa: lo que se
aprende
La Lógica Matemática es la disciplina que trata de métodos de razonamiento.
Proporciona reglas y técnicas para determinar si un argumento es válido o no.
Examina la validez de los argumentos en su estructura, independiente del contenido específico del
discurso, de la lengua utilizada en su expresión, y de los estados reales a los que dicho contenido se
pueda referir.
El razonamiento lógico se emplea en:
FILOSOFÍA: Para determinar si un razonamiento es válido o no.
MATEMÁTICAS: Para demostrar teoremas
COMPUTACIÓN: En la verificación de programas
CIENCIAS FISICAS Y NATURALES: En la conclusión de experimentos
CIENCIAS SOCIALES Y VIDA DIARIA: Para resolver multitud de problemas
Lenguaje: Sistema de comunicación verbal
Nos expresamos a través del lenguaje
El lenguaje tiene tres funciones básicas de uso:
El Comunicativo, el expresivo y el directivo
COMUNICATIVO EXPRESIVO DIRECTIVO
Sirve para transmitir mensajes No es ni verdadero ni falso. Cumple simplemente la
significantes de un hablante a Refiere solamente una función de originar o impedir
otro. Estos mensajes pueden función expresiva que se usa una acción. Cuando
variar desde lo informativo para comunicar o dar mandamos a hacer algo o que
se cumpla una acción lo que
hasta la descripción del expansión a los sentimientos se pretende es que se cumpla
desarrollo de las ciencias y emociones . una acción, no hay
exactas. Para expresar un dolor: información ni expresamos
Su PRIORIDAD es la ¡Que desgracia! algo, igualmente, cuando
determinación de la verdad o ¡Que dolor! ; ¡Te amo!. preguntamos esperamos una
falsedad, la presentación de respuesta. No es ni
razonamientos válidos o no Estas expresiones propias del verdadero ni falso.
válidos, siendo la combina- lenguaje expresivo no están
ción de estos factores lo que dirigidas a comunicar Una orden que manda cerrar
una puerta no predica ni
constituye la base del co- informaciones sino que verdad ni falsedad, única-
nocimiento humano. expresan un estado de mente pretende que se le
ánimo. acate.
La Ciencia nos ofrece los ejemplos más claros del discurso informativo y es la Poesía el
mejor ejemplo del lenguaje expresivo
La oración es la unidad de lenguaje que expresa un sentido completo.
La oración pueden ser:
Enunciativa: Expresa algo que puede ser verdadero o falso.
“La luna es redonda”; “El agua es hidrógeno y oxígeno”
Interrogativa: Pregunta algo.
¿Cómo te llamas?; ¿Qué es aquello?
Desiderativa: Expresa el deseo de que ocurra o no un hecho.
Ojalá no llueva; Que lindo sería vivir en la playa.
Dubitativa: Expresa duda.
Quizás mañana llueva, A lo mejor estudiare química.
Imperativa : Sirve para pedir, mandar, aconsejar, prohibir,…
Cállate; No comas eso; Te lo suplico.
Exclamativa: Expresa un sentimiento, un entusiasmo, una indignación,…
¡Que Dios te ayude!; ¡Ganamos!
Podemos ver que las únicas oraciones que expresan algo que pueda ser verdadero o
falso son las oraciones enunciativas, las otras no son verdaderos o falsas, expresan
pregunta, deseo, duda, mandato o exclamación.
EL ELEMENTO FUNDAMENTAL DE LA LÓGICA MATEMÁTICA ES:
“LA PROPOSICIÓN”
•Es todo enunciado respecto del cual se disponga de un criterio que nos permita
afirmar que su contenido es verdadero o falso.
•Enunciado que puede ser falso o verdadero pero nunca las dos cosas a la vez.
•Cualquier afirmación que es o bien verdadera o bien falsa se denomina proposición
Siendo la Lógica la ciencia del correcto razonar distingue entre el razonamiento válido
y el no válido.
El razonamiento válido es precisamente aquel cuya conclusión es necesariamente
verdadera si se infiere de premisas verdaderas y si se infiere de premisas falsas la
conclusión será también necesariamente falsa.
Como las oraciones del discurso informativo son oraciones enunciativas, son
estas las oraciones que acepta el lenguaje lógico, debido a ese carácter de
enunciar algo verdadero o falso, entonces:
Una PROPOSICIÓN es una expresión enunciativa, una oración
que puede ser verdadera o falsa, pero no ambas a la vez.
OTRO ELEMENTO IMPORTANTE EN LA LÓGICA MATEMÁTICA SON:
“LOS CONECTIVOS”
Son conectores u operaciones lógicas que permiten formar proposiciones compuestas.
(Proposiciones formadas por varias proposiciones simples)
Entonces , las PROPOSICIONES pueden ser :
SIMPLES O COMPUESTAS,
ATÓMICAS O MOLECULARES
•Las proposiciones las representaremos con letras(Letras proposicionales):
•Proposiciones simples: p, q, r, s t,…….
•Proposiciones compuestas: P, Q, R, S, T,…..
Conectiva(o): Elemento verbal o escrito que une a las proposiciones atómicas
formando proposiciones moleculares. (∧,∨, →, ↔).
Por extensión, a la negación de una proposición también se le considera un
conectivo.(~, −, ¬)
Conectivos
Otros
Expresión que Otras expresiones que
Conectivo Símbolo símbolos
Representa representan
utilizados
No es cierto; no es el caso
Negación ~, −, ¬ No que; es falso que, no No; p`; p
sucede que; nunca…
Pero; además; sin embargo;
Conjunción ⋀ y aunque; también; aún; a la And
vez; no obstante.
Disyunción A menos que; o … o… o
∨ o Or; o
inclusiva ambos; o … o… o bien
Disyunción
∨ O…o
exclusiva
Si …, …; con tal que …
Condicional → Si … entonces entonces …; en caso de que
… entonces …; … si …
Bicondicional ↔ Si o solo si Cuando y solo cuando
Tablas de Verdad
Negación = −; ≈; ¬ Conjunción = ∧ Disyunción inclusiva = ∨
p ≈P p q 𝑝 ∧𝑞 p q 𝑝 ∨𝑞
V V V V V V V V
V F V F F V F V
F V F V F F V V
F F F F F F F F
Disyunción exclusiva = ∨ Condicional = → Bicondicional = ↔
p q 𝑝 ∨𝑞 p q 𝑝 →𝑞 p q 𝑝 ↔𝑞
V V F V V V V V V
V F V V F F V F F
F V V F V V F V F
F F F F F V F F V
Condicional = →
p q 𝑝 →𝑞
V V V
V F F
F V V
F F V
Conjunción = ∧
p q 𝑝 ∧𝑞
V V V
V F F
F V F
F F F
Finalizamos así nuestra primera videoconferencia
Ahora les toca estudiar y fijar conceptos, realizar ejercicios
y plantear dudas
La primera evaluación es en la 4ta semana, así que si lo
solicitan realizaremos un Chat para aclarar dudas al final de la
semana 3 o principio de la 4ta.
Deben solicitarlo
Éxito
