UNIVERSIDAD NACIONAL EXPERIMENTAL DE GUAYANA

VICERRECTORADO ACADEMICO
PROYECTO DE CARRERA: ING. INFORMATICA.
ASIGNATURA: LOGICA.
PROFESOR(A): ZAIDY ACCARY













Aplicaciones del Clculo proposicional y
Calculo de predicados. . .|











REALIZADO POR:
GENESIS GRUBER
CI: V- 24.412.697


EN PUERTO ORDAZ, A LOS 03 DIAS DEL MES DE FEBRERO DEL AO 2014.

Aplicaciones del Clculo proposicional
1- DERIVACIONES LOGICAS:
A- METODO DIRECTO: Se utiliza para demostrar implicaciones, y dice as:
Sean R y S frmulas, Si suponemos que R es verdadera, se puede hacer una
demostracin de que S es verdadera, entonces la implicacin RS es una
frmula verdadera.
Se supone que el antecedente R es verdadero. A R se le llama hiptesis
auxiliar.
A partir de la hiptesis, se construye un argumento lgico en el cual se
pueden utilizar los axiomas y los teoremas ya probados, mediante la
aplicacin de las reglas de validez, para llegar a la frmula S como
conclusin o tesis.
Y as concluye la prueba y queda establecida la verdad de RS.
EJEMPLO:
Demuestre que si a y b son nmeros pares, entonces a + b es nmero par.
Solucin:

Suponga que a y b son nmeros pares, (Hiptesis auxiliar) luego,
a = 2n y b = 2m con n, m Z. Entonces, a + b = 2n+ 2m =2(n + m); (n + m)
Z (enteros). Por tanto, si n + m = k; a + b = 2k, es decir, a + b es un nmero
par.

B- METODO ABREVIADO: Consiste en analizar la nica posibilidad que tiene
la conclusin de ser falsa, nica posibilidad que invalida la implicacin, es
decir suponer que la proposicin compuesta es falsa si esto cumple
entonces la inferencia no es vlida, si existe una contradiccin entonces se
concluye que esta es vlida, esto ocurre slo en el caso de la implicacin.
EJEMPLO:

Asignar el valor de verdad
V a cada una de las premisas y de
falsedad F a la conclusin y a partir de
ello deducir la validez de cada una de las variables proposicionales en
funcin de las reglas veritativas, empezando por la conclusin o por el
operador de una de las premisas que ofrece una sola posibilidad.
Si cada una de las variables cumple una sola funcin veritativa, se habr
probado que la conjuncin de premisas es verdadera y la conclusin es
falsa; por lo que, la inferencia no ser vlida (no hay implicacin).
Si una variable tiene dos valores (de verdad y falsedad a la vez),
quedar demostrado que no es posible que la conjuncin de premisas
sea verdadera y la conclusin falsa. Por lo que, hay implicacin y la
inferencia ser vlida.


C- PRUEBAS SUPONIENDO EL ANTECEDENTE: consiste ensuponer
verdadero el antecedente y luego comprobar la consecuencia, Cuando
decimos quesuponemos verdadero el antecedente es momentneamente
un axioma (un axioma es una proposicin que se considera evidente y se
acepta sin requerir demostracin previa); En la prueba del consecuentecada
variable delnuevo axiomaes considerada como constantees considerada
como constante.
EJEMPLO:
SE QUIERE DEMOSTRAR LA SIGUIENTE p q (p q)


D- PRUEBA POR CONTRADICCION:



BIBLIOGRAFIA:
http://huitoto.udea.edu.co/SistemasDiscretos/contenido/reglas_prueba.html
http://blog.pucp.edu.pe/media/4267/20110507-inferencia_logica.pdf























Introduccin

En forma natural, el ser humano representa el conocimiento simblicamente:
imgenes, lenguaje hablado y lenguaje escrito. Adicionalmente, ha desarrollado otros
sistemas de representacin del conocimiento: literal, numrico, estadstico,
estocstico y lgico.

En los organismos biolgicos se estima que el conocimiento es almacenado como
estructuras complejas de neuronas interconectadas. En las computadoras, el
conocimiento se almacena como estructuras simblicas, pero en forma de estados
elctricos y magnticos.

La lgica proposicional permite el razonamiento, a travs de un mecanismo que
primero evala sentencias simples y luego sentencias complejas, formadas mediante el
uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo
determina la veracidad de una sentencia compleja, analizando los valores de verdad
asignados a las sentencias simples que la conforman.

El clculo proposicional es tambin llamado, lgica proposicional, clculo sentencial,
lgebra Booleana. El clculo proposicional, junta dos clculos de predicados con la
constitucin de smbolos lgicos. La Lgica Matemtica surge como una disciplina
matemtica cuyo objeto de estudio es la lgica del razonamiento matemtico humano
(y actualmente tambin de otras formas de razonamiento.) Requiere de expresar la
lgica en trminos susceptibles de ser representados y manejados por un computador.
La lgica proposicional es la parte de la lgica que estudia las formas en que se
relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las
proposiciones que componen un razonamiento.
















Conclusin
A travs de la historia la lgica empieza a marcarse a travs de los aos, haciendo
aportaciones muy importantes al mundo, hechas por pensadores muy renombrados
por sus hechos. Desde los inicios de la lgica clsica pasando por la Aristotlica hasta
llegar a nuestros das con la lgica moderna, nos da a pensar que siempre hemos
dependido y dependeremos de la lgica. En la actualidad la lgica es la base para la
elaboracin de programas de aplicacin como herramienta indispensable para el
trabajo cotidiano, que en algunos casos es cansado o en su caso tedioso. La lgica
proposicional es la ms antigua y simple de las formas de lgica. Utilizando una
representacin primitiva del lenguaje, nos brinda herramientas que permiten
representar y manipular aseveraciones sobre el mundo que nos rodea. En el mundo de
la informtica la lgica proposicional interviene mucho y es de bastante ayuda debido
a que los computadores trabajan con informacin binaria, la herramienta matemtica
adecuada para el anlisis y diseo de su funcionamiento es el lgebra de Boole.