UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO ESCUELA DE ELECTRICA

CALCULO PROPOSICIONAL

INTEGRANTE: Yelimar Yepez TUTOR: Domingo Mndez

BARQUISIMETO, NOVIEMBRE DE 2012

AGENDA
BASES TEORICAS (Calculo Proposicional) Proposicin..............................................................................5

Tipos de Proposicin
Proposicin Simple................................................6 Proposicin Molecular .......................................................7 Negacin.8

Conjuncin.9
Disyuncin Inclusiva11 Disyuncin Exclusiva13 Bicondicional..15

Condicional..17

AGENDA
Formas Proposicionales19 Tautologa..20

Contradiccin21
Leyes de Algebra Proposicional..........................................22 Circuitos Lgicos.23 Mtodos de Demostracin

PROPOSICION
Es el significado de una oracin que cumple una funcin informativa o referencial y que, adems, tiene valor veritativo, es decir, puede ser verdadera o falsa.

Ejemplos: El numero 2 es par (Verdadero)

El numero 2 no es par

(Falso)

PROPOSICION SIMPLE
Es aquella proposicin que no tiene negaciones ni conectores lgicos en su formulacin y transmiten un solo mensaje.

Ejemplos:
El bote es un medio de transporte Llueve

PROPOSICION MOLECULAR
Son aquellas que tienen negaciones, conectores lgicos y transmiten ms de un mensaje. De acuerdo al criterio del conector estas proposiciones se dividen en: Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Condicional

Bicondicional

NEGACION
Es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada.

CONJUNCION
Es un operador que opera sobre dos valores de verdad, tpicamente devolviendo los el valores valor de de verdad de dos proposiciones, cuando ambas verdad

verdadero

proposiciones son verdaderas, y falso en cualquier otro caso. Es

decir, es verdadera cuando ambas son verdaderas.

CONJUNCION

DISYUNCION INCLUSIVA
Es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,

devolviendo el valor de verdad verdadero cuando una de las

proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

DISYUNCION INCLUSIVA

DISYUNCION EXCLUSIVA
Es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las

proposiciones es verdadera y la otra falsa, y falso cuando ambas

son iguales.

DISYUNCION EXCLUSIVA

EL BICONDICIONAL
Es un operador que funciona sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

EL BICONDICIONAL

EL CONDICIONAL
Es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,

devolviendo el valor de verdad falso slo cuando la primera

proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

EL CONDICIONAL

FORMAS PROSICIONALES
Se denominan formas proposicionales a las estructuras

constituidas por variables proposicionales y los operadores lgicos que las relacionan.

TAUTOLOGIAS
Es aquella forma proposicional que siempre da como
resultado verdadero.

CONTRADICCION
Es aquella forma proposicional que siempre da como resultado falso.

LEYES DEL ALGEBRA PROPOSICIONAL

Estas demuestran los valores de verdad de una proposicin con ms rapidez lgica, y sin la necesidad de usar el mtodo de una tabla de verdad para conocer los valores de esta.

CIRCUITOS LOGICOS
Es un conjunto de smbolos y operaciones que satisfacen la regla de la lgica, simulando el comportamiento de circuitos elctricos.

CIRCUITOS LOGICOS

Construccin de un circuito mediante una proposicin:

CIRCUITOS LOGICOS
Se puede utilizar la simplificacin de proposiciones para simplificar circuitos y conseguir otros que sean equivalentes y realicen la misma funcin ms eficientemente.

El circuito simplificado es :

METODOS DE DEMOSTRACION

CONCLUSION
Lgica

La lgica estudia los mtodos que aplican definiciones y leyes con el propsito de determinar la validez o invalidez del razonamiento. Por lo cual, quien estudia lgica, piensa de un modo mas preciso, sus argumentos son mas contundentes, y en la practica comete menos errores al razonar. En conclusin, permite demostrar los juicios validos y descartar los incorrectos; ensea a pensar clara, concisa y correctamente.