Resúmenes Lógica y Demostraciones

Beschreibung

- [ ] 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
Notiz von Josué Benjamín Girón Ramírez, aktualisiert more than 1 year ago
Josué Benjamín Girón Ramírez
Erstellt von Josué Benjamín Girón Ramírez vor mehr als 8 Jahre
77
0

Zusammenfassung der Ressource

Seite 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

Seite 3

1.3 Cuantificadores

Seite 4

1.4 Cuantificadores anidados

Seite 5

1.5 Demostraciones

Seite 6

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

Seite 7

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

Zusammenfassung anzeigen Zusammenfassung ausblenden

ähnlicher Inhalt

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