Sei sulla pagina 1di 19

24 Marzo del 2019

Matemática

Yostey Mayer Acuña Huaman


Meditación

El corazón del hombre traza su rumbo,


pero sus pasos los dirige el Señor.
GERENCIA
GENERAL
(Proverbios 16:9)
UNIDAD 1 Lógica y teoría de conjuntos
UNIDAD 1 Lógica y teoría de conjuntos

Lógica
La lógica es la disciplina filosófica que tiene un carácter
formal, ya que estudia la estructura o formas de
pensamiento (tales como conceptos, proposiciones,
razonamientos) con el objeto de establecer
razonamientos o argumentos válidos o correctamente
lógicos
UNIDAD 1 Lógica y teoría de conjuntos

Importancia de la Lógica
La lógica es importante para la ciencia y para otras
áreas del conocimiento en el sentido del ORDEN, la
SECUENCIA y la SISTEMATIZACIÓN en el logro de
objetivos y en la solución de problemas.
Proposiciones lógicas
Concepto: Es todo enunciado que puede ser V o F

Todas las proposiciones son enunciados


pero no todas los enunciados son proposiciones
Valoración de verdad
Son los valores posibles de una proposición lógica (V o F)

Ejemplos

. Espero aprobar matemática ( ) ( ) Notación P


. ¿Como te llamas? ( ) ( ) p, q, r, s V
.X+5=7 ( ) ( ) F
. París es la capital de Francia ( ) ( )
. 1+1 = 3 ( ) ( )
Determinar si los siguientes enunciados son proposiciones lógicas e
indicar su valor de verdad
Tipos de Proposiciones
SIMPLE COMPUESTA
Conectivos lógicos
A) Disyunción (inclusiva) B) Disyunción Excluyente C) Conjunción
(Diferencia Simétrica)
Símbolo “ ”ov Símbolo “ ˄ ”
Símbolo “ v ”
Se lee “p q” : poq Se lee “p ˄ q” : pyq
Se lee “p v q” : poq

p q p v q p q p q p q p ˄ q
V V V V V F V V V
V F V V F V V F F
F V V F V V F V F
F F F F F F F F F
Conectivos lógicos
D) implicación E) Doble Implicación (bicondicional) F) Negación
Símbolo “ ↔ ” <=> Símbolo “ ¬ ” ~
Símbolo “  ” o =>
Se lee “p ↔ q” : p si y solamente si q: p <=> q
Se lee “p => q” : si p entonces q Se lee:
¬ p no es cierto que p
p q p => q p q p ↔ q p ¬p
V V V V V V V F
V F V V F F F V
F V V F V F q ¬q
F F F F F V V F
F V

PASANTÍA-PROESAD
Formulario
“v” = FF=F
“˄” = VV = V
“=>” = VF = F
“<=> ”= VV/FF= V
“∆” = VV/ FF = F
Observaciones
1) La proporciones compuestas reciben en nombre de esquema
Moleculares.

GERENCIA
2) Si el valor de verdad en un esquema son solo verdaderos recibe el
nombre de
Tautología. GENERAL
3) Si son puros falsos Contradicción.

4) Si hay V y F son Contingencia.


Resumen
Ejercicios
1. Escribir la negación de cada uno de las proposiciones siguientes

a) El no es rico, pero es feliz.


b) El no es pobre ni es feliz.
c) Es bajo pero es muy ágil.
d) Ni Juana ni su Papá viajaron a Lima a fin de mes.
e) El tiene un cajón o una regla
Ejercicios
2. Dada las proposiciones

a) ~ [~ (p v p) → ~ q] ↔ (p → q)
b) ~ [ (~ p) ↔ q] ↔ (p → q)
c) [ (p ˄~ q) ˄ q] → p
d) [ (p ˄~ q) ˄ q] → p
d) [~ p ˄(q v ~r) ] ↔ [ (~ p ˄ q ) v ~(p v r) ]

Potrebbero piacerti anche