MAT:Logica matematica
-
Upload
jgarciamoreno95 -
Category
Documents
-
view
175 -
download
0
Transcript of MAT:Logica matematica
LÓGICA MATEMÁTICA
AL U
MN
A:
J UL
I ETA
GA
RC
I AM
OR
EN
O
LÓGICA PROPORCIONAL
Proposición
Proposición Simple
Sin conectivos.Ej:p:El papa de mi
mama es mi abuelo.
Proposición Compuesta
Con conectivos :y;o;entonces;ect.Ej:Eco.Rafael Correa es el
presidente del Ecuador y
Hugo Chave fue presidente de Venezuela.
Tienen un único valor
lógico
Verdadero Falso
OBSERVACIÓN
P R O P O S I C I O N E S
El Presidente actual del Ecuador es Rafael Correa. Verdadero
El sol es de color amarillo. Verdadero
La UNEMI esta en la ciudad de Quito. Falso
N O S E C O N S I D E R A P R O P O S I C I O N E S
¡Socorro!
¿Quién creo el mundo?
Hoy esta lloviendo mañana será soleado.
La empresa BNF tiene 125.000 empleados.
Enunciados
N O TA : N O T O D O E N U N C I A D O E S U N A P R O P O S I C I Ó N .
EnunciadoEs toda frase u oración
Enunciados abiertos
Poseen variables:x,y,z...
IDENTIFICA LOS SIGUIENTES ENUNCIADOS
L E V Á N T A T E T A R D E .
5 + 6 M E N O R Q U E 7 .
¿ Q U É H O R A E S ?
X + Y = 5
a) Dos son enunciados abiertos.b) Dos son proposiciones.c) Dos no son proposiciones ni
enunciados abiertos.d) Tres son proposiciones.e) Tres son enunciados abiertos.
Respuesta: C
PROPOSICIONES COMPUESTAS O MOLECULARES (COMPUESTA DE DOS O MAS PROPOSICIONES SIMPLES)
Denominación Significativo Símbolo
Conjunción y ^
Disyunción débil
o v
Condicional o……o
Negación no -p
CONJUNCIÓN
R E G L A :
1. M U LT I P L I C A R
2. S O L O E S V E R D A D E R O C U A N D O L O S D O S S O N V E R D A D E R O S .
p q p ^ q
0 0 0
0 1 1
1 0 1
1 1 1
DISYUNCIÓN
R E G L A :1. S U M A R2. S O L O E S FA L S O C U A N D O L O S D O S
S O N FA L S O S .
p q p v q
0 0 1
0 1 0
1 0 0
1 1 0
CONDICIONAL
R E G L A :
1. S O L O E S V E R D A D E R O S I S U P R I M E R VA L O R E S V E R D A D E R O Y S U S E G U N D O E S FA L S O .
p q p q
0 0 0
0 1 0
1 0 1
1 1 0
NEGACIÓN
RE
GL
A:
I NT
ER
CA
MB
I AR
LO
OP
UE
ST
O D
E L
A V
AR
I AB
LE
.
p -p
0 1
1 0