TABLA DE VERDAD

Conceptos Fundamentales de lógica proposicional

Tablas de Verdad

Ley de Morgan Al negar una conjunción o disyunción de dos proposiciones obtendremos la negación de cada una de estas pero cambiando la conjunción por la disyunción y viceversa.

Ley de Identidad Este principio nos dice que toda entidad (proposición) es idéntica a sí misma.

Ley de involución o doble negación Negar una proposición dos veces equivale a una afirmación.

Dada la forma proposicional realizar su tabla de verdad. C: [(¬q V p)˄q]→¬p​​ CONTINGENCIA

LorDada la forma proposicional realizar su tabla de verdad. C: ( p ∨ q) → (¬ p → q) TAUTOLOGIA em

Ley de idempotencia Significa igual valor; esto quiere decir que al hacer una o varias veces una acción se obtendrá el mismo resultado.

Leyes asociativas “Las leyes asociativas para la conjunción, disyunción y bicondicional establecen que si en un esquema hay más de una de las tres, con igual alcance, ellos pueden agruparse indistintamente”