Reglas del sistema de rboles (demostracin) Smbolos lgicos Variables proposicionales: smbolos que representan enunciados.

. Se usan las letras minsculas del alfabeto a partir de la p (p, q, r, s). Operadores lgicos o conjuntores: sirven para construir frmulas complejas. Son: Es un mtodo que construye una estructura arbrea a base de frmulas ordenadas parcialmente. La idea es que si de un conjunto de premisas se deduce otra frmula A, no podemos hacer verdaderas a la vez esas premisas y A, por lo que se desarrolla el rbol buscando ese resultado: Se trata de descomponer las frmulas en sus elementos simples hasta las atmicas. Cada rama en la que aparece una contradiccin se cierra; si esto ocurre en todas las ramas la deduccin es correcta; si no ocurre en todas llegando a una rama abierta que no se puede analizar ms, la deduccin es incorrecta. pq pq Las reglas son: A A Tablas de verdad A las variables proposicionales les podemos atribuir un significado de modo que tendran un valor de verdad: verdadero o falso. Usaremos 1 y 0. Conocido el valor de verdad de cada variable podemos conocer el valor de verdad de las frmulas complejas que las contienen. Cada operador lgico (conjuntor) tiene su respectiva tabla de verdad: A Negacin: A ser verdadera si A es falsa y viceversa. Conjuncin: AB ser verdadera si lo son tanto A como B. Disyuncin: AB ser verdadera si lo es al menos alguno de sus elementos. Implicacin: AB ser falsa si A es verdadera y B falsa. Coimplicacin: AB ser verdadera cuando A y B son o bien las dos verdaderas o bien las dos falsas (es decir, cuando tienen el mismo valor de verdad). Las anteriores reglas dan lugar a las siguientes tablas: I A 1 0 A 0 1 A 1 1 0 0 B 1 0 1 0 AB 1 0 0 0 A 1 1 0 0 B 1 0 1 0 AB 1 1 1 0 A 1 1 0 0 B 1 0 1 0 AB 1 0 1 1 A 1 1 0 0 B 1 0 1 0 AB 1 0 0 1 A B AB AB A E AB B A AB I B AB E AB A C B C C
Premisas A0 A1 A2 A3

Negacin: (no) Conjuncin: (y) Disyuncin: (o)

p pq pq

Implicacin: (si entonces)

Coimplicacin o bicondicional: (si y slo si entonces)

AB A B A

( AB) B A

AB B

( AB) A B

Parntesis, corchetes, llaves: para separar y agrupar las frmulas.

AB B

( AB) A B A B

AB A B A B

( AB) A B

Reglas del mtodo de deduccin natural (demostracin) Se comienza con las premisas y se aplican ciertas reglas hasta que llegamos a la frmula que queremos (la consecuencia). La idea es que, si las premisas son verdaderas, lo que podemos deducir a partir de ellas tambin lo debe ser. Las reglas son: I A BB A E A A

La tabla de verdad de una frmula es una tabla en la que se calculan los valores de verdad que las distintas valuaciones dan en funcin de los valores asignados a las variables proposicionales que la componen. El procedimiento es el siguiente: Escribimos en una lnea todas las subfrmulas de A, ordenadas por complejidad lgica creciente. Calculamos el nmero de combinaciones: 2n posibilidades (n= n de variables). Escribimos cada una de las posibles combinaciones de valores de verdad de las variables. Para cada subfrmula de A escribimos su valor de verdad correspondiente. A B AB E AB A B I A B B A AB AB A B

E AB B A

Rep. A A
Conclusin Reglas

A4 B