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. .