8
ARCOS PESANTES SONIA CATALINA

Logica matematica

Embed Size (px)

Citation preview

Page 1: Logica matematica

ARCOS PESANTES SONIA CATALINA

Page 2: Logica matematica

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.

Page 3: Logica matematica

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

También denominadas atómicas. Son

aquellas proposiciones que

no se pueden dividir

Page 4: Logica matematica
Page 5: Logica matematica

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

Page 6: Logica matematica

DISYUNCIÓN

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

CONJUNCIÓN NEGATIVA

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

Page 7: Logica matematica

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.

CONDICIONAL

• 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

Page 8: Logica matematica

BICONDICIONAL

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