Resúmenes Lógica y Demostraciones

Descrição

- [ ] 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
Notas por Josué Benjamín Girón Ramírez, atualizado more than 1 year ago
Josué Benjamín Girón Ramírez
Criado por Josué Benjamín Girón Ramírez mais de 8 anos atrás
77
0

Resumo de 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

Semelhante

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