17/Septiembre/2008 Repaso

Tras un largo y bien merecido puente vacacional :p estamos devuelta en la escuela XD para seguir en lo que andabamos...

Retomando lo anterior, este dia nos sirvio de repaso general y para resolver dudas que tubieramos ya que maniana nos van a aplicar el examen *gulp. jejeje Suerte a todos.

11/Septiembre/2008 Repaso de lo anterior.

Practicamente lo que hizimos hoy fue repasar lo que habiamos aprendido el dia anterior, en pocas palabras a solucionar por el metodo de Reduccion a lo absurdo.

Y el profe Lomeli dejo una tarea la cual nos va a servir para dar un repaso general de lo que hemos visto hasta ahora, para estudiar para el examen, ya que sera lo unico que contendra.

10/Septiembre/2008 Metodo de Contradiccion o Reduccion a lo absurdo

Iniciando transmision -----------------------------------------------------------------

Esto sirve para demostrar que un argumento no es valido, mediante este Metodo, el cual explicare a continuacion paso a paso:

w, r->¬s, ¬w V s = ¬r

Primeros Pasos (convertir premisas y conclusion en una formula)

1.1 Parentesis (poner parentesis para separar las premisas)

(w,( r->¬s),( ¬w V s)) = ¬r

1.2 Las comas se cambian por "Y' o "AND" (^)

(w^( r->¬s)^( ¬w V s)) = ¬r

1.3 Cambiar el simbolo de "=" por la condicional.

(w^( r->¬s)^( ¬w V s)) -->¬r

Paso dos Hacer un arbol con la formula que resulto.

Paso 3. Poner valores de Verdadero y Falso

3.1.- Poner F1, haciendo asi que la condicional principal de como resultado Falso.

3.2.- V2, F3, estas van en este orden ya que cuando una condicional es falsa, los unicos factores que hay estan acomodados de esta forma para resultar la negacion de la condicional anterior (ver las tablas de verdadero y falso cuando trate de una condicional para confirmas lo anterior).

3.3 Poner los verdaderos (V) correspondientes ya que para que una "Y"(^) sea verdadera ambos elemementos que la conforman deben de ser verdaderos por lo tanto.

3.4.- Ver las negaciones donde ya puedan adquirir valor.

3.5.- Buscar letras con pares y asignarles el valor que ya contengan.

3.6 Buscar las condicionales "-->" o las disyunciones "V" con dos valores.

3.7.- Revisar y realizar los pasos que sean necesarios. Analizar bien el arbol.

3.8.- Encontrar una contradiccion.

---------------------------------------------------------Fin de la transmision

09/Septiembre/2008 "Las maquinas de Inferencia"

Basicamente hoy lo que vimos, fue el empleo de las maquinas de inferencia, las cuales presentare abajo con sus respectivas condiciones y caracteristicas, que sirven para facilitar demostraciones.

---------------------------------------------------------------The FIN

08/Septiembre/2008 "Demostracion"

Que es una demostracion? Demostracion es una comprobacion de un serie de pasos finitos, llegando asi a una conclusion.

Demostracion (que contiene y como se puede desarrollar)
-Premisas.
-Se puede comprobar por medio de teoremas/propiedades/lema/leyes,corolario,etc.
-Equivalencia.
-La conclusiuon de una ley de inferencia si las premisas se cumplen.
-El uso de una ley de inferencia.

Como se realiza una demostracion?

p-->¬q,q,p V ¬r = ¬r

ahora encontraremos la conclusion de esto mediante el uso de la ley de inferencias.

@.- El primer paso es separar lo anterior en varias premisas.

1.- p-->¬q
2.- q
3.- p V ¬r

@.- tras hacer lo anterior, chequemos las Premisas y ahora si, veamos si podemos escoger alguna de ellas, y le podamos aplicar alguna ley de inferencia.

1.- p-->¬q
2.- q
3.- p V ¬r

@.- OH!!! en este caso si hay algo en lo que podemos aplicar un ley de inferencia, la de Modus Tollendo Tollus, apliquemosla poes, y veamos que da como resultado para el siguiente paso...

1.- p-->¬q
2.- q
________
¬p

@.- Tras resolver lo anterior por el metodo MTT nos dio como resultado "¬p" ahora si, anotemos esta premisa como el paso que sigue.


1.- p-->¬q
2.- q
3.- p V ¬r
4.- ¬p (MTT 1,2)

@.- Ahora si, volvamos a revisar si podemos usar otra ley de inferencia en las premisas que tenemos, por suerte si hay!

1.- p-->¬q
2.- q
3.- p V ¬r
4.- ¬p (MTT 1,2)

@.-Apliquemos la respectiva ley de inferencia:

p V ¬r
¬p
_____
¬r

@.- Pongamos nuestro resultado como el paso que sigue...

1.- p-->¬q
2.- q
3.- p V ¬r
4.- ¬p (MTT 1,2)
5.- ¬r (SD 3,4)

@.- Y de esta forma hemos acabado, ya que la premisa que nos acaba de resultar, es ni mas ni menos, que la conclusion del argumento que planteamos al principio (p-->¬q,q,p V ¬r = ¬r) veamos la demostracion:

Argumento:
p-->¬q,q,p V ¬r = ¬r

Demostracion:
1.- p-->¬q
2.- q
3.- p V ¬r
4.- ¬p (MTT 1,2)
5.- ¬r (SD 3,4)

Como ven! hemos llegado al mismo resultado, y a las vez hemos demostrado que el argumento anterior estaba bien planteado.

---------- The End.

04/Septiembre/2008 "Leyes de inferencia, Argumentos Remix"

Si llueve entonces hay nubes
Hay nubes
_________
No se concluye


Si haces la tarea te llevo al cine
te llevan al cine
________
No se concluye


Y esto se explica mediante las leyes de inferencia las determinaremos las cuales aplicaremos a lo anterior

P q
Si llueve hay nubes
hay nubes

P --> q
q
______
NO

P q
Si haces la tarea te llevo al cine
va al cine

P-->q
q
_____
NO


Para esto existen las tres leyes de inferencia las cuales son:

Modus Ponendo Ponens(MPP)

A-->C
A
_____
C

Modus Tollendo Tollens (MTT)

A--> C
¬C
_____
¬A

SD

A V B
¬A
_____
B


That's all folks!

3/Septiembre/2008 "Argumentos, premisas y conclusion"

Empezamos con Argumentos:

Si hace calor este fin de semana, iremos a la playa o a las albercas

Por lo tanto:


Hace calor. No fue a las albercas.

Entonces concluimos:


Fue a la playa.

Un argumento son varias premisas y una conclusion, esto se expresaria asi:

p1,p2,p3...pn = C

y solamente es valido cuando todas las premisas son verdaderas, un ejemplo:

C --> (P V A), C, ¬A = P

Tras ver este argumento, elaboremos el arbol de cada premisa respectivamente:

*Nota: en caso de la C, y la ¬A , no es necesario por que practicamente son directas.

Y eso es todo por hoy!

2/Septiembre/2008 "Tautologias y contradicciones"

Primeramente vamos a iniciar con que es una Tautologia:

Una Tautologia es una preposicion que es verdadera siempre, esto quiere decir, que es verdadera para todos los posibles valores de verdad de sus componentes. Como se expresa en el siguiente Arbol y Tabla:



*Nota: El arbol ya no es necesario expresarlo con numeros en este caso.

Una de las caracteristicas es que siempre se repetiran los componentes dentro del arbol, esto quiere decir, que por lo menos apareceran dos veces. como en este arbol aparece (P1,P2, q1, q2)

Aun asi estos deben de tener el mismo valor para cualesquiera que sea su lugar.

Por otra parte La contradiccion es todo lo contrario a una Tautologia, esto quiere decir que siempre todas sus respuestas son Falsas. He aqui el arbol para uno de los siguientes casos que resultara contradiccion:

Y como podemos observar en la tabla, todos salieron como resultado Falso! como el profeta.

1/Septiembre/2008 "Equivalentes"

Practicamente hoy realizamos un ejercicio como el ya visto anteriormente el dia 28/Agosto/2008 el cual trata acerca de realizar un arbol y su respectiva tabla, claro esta lo que presentare a continuacion es para comprobar si dos Preposiciones son equivalentes, es decir, que los resultados sean iguales en sus respectivas columnas en la tabla. No se preocupen, aqui resolvere el problema :)

¬P --> (q V ¬r), q V(¬P-->¬r)

En este caso, debemos de realizar un arbol para cada una de las preposiciones, por lo tanto aqui seran dos, las cuales son las siguientes:

Tras haber realizado los distintos arboles para cada una de las preposiciones respectivamente, vamos a elaborar nuestra tabla la cual incluira todos los elementos que aparecen en ella, claro sin repetir.

Y como ven, al comparar las columnas en las cuales aparecen las preposiciones que andamos analizando, nos percatamos que en efecto, son equivalentes ya que poseen los mismos valores en las distintas filas de estas.

28/Agosto/2008 "Arboles"

Bueno para empezar, les debo unas disculpas, ya que no habia tenido el suficiente tiempo y habia descuidado un poco esto, XD perdon. Asi que con esas disculpas reanudare en lo que me habia quedado.

Para empezar, practicamente vimos lo de la clase anterior, con excepcion de que el maestro nos enseño un nuevo metodo el cual es el llamado arbol, el cual mostrare a continuacion:

1.- Para empezar tendremos la siguiente expresion:

(P V ¬q) <---> ¬(¬P --> r)

2.- El siguiente paso es enumerar la cantidad de calculos u operaciones que vayamos a realizar en la expresion empezando con 1, con aquel que sea el primero en el orden de jerarquia, esto tomando en cuenta lo mas basico de algebra, osease que primero se resolvera lo que se encuentre en Parentesis anidados, despues en este caso, lo de primer grado dentro de la Jerarquia sera la negacion(¬) despues de esta, todo lo demas esta al mismo nivel.

Ahora asi, tomando en cuenta lo anterior, numeraremos las distintas preposiciones:

2 1 6 5 3 4

(P V ¬q) <---> ¬(¬P --> r)

3.- Tras haber enumerado las preposiciones dentro de nuestra aglomeracion de estas, nos vemos en la tarea de iniciar asi, el llamado arbol, el cual consiste que para empezar el inicio de este sera la expresion original, osea en este caso "(P V ¬q) <---> ¬(¬P --> r)" de hay, se iniciaran un proceso por el cual, la preposicion que posea el numero de mayor valor, sera el cual se divira en otros dos terminos, ya que hagamos esto,debemos de tomar en cuenta que debemos seguir en orden ascendente de la cantidad que nos halla resultado mayor.

2 1 6 5 3 4
(P V ¬q) <---> ¬(¬P --> r)

/ \

(P V ¬q) ¬(¬P --> r)

4.- Entonces de esta forma debemos de crear nuestro arbol. El cual sera de la siguiente manera.

(P V ¬q) <---> ¬(¬P --> r)
/ \
P V ¬q ¬(¬P --> r)

/ \

P ¬q ¬P --> r

/ \

q ¬P r

P

5.- Entonces nuestro arbol nos quedaria de esta forma, ahora si, contemos todas las diferentes formas de expresar la preposicion, los terminos que aparezcan solos, como en este caso P, q y r son los que le daremos prioridad a la hora de contarlos, tomando en cuenta el orden del abecedario.

1.-P
2.- q

3.-r

4.- ¬P

5.- ¬q

6.- ¬P --> r

7.- ¬(¬P --> r)

8.- P V ¬q

9.- (P V ¬q) <---> ¬(¬P --> r)

Teniendo en cuenta lo anterior, en caso de que se repitiera una operacion dentro de nuestro arbol, siempre y cuando esta sea identica, retractemonos de solamente escribrirla una vez, para evitar una carga de mayor trabajo para lo que se nos avecina.

6.- Tras haber enumerado lo anterior, elaboremos una tabla donde incluiremos todas las formulas anteriores, y le daremos solucion. La tabla de lo anterior, seria:

Y eso fue todo amigos!