Resúmenes Lógica y Demostraciones

1.1 Proposiciones

LógicaEstudio 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 BinarioAsigna a cada PAR de elementos de un conjunto X, un elemento de X. Conjunción de p y qEs 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 qEs la proposición p o q. Símbolo ∨, es verdadera si p o q(o ambas) sean verdaderas. En programación se denota | | InclusivoSi ambas proposiciones son falsas, p o q es falsa Exclusivo, exorEs verdadera si p o q(pero no ambas) son verdaderas UnitarioAsigna a cada elemento de X, un elemento de X. Negación de pSímbolo ~p, niega la proposición p, se lee “no ocurre que” o “no”. En programación se denota ! PrecedenciaNegación > Conjunción > Disyunción

1.2 Proposiciones condicionales y equivalencia lógica

1.3 Cuantificadores

1.4 Cuantificadores anidados

1.5 Demostraciones

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

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