REPÚBLICA BOLIVARIANA DE VENEZUELAVICERECTORADO ACADEMICO

FACULTAD DE INGENIERIASISTEMA DE APRENDIZAJE INTERACTIVO A DISTACIA

Integrantes: Dalena GutiérrezEstructura Discreta SAIA A

LEYES DEL ALGEBRA

Cabudare, Noviembre de 2016

PROPOSICIÓN Una proposición es un juicio declarativo que puede ser verdadero o falso pero no verdadero o falso simultáneamente.Las preposiciones se denota por letras minúsculas (p, q, r, h, n,..)Para cada preposición tenemos un valor que lo llamaremos valor lógico se denota por VL, si la esta es verdadera su valor lógico es 1 (VL=1) y si es falsa es 0 (VL=0)

EJEMPLO DE PROPOSICIONES : p = El águila es un ave (Verdadero) VL(p)=1 r = Los bebés tienen 3 ojos (Falso) VL(r)=0

EJEMPLOS DE ENUNCIADOS QUE NO SON PREPOSICIONES

¿ Cual es tu nombre? ¿ Que hora es ? ¡ Estudie ! Olaja que llueva cerveza

Conectivas o Conectivos :

Son símbolos que permiten construir, a partir de una o mas proposiciones (simple o compuesta) , otra forma proposicional compuesta

Proposición Simple: Son aquellos que no poseen conectivos lógicos.

Proposición Compleja: Son aquellas que posee conectivos lógicos.

CONECTIVOS LOGICOS CON SU RESPECTIVA SIMBOLOGIA Y TRADUCCION

TABLA DE VERDAD DE LOS CONECTIVOS LOGICOS Negación: Es la conectividad que convierte un

enunciado verdadero en falso, y un enunciado falso en verdadero.

Conjunción: Es la conectividad que origina una proposición molecular que solo es verdadera si ambas proposiciones que la integran son verdaderas, y falsa en los otros casos.

Disyunción: Es la conectiva que origina una proposición molecular que solo es falsa si ambas proposiciones que la integran son falsas, y verdadera en los otros casos.

Condicional: Es la conectiva que origina una proposición molecular que solo es false si el antecedente es verdadero y el consecuente es falso, siendo verdadera en los restantes casos.

Bicondicional: Es la conectiva que origina una proposición molecular que es verdadera cuando sus dos componentes tienen el mismo valor de verdad, y falsa si uno de sus componentes es verdadero y el otro es falso.

TABLA DE VERDAD DE LOS CONECTIVOS LOGICOS

PRINCIPALES LEYES

PRINCIPALES LEYES

PRINCIPALES LEYES

PRINCIPALES LEYES

PRINCIPALES LEYES

PRINCIPALES LEYES

PRINCIPALES LEYES