Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Pruebas de validez e invalidez:

No description
by

kassandra enriquez

on 26 November 2013

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Pruebas de validez e invalidez:

Pruebas de validez e invalidez:
MODUS PONENDO PONENS :
*Esta ley significa, “modo en que afirmando se afirma”. El modus ponendo ponens emplea la regla de la condicional; es decir, que si afirmamos como verdadero el antecedente en una condicional, entonces tendremos como conclusión la afirmación del consecuente. La forma o estructura de la ley (MPP) es:
1. p  q
2. p
3. q
*ejemplo:
-Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.

MODUS TOLLENDO TOLLENS:
*Esta ley se basa también en la regla de la condicional, y quiere decir “modo en que negando se niega”, esto es, que cuando se niega el consecuente de una condicional, debe negarse su antecedente. La forma de la ley (MTT) es la siguiente.
1. p  q
2. –q
3. –p

*Ejemplo:
-Si hay luz solar, entonces es de día.
No es de día.
Por lo tanto, no hay luz solar.

MODUS TOLLENDO PONENS:
VALIDES LOGICA DE LOS ARGUMENTOS :
La lógica tiene como finalidad distinguir el razonamiento correcto del incorrecto.
Los métodos para la demostración válida y no válida de los argumentos es la demostración directa, que emplea a su vez las leyes de implicación.
Un argumento es una secuencia o serie de proposiciones en la que una de ellas, llamada conclusión, se infiere o se obtiene de las premisas. La validez de los argumentos consiste pues, en que las premisas y las conclusión se encuentran lógicamente estructurada, sin importar si dicho argumento es verdadero o falso, puesto que lo importante será destacar la coherencia lógica o formal y la correcta aplicación de las reglas y las leyes .

*A esta ley (MTP) le caracteriza la conectividad de la disyunción y significa “modo en que negando afirmamos” la forma de esta ley es:
1. p v q 1. p v q
2. –p o 2. -q
3. q 3. p
*Ejemplo:
O es de día o es de noche.
No es de día.
Por lo tanto, es de noche
Demostración de la validez de un argumento:
-Un argumento concreto es válido cuando tiene la forma de un
esquema de argumento válido.
Por ejemplo, considérese los siguientes dos argumentos:

1. O es de día o es de noche. 4. O es varón o es mujer.
2. No es de día. 5. No es varón.
3. Por lo tanto, es de noche. 6. Por lo tanto, es mujer.




Método semántico:
En el método semántico, se dice que un esquema de argumento es válido cuando es imposible que las premisas sean verdaderas y la conclusión falsa. Para determinar si esto es el caso, se supone la verdad de las premisas, y aplicando las definiciones de verdad, se intenta deducir la verdad de la conclusión. O también, se supone que las premisas son verdaderas y la conclusión falsa, y aplicando las definiciones de verdad, se intenta deducir una contradicción (reducción al absurdo).
Método sintáctico:
En el método sintáctico, se dice que un esquema de argumento es válido cuando existe una deducción de la conclusión a partir de las premisas del argumento y los axiomas del sistema, utilizando sólo las reglas de inferencia permitidas.
Full transcript