Upload
vivy-r
View
213
Download
0
Embed Size (px)
DESCRIPTION
logica matematica
Citation preview
Lògica Matemática
Contenido 1
Teoría de conjuntos
Operaciones básicas, reglas, técnicas y herramientas. Contenido 2
Diferencia de ser y no ser,
Que es una proposición como una oración que puede ser verdadera o falsa pero no las dos a la vez,
Proposiciones simples y compuestas,
conectores lógicos como y, o, no. Contenido 3
Palabras que indican relación
Proposiciones, conjunción, disyunción y negación.
Tablas de verdad,
Proposiciones condicionales de la forma si entonces.
Operaciones matemáticas, basadas en la regla de conjunción, disyunción y negación.
Contenido 4
Proposiciones bicondicionales si y solo si.
Concepto tautológico. Contenido 5
Tablas de verdad a través de conectores lógicos
Enunciado con la aplicación de operadores lógicos
Reglas de inferencia demostración y negación
Contenido 6
Las reglas de doble negación,
Ley conmutativa y asociativa Contenido 7
Ley distributiva, idempotencia, para proposiciones simples o compuestas
Contenido 8
la reglas de inferencia como una forma de sacar conclusiones a premisas
Modus tolleudo tolles,
La adjunción, simplificación,
Disyunción como premisa Modus tolleudo ponens. Contenido 9
Signos de agrupación en operaciones
Deducción de proposiciones, paréntesis,
Ley de silogismo hipotético, disyuntivo, simplificación disyuntiva
Contenido 10 Aplicaciones lógicas de proposiciones simples o compuestas en las leyes de:
Morgan,
Contrapositiva
Implicación
Equivalencia,
Contenido 11 Leyes de la lógica matemática en términos de Absurdo, transitividad del si y solo si condición bicondicional, transitividad de la condición si entonces. Contenido 12 Dilemas constructivos, basados en el uso de paréntesis y corchetes y conectores lógicos moleculares como: y, o, no, si entonces y si y solo si. Aplicando leyes conmutativa, morgan, condiciones bicondiconales, tablas de verdad. Contenido 13 Implicaciones lógicas que desarrollan argumentos y conclusiones sobre proposiciones simples y compuestas en la lógica matemática, con de uso de las matemáticas. .