ARCOS PESANTES SONIA CATALINA

LÓGICA MATEMÁTICA

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido.

PROPOSICION

P. COMPUESTA También

denominadas moleculares. Son

aquellas que están formadas por dos o más proposiciones simples unidas

por los operadores

lógicos

P. SIMPLETambién

denominadas atómicas. Son

aquellas proposiciones

que no se pueden dividir

CONECTORES LÓGICOS

REGLAS DE LOS CONECTORES

Negación

• REGLA.- La negación de una proposición verdadera es falsa. La negación de una proposición falsa es verdadera.

Conjunción

• REGLA: dos variables unidas por conjunción solo pueden ser verdaderas si sus dos valores de verdad son verdaderos

DISYUNCIÓN

• REGLA. Solo es verdadera si su primer valor de verdad es verdadero y el segundo valor falso.

CONJUNCIÓN NEGATIV

A

• REGLA.- El resultado es verdadero únicamente cuando las dos proposiciones son falsas (ni p ni q), en cualquier otro caso es falsa 

DISYUNCIÓN EXCLUSIVA

• REGLA.- Es verdadera la proposición cuando la primera proposición es verdadera y la segunda es falsa o cuando la primera proposición es falsa y la segunda verdadera. 

CONDICIONA

L

• REGLA.- Una proposición condicional es falsa cuando la primera proposición es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras formas  

BICONDICIONAL

• REGLA.- Una proposición bicondicional es verdadera cuando, o sus dos componentes son verdaderos o sus dos componentes son falsos.