Resúmenes Lógica y Demostraciones

Description

- [ ] 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
Note by Josué Benjamín Girón Ramírez, updated more than 1 year ago
Josué Benjamín Girón Ramírez
Created by Josué Benjamín Girón Ramírez over 8 years ago
77
0

Resource summary

Page 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

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

Show full summary Hide full summary

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