Definición

Recíproca (de una proposición condicional)

Enviado por jmd el 1 de Febrero de 2009 - 18:25.

Dada la proposición condicional p-->q, su recíproca es q-->p.

 
Definición

Contrapositiva (de una proposición condicional)

Enviado por jmd el 1 de Febrero de 2009 - 18:19.

También denominada contrapuesta o contrarrecíproca (por ser la recíproca de la inversa).

 
Definición

Modus tollens

Enviado por jmd el 1 de Febrero de 2009 - 18:15.

Regla de inferencia expresada en la tautología [(p-->q)&~q]-->~p. También llamada modus tollendo tollens (negando niega).

 
Definición

Modus ponens

Enviado por jmd el 1 de Febrero de 2009 - 18:08.

Regla de inferencia formulada en la tautología [(p-->q)&q]-->q. También llamada modus ponendo ponens (afirmando afirma).

 
Definición

Tautología

Enviado por jmd el 1 de Febrero de 2009 - 14:23.

Proposición compuesta que es necesariamente verdadera en todas sus instancias (de valores de verdad de sus componentes).

 
Definición

Principio del tercero excluido

Enviado por jmd el 1 de Febrero de 2009 - 14:10.

Axioma de la lógica proposicional según el cual una proposición es ya sea verdadera o bien falsa, y no hay una tercera posibilidad.

 
Definición

Principio de no contradicción

Enviado por jmd el 1 de Febrero de 2009 - 13:59.

Axioma de la lógica que establece que una proposición no puede ser verdadera y falsa al mismo tiempo.

 
Definición

Contradicción

Enviado por jmd el 1 de Febrero de 2009 - 13:57.

Resultado de un argumento lógico que es contrario a lo que ha sido establecido o supuesto. 

 
Definición

Argumento

Enviado por jmd el 1 de Febrero de 2009 - 13:49.

Razonamiento para convencer o probar.

 
Definición

Demostración

Enviado por jmd el 1 de Febrero de 2009 - 13:48.

Presentación lógica de un argumento mostrando la forma en que ciertas premisas (definiciones, axiomas, y teoremas ya establecidos) implican un cierto resultado. Es decir, mostrando que el resultado es consecuencia necesaria de las premisas.

La demostración está asociada a un teorema o proposición, y se entiende (queda implícito) que es la demostración de alguna afirmación. La demostración es el argumento que exhibe (muestra) que la afirmación es correcta (verdadera).

 
Distribuir contenido