9

Click here to load reader

Proposicion- Logica matematica

Embed Size (px)

Citation preview

Page 1: Proposicion- Logica matematica

Universidad Estatal de Milagro.

Tatiana Guamán.

Page 2: Proposicion- Logica matematica

PROPOSICIONES COMPUESTAS O

MOLECULARES.

(Compuestas de 2 o mas proposiciones

simples)

DENOMINACION SIGNIFICADO SIMBOLO

CONJUNCION y , x

DISYUNCION 0, + V

CONDICIONAL si……entonces

NEGACION no p

BICONDICIONAL

Page 3: Proposicion- Logica matematica

PROPOSICION.

p y q son variables.

F= Falso (0)

V= Verdadero (1)

p q

0 F

1 V

Page 4: Proposicion- Logica matematica

EJEMPLO DE CONJUNCION.

REGLA: Solo son verdaderos si sus dos valores

son verdaderos.

p y q son variables.

0= Falso

1= Verdadero

2 = 2x2=4 # de cuadros

p q p q

0 0 0

0 1 0

1 0 0

1 1 12

Page 5: Proposicion- Logica matematica

EJEMPLO DE DISYUNCION.

REGLA: Solo son falsos si sus dos valores son

falsos.

p y q son variables.

0= Falso

1= Verdadero

2 = 2x2=4 # de cuadros

p q p v q

0 0 0

0 1 1

1 0 1

1 1 1

2

Page 6: Proposicion- Logica matematica

EJEMPLO DE CONDICIONAL.

REGLA: Solo es falso cuando el antecedente es

verdadero y el consecuente es falso.

p y q son variables.

0= Falso

1= Verdadero

2 = 2x2=4 # de cuadros

p q p q

0 0 1

0 1 1

1 0 0

1 1 1

2

Antecedente Consecuente.

Page 7: Proposicion- Logica matematica

EJEMPLO DE BICONDICIONAL.

REGLA: Esto es verdadero cuando si sus valores

son iguales.

p y q son variables.

0= Falso

1= Verdadero

2 = 2x2=4 # de cuadros

p q p q

0 0 1

0 1 0

1 0 0

1 1 12

Page 8: Proposicion- Logica matematica

EJEMPLO DE NEGACION.

p y q son variables.

0= Falso

1= Verdadero

2 = 2x2=4 # de cuadros

p q p v q (p v q)

0 0 0 1

0 1 1 0

1 0 1 0

1 1 1 o

2

Page 9: Proposicion- Logica matematica