Untitled

LA LÓGICA MATEMÁTICA

Proporción de reglas y técnicas, para determinar si es o no valido un argumento dado.

Proposición: Frase u oración que puede ser falsa o verdadera.

Proposiciones compuestas: O moleculares formadas por dos o más preposiciones simples, unidas por conectores lógicos.

Formas Proposicionales

Negación: Algo que no tiene existencia o carece de la verdad. "No" (~, ¬)

Conjunción: Se utiliza para unir dos o más partes de una oración "Y" (^)

Disyunción: Acción y efecto de desunir o separar. "O" (v)

Condicional: Condición o requisito para que se cumpla lo expresado en la oración. "Si .. entonces" (<----)

Bicondicional: Cuando ambas preposiciones tienen el mismo valor de verdad o falsedad "Si y solo si"

(<----->)

Contradicción: Cuando la proposición siempre es falsa

Tautología: Cuando la proposición siempre es verdadera.

Contingencia: La proposición puede ser verdadera o falsa.

Conectores lógicos: Palabras o expresiones fundamentales, necesarias para relacionar las ideas dentro de un texto.

Tabla de la verdad: Permite establecer la validez de varias propuestas, para determina las condiciones necesarias y permitiendo su clasificación.

​​​​​Reglas de interferencia: O regla de transformación donde establece las relaciones sintácticas, entre las premisas y la conclusión.

Modus ponendo ponens: MP o MPP modo que al afirmar, afirma.

Modus tollendo tollens: Modo que al negar, niega.

Proposiciones simples: O también denominadas atómicas son aquellas que no se pueden dividir, es decir que no tienen conector.