Post on 13-Jun-2015
description
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.