A Nociones de Lógica Matemática


“AÑO DE LA IUNIVERSALIZACIÓN DE LA SALUD”
UNIVERSIDAD NACIONAL DE PIURA

FACULTAD DE CIENCIAS
DEPARTAMENTO ACADEMICO DE MATEMÁTICAS

 “
TEMA : NOCIONES DE LÓGICA MATEMÁTICA

FACULTAD : INGENIERIA DE MINAS
ESCUELA : MINAS
DOCENTE : Lic. GERARDO NAMUCHE MORALES MS.c

PIURA- PERÙ 2020





















PROPOSICION:
Es una oración aseverativa de la que tiene
sentido decir que es verdadera o falsa.
Expresión verbal que afirma o niega algo.
Secuencia finita de signos con significado y
sentido de ser calificado como verdadero o
falso. Expresión lingüística susceptible de ser
calificada de verdadera o falsa. hace referencia
explicita a las oraciones aseverativas o
enunciativas
Ejemplos: a)El sol es agradable en primavera.
b)Dolly fue la primera oveja clonada.
c)El átomo es una molécula.
CLASES DE PROPOSICIONES:
PROPOSICIÓN SIMPLE:
Son aquellas que no están afectadas por
negaciones ("no") o términos de enlace como
conjunción ("y"), disyunción ("o") o
implicación ("si . . . entonces"). Pueden
aparecer términos de enlace en el sujeto o en
el predicado, pero no entre oraciones.
PROPOSICIÓN SIMPLE PREDICATIVA :
Son aquellas que atribuyen o afirman una

cualidad o circunstancia de un objeto o sujeto.
Poseen una estructura similar a la oración ya
que presenta un sujeto, una copula y un
predicado.
Ejemplo :
Alan García es el presidente del Perú.

PROPOSICIÓN SIMPLE RELACIONAL:
Son aquellas que establecen una relación o

enlace entre 2 sujetos u objetos. Presentan un
predicado posicional, es decir requiere de dos o
más individuos para darle sentido a la
proposición.
Ejemplo :
Chiclayo está al norte de Lima

PROPOSICIONES COMPUESTAS O
COLIGATIVAS:
Llamadas también coligativas, se constituyen a
partir de las proposiciones simples, están
unidas por alguna conjunción o algún conectivo
lógico.
Ejemplo : “El alma es espiritual y libre”.
PC CONJUNTIVA:
Esta formada por la unión de dos proposiciones
simples unidas por nexos lógicos como: “y”, “e”,
“a la vez que” , “también” , “no obstante”, “pero”,
“sin embargo”, “aunque”, etc.

PC DISYUNTIVA:
Son aquellas proposiciones simples unidas por el
término de enlace “o” . Esta puede ser débil o
fuerte.
PCD Débil o inclusiva:
son aquellas proposiciones que plantean 2 situaciones,
pudiendo realizarse una y también la otra.
Ejemplo : 20 es mayor que 8 ó 7 es un número impar.
PCD fuerte o exclusiva: son las que plantean 2
situaciones, si se realiza una situación, la otra situación
es imposible de realizarse.
Su conectivo lógico es : O ______ O _______
Ejemplo : O Aristóteles nació en Atenas o Aristóteles
nació en Estagira.
PC CONDICIONAL O HIPOTETICA:
Expresan una relación de causalidad entre las
proposiciones afectadas, Están unidas por el
término de enlace “si …. entonces”.
Ejemplo: Si mañana amanece nublado ,
entonces lloverá
PCC Directa (implicativa) :
se da cuando el antecedente es anterior al
consecuente.
Ejemplo : si es joven, entonces es rebelde.
PCC Inversa (replicativa):
Se da cuando la operación de implicación está

desordenada (en lenguaje natural o científico).
Es decir cuando primero está el consecuente y
luego el antecedente (“si”, “porque”, “ya que”,
“puesto que”, “pues”, “cuando”, “dado que”, “en
vista de que”, etc.
Ejemplos :
a)Transpiro porque hago deporte.
b)8 es un número par, si 8 es divisible por 2

PC Negativa:
Es aquella que presenta como nexo lógico a
“no”, “no es cierto que”, “no es el caso que”
“ni”, etc.
Ejemplo :
a)Lima no es capital de Piura.
b)No es cierto que la cosecha de
caña trae perdidas
PC Bicondicional :
Es una relación de doble condicionalidad,
o también una condición necesaria y
suficiente. Presenta los siguientes nexos
lógicos: “si y sólo si”.
Ejemplo:
Juan ingresa a la Universidad si y
sólo si obtiene nota aprobatoria.
LA IMPLICACIÓN
Se dice que “A” implica a “B” cuando unidos
por el condicional “A” como antecedente y
“B” como consecuente, esta relación es
lógicamente verdadera.
EJEMPLO:
Dada las fórmulas “A” y “B”

A = pʌq
B = Pvq
De acuerdo a la siguiente fórmula condicional sabremos
si “A” implica a “B”
A→ B
Aplicando la tabla de verdad, se tiene:
P q (p ʌ q) → (p v q)
V V V V V
V F F V V
F V F V V
F F F V F
LA EQUIVALENCIA
El concepto equivalencia se
refiere a una relación semántica
entre los valores componentes de
“A” sí y sólo si B”.
Se dice que “A equivale a
B”cuando unidas por el
bicondicional se obtiene una
tautología.
EJEMPLO
p q ( p → q ) ↔ ( q v ̴p )
V V V V V F
V F
F V F V F F
F F
V V V V
V V V V
( p → q ) equivale a ( q v ̴ p )
LAS INFERENCIAS
Toda inferencia es una estructura de proposiciones donde a
partir de una o más de ellas se deducen otra proposición
llamada conclusión. Definimos así:
P ₁, P₂,…, P. ̇.C
Donde “P” y su respectivo subíndice representan a cada
premisa, “. ̇.”Significa luego por lo tanto, etc., y “C”
representa a la conclusión.
EJEMPLO : Si el galeón no trae piratas,
entonces el capitán a muerto o está prisionero.
Pero el capitán no ha muerto ni está prisionero.
En consecuencia, el galeón trae piratas.
Solución :
Reconociendo las proposiciones atómicas y
colocándole su respectiva variable
proposicional :
El galeón trae piratas =p
El capitán ha muerto =q
El capitán está prisionero =r
Esta inferencia es del caso 1° porque la
conclusión aparece al final del argumento.
Esta inferencia es del caso 1° porque la
conclusión aparece al final del argumento.
Ahora unimos las premisas por el operador
“ʌ” y éstas con la conclusión por “→”.
Y se obtiene la siguiente fórmula de la
inferencia :
( ( ̴ p → (q r ) ) ʌ ( ̴ q ʌ ̴ r)) → p
Luego analizando la validez o invalidez del

argumento dado:
(( ̴ p → (q r) ) ʌ ( ̴ q ʌ ̴ r )) → p
Asignamos directamente el valor V a cada
una de las premisas y F a la conclusión,
luego deducimos los valores
correspondientes de las variables
proposicionales aplicando las reglas ya
conocidas. La inferencia es inválida, si las
variables proposicionales tienen un único
valor de verdad o de falsedad en caso
contrario el argumento es válido .
EJERCICIO 1
P1 : p ∧ m
P2 : p → (a → b)
P3 : b ↓ q
P4 : a ← n
P5: p Simplificación (1)
P6: ¬b Simplificación (3)
P7: a → b MPP (2, 5)
P8: ¬a MTT (6, 7)
P9: ¬n MTT (4, 9)
EJERCICIO 2
P1: (p ∧ q) → r
P2 : ¬r ∧ S
P3: ¬r Simplificación (2)
P4: ¬ (p ∧ q) MTT (1, 3)
P5: ¬p ∨ ¬q Ley D´Morgan (4)
EJERCICIO 3
P1: t → ¬q
P2: t ∧ r
P3: ¬q → (¬s ∨ m)
P4: s ∧ n
P5: t Simplificación (2)
P6: ¬q MPP (1, 5)
P7: (¬s ∨ m) MPP (3, 6)
P8: s Simplificación (5)
P9: m SD (7, 8)
EJERCICIO 4
P1 : a →b
P2: b → c
P3: c → d
P4: d → e
P5: a
P6: a → e SHP (1, 2, 3, 4)
P7: e MPP (5, 6)
EJERCICIO 5
P1: ¬A ∨ B
P2: B → ¬(C ∧ D)
P3: A
P4: D ∧ E
P5: B SD (1, 3)
P6: ¬(C ∧ D) MPP (2, 5)
P7: ¬C ∨ ¬D Ley D´Morgan (6)
 P8: D Simplificación (4)
 P9: ¬C SD (7, 8)

A Nociones de Lógica Matemática

Cargado por

Copyright:

Formatos disponibles

A Nociones de Lógica Matemática

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

A Nociones de Lógica Matemática

Cargado por

Copyright:

Formatos disponibles



“AÑO DE LA IUNIVERSALIZACIÓN DE LA SALUD”

UNIVERSIDAD NACIONAL DE PIURA

TEMA : NOCIONES DE LÓGICA MATEMÁTICA

PIURA- PERÙ 2020

Son aquellas que atribuyen o afirman una

Alan García es el presidente del Perú.

Son aquellas que establecen una relación o

Chiclayo está al norte de Lima

Se da cuando la operación de implicación está

Dada las fórmulas “A” y “B”

Luego analizando la validez o invalidez del

También podría gustarte