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
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
No comments:
Post a Comment