Resúmenes Lógica y Demostraciones

Descripción

- [ ] 1.1 Proposiciones - [ ] 1.2 Proposiciones condicionales y equivalencia lógica - [ ] 1.3 Cuantificadores - [ ] 1.4 Cuantificadores anidados - [ ] 1.5 Demostraciones - [ ] 1.6 Pruebas por resolución - [ ] 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 - [ ] Notas, Repaso Del Capitulo - [ ] Auto-evaluación del capítulo - [ ] Ejercicios para computadora
Josué Benjamín Girón Ramírez
Apunte por Josué Benjamín Girón Ramírez, actualizado hace más de 1 año
Josué Benjamín Girón Ramírez
Creado por Josué Benjamín Girón Ramírez hace más de 8 años
77
0

Resumen del Recurso

Página 1

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

Página 3

1.3 Cuantificadores

Página 4

1.4 Cuantificadores anidados

Página 5

1.5 Demostraciones

Página 6

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

Página 7

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

Mostrar resumen completo Ocultar resumen completo

Similar

Sistemas numericos
Josué Nabor C
1.1 Ejercicios 1 - 8
Josué Benjamín Girón Ramírez
Álgebra Booleana
Cryz Ortiz
Matematicas Discretas
gregorio vieira
sistemas numericos
Carlos Eduardo Sosa Rodriguez
Teoria de las Graficas
alejandro cortes
Algoritmos
Edgar A. Soto G.
EN BUSCA DEL TIEMPO MAYA
a_pineda_memije
Lógica de Predicados
Jose Refugio Rivera Mendoza
MATEMATICAS DISCRETAS
Gabriel Kassabgi