MAT:Logica matematica

10
LÓGICA MATEMÁTICA ALU MNA: JULIETA GARCIAMOR EN O

Transcript of MAT:Logica matematica

Page 1: MAT:Logica matematica

LÓGICA MATEMÁTICA

AL U

MN

A:

J UL

I ETA

GA

RC

I AM

OR

EN

O

Page 2: MAT:Logica matematica

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

Page 3: MAT:Logica matematica

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

Page 4: MAT:Logica matematica

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...

Page 5: MAT:Logica matematica

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

Page 6: MAT:Logica matematica

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

Page 7: MAT:Logica matematica

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

Page 8: MAT:Logica matematica

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

Page 9: MAT:Logica matematica

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

Page 10: MAT:Logica matematica

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