Resúmenes Lógica y Demostraciones

Page 1

1.1 Proposiciones

1.1 Proposiciones

Lógica

Estudio del razonamiento, si es correcto o falso, no se fija en el tema.

Proposición

Una oración declarativa que es verdadera o falsa pero no ambas. Es elemento básico de cualquier teoría de lógica y se denotan con p, q y r.

Operador lógico

Binario

Asigna a cada PAR de elementos de un conjunto X, un elemento de X.

Conjunción de p y q

Es la proposición p y q. Símbolo ∧, es verdadera si p y q son verdaderas. En programación se denota &&

Disyunción de p y q

Es la proposición p o q. Símbolo ∨, es verdadera si p o q(o ambas) sean verdaderas. En programación se denota | |

Inclusivo

Si ambas proposiciones son falsas, p o q es falsa

Exclusivo, exor

Es verdadera si p o q(pero no ambas) son verdaderas

Unitario

Asigna a cada elemento de X, un elemento de X.

Negación de p

Símbolo ~p, niega la proposición p, se lee “no ocurre que” o “no”. En programación se denota !

Precedencia

Negación > Conjunción > Disyunción

1.1 Sección de ejercicios de repaso

1.1 Ejercicios 1 - 8

Page 2

1.2 Proposiciones condicionales y equivalencia lógica

1.2 Proposiciones condicionales y equivalencia lógica

Page 3

1.3 Cuantificadores

Page 4

1.4 Cuantificadores anidados

Page 5

1.5 Demostraciones

Page 6

1.7 Inducción matemática Rincón de solución de problemas: inducción matemática

Page 7

1.8 Forma fuerte de inducción y la propiedad del buen orden