TEMA:

LÓGICA MATEMÁTICA

PARALELO: CURSO
NIVELACIÓN:
EDC 5 2019 OCTUBRE

PROFESOR: FUENTE:
Fundamentos matemáticas
ERWIN JURADO para bachillerato (3ra edición)
TEMAS

Fuente: Fundamentos de matemáticas

para bachillerato Tercera edición
 1.1 PROPOSICIONES

Proposición:
Una proposición es una unidad semántica que, o solo es VERDADERA o solo es
FALSA . Simbología: a, b, c, ….
Valor de Verdad:
El valor de verdad de una proposición es la cualidad de veracidad que describe
adecuadamente la proposición. Este puede ser VERDADERO o FALSO.
Variable Proposicional:
Esta representa a una proposición. El valor de verdad de esta variable puede ser
verdadero o falso. Simbología: p, q, r, ….
Tabla de Verdad:
Es una representación de los posibles valores de verdad que puede tomar una o mas
variables proposicionales.
Fuente: Fundamentos de matemáticas
para bachillerato Tercera edición
 1.2 OPERADORES LÓGICOS
Negación: Conjunción:
: es una variable proposicional y : son variables proposicionales
Negación de p: Conjunción entre p y q:

0 1 0 0 0
1 0 0 1 0
1 0 0
1 1 1
TÉRMINOS
TÉRMINOS SIGNOS DE
GRAMATICALES:
“No” GRAMATICALES: PUNTUACIÓN
“y” Coma
“Ni” “pero”
“No es verdad que” Punto y Coma
“mas”
“No es cierto que” “aunque”
Punto
Fuente: Fundamentos de matemáticas
para bachillerato Tercera edición
 1.2 OPERADORES LÓGICOS
Disyunción: Disyunción Exclusiva:
y : son variables proposicionales y : son variables proposicionales
Disyunción entre p y q: Disyunción exclusiva entre de p y q:

0 0 0 0 0 0
0 1 1 0 1 1
1 0 1 1 0 1
1 1 1 1 1 0

TÉRMINOS p∨ 𝑞≡ ( 𝑝 ∨𝑞 ) ∧¬ ( 𝑝∧𝑞 )
GRAMATICALES: TÉRMINOS
“O” GRAMATICALES:
“O….. , o”
“O solamente”
“O solo” Fuente: Fundamentos de matemáticas
para bachillerato Tercera edición
 1.2 OPERADORES LÓGICOS
Condicional: Bicondicional:
y : son variables proposicionales y : son variables proposicionales
Condicional entre p y q: Bicondicional entre de p y q:

0 0 1 0 0 1
0 1 1 0 1 0
1 0 0 1 0 0
1 1 1 1 1 1
Se denomina ENUNCIACION Se denomina DOBLE 𝑝↔ 𝑞 ≡ ( 𝑝 →𝑞 ) ∧ ( 𝑞 →𝑝 )
HIPOTETICA O IMPLICACION. IMPLICACIÓN
TÉRMINOS
p: es el antecedente, hipótesis o premisa.
q: es el consecuente, conclusión o tesis. GRAMATICALES:
“p si y solo si q”
“p si y solamente si q”
“p implica q y q implica p”
Fuente: Fundamentos de matemáticas
“p cuando y solo cuando q”
para bachillerato Tercera edición
 1.2 OPERADORES LÓGICOS
Condicional: Variantes del Condicional:
Condicional :
Reciproca:
“si p, entonces q” “q con la condición de que p” Inversa:
“p solo si q” “q cuando p” Contra Reciproca:
“p solamente si q” “q siempre que p” (Contrapositiva)
“q si p” “q cada vez que p” Condición necesaria y suficiente:
“si p, q” “q ya que p”
“q porque p” “q debido a que p” Si el condicional : es
“solo si q, p” “q puesto que p” verdadero
“solamente si q, p” “p implica q” p: Condición suficiente
“Es suficiente p para “Es necesario q para que p” q: Condición necesaria
que q”
EXPRESION QUE DENOTE CAUSA Y
EFECTO Fuente: Fundamentos de matemáticas
para bachillerato Tercera edición
 1.3 CLASES DE PROPOSICIONES
• Proposiciones Simples
• Proposiciones Compuestas
Proposiciones Simples: Son aquellas que no poseen operador lógico alguno.
Simbología: a, b, c,…
Proposición Compuesta: Están formadas por proposiciones simples y operadores
lógicos.
Ejemplo:

1.4 ESTRUCTURAS CON VARIABLES PROPOSICIONALES

• Forma Proposicional: Estructura constituida por variables proposicionales y los
operadores lógicos que las relacionan. Simbología: A, B, C, …
Ejemplo:

Fuente: Fundamentos de matemáticas

para bachillerato Tercera edición
 1.4 ESTRUCTURAS CON VARIABLES PROPOSICIONALES

• TAUTOLOGIA: Si solamente tiene proposiciones verdaderas para todos los valores de

verdad de las variables proposicionales.
• CONTRADICCION: Si solamente tiene proposiciones falsas para todos los valores de
verdad de las variables proposicionales.
• CONTINGENCIA: Si se tiene al menos una proposición con un valor de verdad que
difiere del resto para todos los valores de verdad de las variables proposicional.

• IMPLICACIÓN LÓGICA: Sean A y B dos formas proposicionales, A implica

lógicamente a B , si y solo si es una tautología.
• EQUIVALENCIA LÓGICA: Sean A y B dos formas proposicionales, A es
equivalente lógicamente a B , si y solo si es una tautología.

Fuente: Fundamentos de matemáticas

para bachillerato Tercera edición
 PROPIEDADES DE LOS OPERADORES LOGICOS
Leyes de los Operadores Negación,
Condicional y Bicondicional
Leyes de los Operadores Fundamentales
Conjunción y Disyunción
PROPIEDADES DE LOS OPERADORES LOGICOS
Leyes de las Implicaciones Lógicas

Para demostrar estas propiedades se pueden emplear:

• TABLAS DE VERDAD
• PROPIEDADES MAS ELEMENTALES
 RAZONAMIENTOS

Es una forma proposicional cuya estructura consta de la conjunción de premisas o hipótesis, la

condicional como operador principal; y, una conclusión.

VALIDEZ DE UN RAZONAMIENTO
• Un razonamiento es valido cuando su forma proposicional es tautológica.
• Si dicha forma proposicional es una contradicción o contingencia, entonces el razonamiento no es
valido (falacia).

Para demostrar estas propiedades se pueden emplear:

• TABLAS DE VERDAD
• LEYES DEL ALGEBRA DE PROPOSICIONES
• SUPUESTOS EN SU ESTRUCTURA (Intentar encontrar
una solución para que el razonamiento sea una
FALACIA)
Fuente: Fundamentos de matemáticas
para bachillerato Tercera edición
 DEMOSTRACIONES
• Demostraciones Directas.
• Demostraciones por Contraposición (Contra reciproca).
• Demostraciones por Contraejemplo.
• Demostraciones por Reducción al Absurdo.

Demostraciones Directas.
Conocida como “Marcha Adelante”.
Demostrar , intentamos deducir a partir de una secuencia de pasos lógicos que comience en y
termine en

Demostraciones por Contraposición.

Conocida como “Supongamos que no”.
Para demostrar , la expresión se reescribe como Intentamos deducir a partir de una secuencia de
pasos lógicos que comience en y termine en

Fuente: Fundamentos de matemáticas

para bachillerato Tercera edición
 DEMOSTRACIONES

• Demostraciones Directas.
• Demostraciones por Contraposición (Contra reciproca).
• Demostraciones por Contraejemplo.
• Demostraciones por Reducción al Absurdo.
Demostraciones por Contraejemplo.
El contraejemplo pone en evidencia que existe al menos un caso en el cual la proposición no es
verdadera.

En el ejemplo debe hacerse verdadero y debe hacerse falso

Demostraciones por reducción al absurdo.

Para demostrar , la expresión se reescribe como

Fuente: Fundamentos de matemáticas

para bachillerato Tercera edición