Definición

Inversa (de una proposición condicional)

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

También llamada contraria. Dada la proposición condicional p-->q, su inversa es ~p-->~q.

Ejemplo de Stanley Clemens et al.(Geometría, p. 60): la inversa de "si es aeroplano entonces se construyó para volar" es " si no es aeroplano entonces no se construyó para volar"

 

 
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.

 
Distribuir contenido