Está en la página 1de 30

UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO ESCUELA DE ELECTRICA

CALCULO PROPOSICIONAL

INTEGRANTE: Yelimar Yepez TUTOR: Domingo Mndez

BARQUISIMETO, NOVIEMBRE DE 2012

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
Una demostracin de un teorema es una verificacin escrita que muestra que el teorema es verdadero. Desde el punto de vista de la lgica, una demostracin de un teorema es un argumento lgico que establece la verdad del teorema.

Consiste de una sucesin de afirmaciones (1); (2); : : : ; (n);


tales que cada afirmacin tiene una o ms razones que justifican su validez, que pueden ser hiptesis, definiciones, afirmacin anteriores en la misma demostracin o proposiciones matemticas ya demostradas y adems la ultima afirmacin, (n), es la tesis que se desea demostrar.

METODOS DE DEMOSTRACION DIRECTA


La forma ms natural de demostracin de un teorema o proposicin que es una proposicin condicional es la demostracin directa. Analizando la tabla de verdad para PQ, vemos que si se desea demostrar el teorema o proposicin PQ; es suficiente demostrar que Q es verdadera siempre que P lo sea (pues PQ es verdadera cuando P es falsa).

METODOS DE DEMOSTRACION DIRECTA


En una demostracin directa de PQ asumimos que la hiptesis, P; es verdadera y demostramos usando argumentos lgicos que la tesis, Q; es verdadera.

METODOS DE DEMOSTRACION POR CONTRARRECIPROCA


Se usa para demostrar, al igual que la demostracin directa,
teoremas y proposiciones que tienen la forma condicional PQ: Esta forma de demostracin se basa en el hecho de que PQ es lgicamente equivalente a (Q)(P); Como muestra la siguiente tabla.

METODOS DE DEMOSTRACION POR CONTRARRECIPROCA


De esta manera,
basta

si

queremos

demostrar

PQ

por
una

contrarreciproca,

demostrar

(Q)(P)

usando

demostracin directa. Esto es, asumimos que: Q es verdadera y demostramos que: P es verdadera.

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.