Popper Karl - La Logica de la Investigacion Cientifica

Universales, disposiciones y necesidad natural o física 405
Valiéndonos de «N» podemos definir «o^fe» (o, expresado lingüísticamente,
«si a, entonces necesariamente 5») por la siguiente definición,
bastante obvia:
(D) a ~ít b es verdadero si y solamente si a —>• be N;
que quizá pueda formularse del modo siguiente: «si a, entonces necesariamente
6» es válido si y solamente si «si a entonces f>» es necesariamente
verdadero. Aquí «a->bn es, desde luego, el nombre de
un condicional corriente, cuyo antecedente sea a y cuyo consecuente
sea b; si hubiéramos tenido la intención de definir el entrañamiento
lógico o «implicación estricta» podríamos utilizar también (D), pero
interpretando «N», sin embargo, como «lógicamente necesario» (en
lugar de como «natural o físicamente necesario»).
En virtud de la definición (D), podemos decir de «a N by> que es
el nombre de un enunciado con las siguientes propiedades.
(A) a~^ b no siempre es verdadero si a es falso, frente a lo
que ocurre con a—>• b.
(B) a'~ítb no siempre es verdadero si b es verdadero, frente a lo
que sucede con a —>• b.
(A') a^" b es siempre verdadero si a es imposible —o necesariamente
falso—, o si su negación, a, es necesariamente verdadera —ya
se trate de una necesidad lógica o física—. (Cf., más adelante, las páginas
410-11 y la nota 26.)
(B') a~ftb es siempre verdadero si b es necesariamente verdadero
(bien por necesidad- lógica o física).
En todo lo anterior, a y h pueden ser tanto enunciados como funciones
de enunciados.
Podemos llamar a