|
TABLAS DE VERDAD |
|
Sección1 FILOSOFAR MAÑANA AYER MUERTE Sección2 Sección3
SEGUROS
GUERRA
DILEMA1 Sección4 Sección5 |
|
Ejercicios con Tablas de Verdad
Presentamos una serie de Argumentos y Ejercicios lógicos para ser
resueltos mediante la aplicación de las Tablas de Verdad.
|
Debemos filosofar o no debemos hacerlo. Si debemos hacerlo,
entonces debemos hacerlo. Si no debemos hacerlo, entonces no debemos hacerlo. Por
consiguiente, en cualquier caso, debemos filosofar. (Aristóteles)
P | (((P v ~P) & (P -> P)) & (~P -> P)) -> P ---+------------------------------------------ 1 | 1 0 1 1 1 0 1 *1 0 | 1 1 1 1 0 1 0 *1Tablas
MAÑANA
Si no está el mañana ni el ayer escrito, entonces no está el mañana
escrito.
P Q | (~P & ~Q) -> ~P -----+----------------- 1 1 | 0 0 0 *1 0 1 0 | 0 0 1 *1 0 0 1 | 1 0 0 *1 1 0 0 | 1 1 1 *1 1Tablas
AYER
Si no está el mañana ni el ayer escrito, entonces no está el ayer escrito.
P Q | (~P & ~Q) -> ~Q -----+----------------- 1 1 | 0 0 0 *1 0 1 0 | 0 0 1 *1 1 0 1 | 1 0 0 *1 0 0 0 | 1 1 1 *1 1Tablas
MUERTE
Cuando no se tiene imaginación, la muerte es poca cosa; cuando se tiene, es
demasiado.
P Q | (~P -> Q) & (P -> ~Q) -----+----------------------- 1 1 | 0 1 *0 0 0 1 0 | 0 1 *1 1 1 0 1 | 1 1 *1 1 0 0 0 | 1 0 *0 1 1Tablas
P Q | ((~P -> Q) & (P -> Q)) -> Q -----+----------------------------- 1 1 | 0 1 1 1 *1 1 0 | 0 1 0 0 *1 0 1 | 1 1 1 1 *1 0 0 | 1 0 0 1 *1Tablas
P Q R | (((P v Q) & (P -> R)) & (Q -> R)) -> R -------+---------------------------------------- 1 1 1 | 1 1 1 1 1 *1 1 1 0 | 1 0 0 0 0 *1 1 0 1 | 1 1 1 1 1 *1 1 0 0 | 1 0 0 0 1 *1 0 1 1 | 1 1 1 1 1 *1 0 1 0 | 1 1 1 0 0 *1 0 0 1 | 0 0 1 0 1 *1 0 0 0 | 0 0 1 0 1 *1Tablas
P Q R | (P -> (Q & ~~R)) -> (P -> R) -------+------------------------------ 1 1 1 | 1 1 10 *1 1 1 1 0 | 0 0 01 *1 0 1 0 1 | 0 0 10 *1 1 1 0 0 | 0 0 01 *1 0 0 1 1 | 1 1 10 *1 1 0 1 0 | 1 0 01 *1 1 0 0 1 | 1 0 10 *1 1 0 0 0 | 1 0 01 *1 1Tablas
P Q R | ((~P -> Q) & (Q -> R)) -> (~P -> R) -------+------------------------------------- 1 1 1 | 0 1 1 1 *1 0 1 1 1 0 | 0 1 0 0 *1 0 1 1 0 1 | 0 1 1 1 *1 0 1 1 0 0 | 0 1 1 1 *1 0 1 0 1 1 | 1 1 1 1 *1 1 1 0 1 0 | 1 1 0 0 *1 1 0 0 0 1 | 1 0 0 1 *1 1 1 0 0 0 | 1 0 0 1 *1 1 0Tablas
P Q R | (P -> (Q -> R)) -> ((P & Q) -> R) -------+----------------------------------- 1 1 1 | 1 1 *1 1 1 1 1 0 | 0 0 *1 1 0 1 0 1 | 1 1 *1 0 1 1 0 0 | 1 1 *1 0 1 0 1 1 | 1 1 *1 0 1 0 1 0 | 1 0 *1 0 1 0 0 1 | 1 1 *1 0 1 0 0 0 | 1 1 *1 0 1Tablas
P Q R | ((P & Q) -> R) -> (P -> (Q -> R)) -------+----------------------------------- 1 1 1 | 1 1 *1 1 1 1 1 0 | 1 0 *1 0 0 1 0 1 | 0 1 *1 1 1 1 0 0 | 0 1 *1 1 1 0 1 1 | 0 1 *1 1 1 0 1 0 | 0 1 *1 1 0 0 0 1 | 0 1 *1 1 1 0 0 0 | 0 1 *1 1 1Tablas
P Q R S | (P & Q) -> (R v S) ---------+-------------------- 1 1 1 1 | 1 *1 1 1 1 1 0 | 1 *1 1 1 1 0 1 | 1 *1 1 1 1 0 0 | 1 *0 0 1 0 1 1 | 0 *1 1 1 0 1 0 | 0 *1 1 1 0 0 1 | 0 *1 1 1 0 0 0 | 0 *1 0 0 1 1 1 | 0 *1 1 0 1 1 0 | 0 *1 1 0 1 0 1 | 0 *1 1 0 1 0 0 | 0 *1 0 0 0 1 1 | 0 *1 1 0 0 1 0 | 0 *1 1 0 0 0 1 | 0 *1 1 0 0 0 0 | 0 *1 0Tablas
P Q R S | ((P -> Q) & (Q -> (R v S))) -> (P -> (R v S)) ---------+----------------------------------------------- 1 1 1 1 | 1 1 1 1 *1 1 1 1 1 1 0 | 1 1 1 1 *1 1 1 1 1 0 1 | 1 1 1 1 *1 1 1 1 1 0 0 | 1 0 0 0 *1 0 0 1 0 1 1 | 0 0 1 1 *1 1 1 1 0 1 0 | 0 0 1 1 *1 1 1 1 0 0 1 | 0 0 1 1 *1 1 1 1 0 0 0 | 0 0 1 0 *1 0 0 0 1 1 1 | 1 1 1 1 *1 1 1 0 1 1 0 | 1 1 1 1 *1 1 1 0 1 0 1 | 1 1 1 1 *1 1 1 0 1 0 0 | 1 0 0 0 *1 1 0 0 0 1 1 | 1 1 1 1 *1 1 1 0 0 1 0 | 1 1 1 1 *1 1 1 0 0 0 1 | 1 1 1 1 *1 1 1 0 0 0 0 | 1 1 1 0 *1 1 0Tablas
P Q R S | ((P & Q) -> R) v ((~Q & S) -> R) ---------+---------------------------------- 1 1 1 1 | 1 1 *1 0 0 1 1 1 1 0 | 1 1 *1 0 0 1 1 1 0 1 | 1 0 *1 0 0 1 1 1 0 0 | 1 0 *1 0 0 1 1 0 1 1 | 0 1 *1 1 1 1 1 0 1 0 | 0 1 *1 1 0 1 1 0 0 1 | 0 1 *1 1 1 0 1 0 0 0 | 0 1 *1 1 0 1 0 1 1 1 | 0 1 *1 0 0 1 0 1 1 0 | 0 1 *1 0 0 1 0 1 0 1 | 0 1 *1 0 0 1 0 1 0 0 | 0 1 *1 0 0 1 0 0 1 1 | 0 1 *1 1 1 1 0 0 1 0 | 0 1 *1 1 0 1 0 0 0 1 | 0 1 *1 1 1 0 0 0 0 0 | 0 1 *1 1 0 1Tablas
P Q R S | (((P v ~P) & (P -> (Q & ~S))) & (~P -> (R & ~S))) -> ~S ---------+--------------------------------------------------------- 1 1 1 1 | 1 0 0 0 0 0 0 0 1 0 0 *1 0 1 1 1 0 | 1 0 1 1 1 1 1 0 1 1 1 *1 1 1 1 0 1 | 1 0 0 0 0 0 0 0 1 0 0 *1 0 1 1 0 0 | 1 0 1 1 1 1 1 0 1 0 1 *1 1 1 0 1 1 | 1 0 0 0 0 0 0 0 1 0 0 *1 0 1 0 1 0 | 1 0 0 0 0 1 0 0 1 1 1 *1 1 1 0 0 1 | 1 0 0 0 0 0 0 0 1 0 0 *1 0 1 0 0 0 | 1 0 0 0 0 1 0 0 1 0 1 *1 1 0 1 1 1 | 1 1 1 1 0 0 0 1 0 0 0 *1 0 0 1 1 0 | 1 1 1 1 1 1 1 1 1 1 1 *1 1 0 1 0 1 | 1 1 1 1 0 0 0 1 0 0 0 *1 0 0 1 0 0 | 1 1 1 1 1 1 0 1 0 0 1 *1 1 0 0 1 1 | 1 1 1 1 0 0 0 1 0 0 0 *1 0 0 0 1 0 | 1 1 1 1 0 1 1 1 1 1 1 *1 1 0 0 0 1 | 1 1 1 1 0 0 0 1 0 0 0 *1 0 0 0 0 0 | 1 1 1 1 0 1 0 1 0 0 1 *1 1Tablas
Si porsucarabonita lograra alcanzar nota suficiente, entonces no habría que aumentarle la nota y llegaría a ingresar en la facultad deseada. Ahora bien, si no logra alcanzar nota suficiente, entonces le aumentamos la nota, y, con ello, porsucarabonita logra ingresar en la facultad deseada; pero sucede tambien que pelagatossinpadrino se queda en la calle (porque porsucarabonita le ha usurpado su plaza de un modo realmente canallesco). Por consiguiente, no es cierto que se aumente la nota a porsucarabonita y pelagatossinpadrino no se quede en la calle.
P Q R S | ((P -> (~Q & R)) & (~P -> ((Q & R) & S))) -> ~(Q & ~S) ---------+-------------------------------------------------------- 1 1 1 1 | 0 0 0 0 0 1 1 1 *1 1 0 0 1 1 1 0 | 0 0 0 0 0 1 1 0 *1 0 1 1 1 1 0 1 | 0 0 0 0 0 1 0 0 *1 1 0 0 1 1 0 0 | 0 0 0 0 0 1 0 0 *1 0 1 1 1 0 1 1 | 1 1 1 1 0 1 0 0 *1 1 0 0 1 0 1 0 | 1 1 1 1 0 1 0 0 *1 1 0 1 1 0 0 1 | 0 1 0 0 0 1 0 0 *1 1 0 0 1 0 0 0 | 0 1 0 0 0 1 0 0 *1 1 0 1 0 1 1 1 | 1 0 0 1 1 1 1 1 *1 1 0 0 0 1 1 0 | 1 0 0 0 1 0 1 0 *1 0 1 1 0 1 0 1 | 1 0 0 0 1 0 0 0 *1 1 0 0 0 1 0 0 | 1 0 0 0 1 0 0 0 *1 0 1 1 0 0 1 1 | 1 1 1 0 1 0 0 0 *1 1 0 0 0 0 1 0 | 1 1 1 0 1 0 0 0 *1 1 0 1 0 0 0 1 | 1 1 0 0 1 0 0 0 *1 1 0 0 0 0 0 0 | 1 1 0 0 1 0 0 0 *1 1 0 1Tablas
Usted regresó del club la noche pasada con restos de tiza entre el índice y el pulgar. Y lo cierto es que cuando usted juega al billar, se da tiza en ese sitio. Además, cuando usted juega al billar, he de ser con Thurston. Por otro lado, hace cuatro semanas que usted dijo que Thurston tenía una opción sobre determinados valores sudafricanos y que deseaba que entrase con él en el negocio. Pero si entrase con él en el negocio, tedría que utilizar su talonario de cheques que tenía guardado en mi despacho, y, además, si utilizara su talonario de cheques, debería de haberme pedido la llave, pero no me la ha pedido. Por consiguiente, no se propone entrar en negocios con Thurston.
P Q R S T U V | ((((((P & (Q -> P)) & (Q -> R)) & (S & T)) & (T -> U)) & (U -> V)) & ~V) -> ~T ---------------+-------------------------------------------------------------------------------- 1 1 1 1 1 1 1 | 1 1 1 1 1 1 1 1 1 1 0 0 *1 0 1 1 1 1 1 1 0 | 1 1 1 1 1 1 1 1 0 0 0 1 *1 0 1 1 1 1 1 0 1 | 1 1 1 1 1 1 0 0 0 1 0 0 *1 0 1 1 1 1 1 0 0 | 1 1 1 1 1 1 0 0 0 1 0 1 *1 0 1 1 1 1 0 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 1 1 1 0 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 1 1 1 1 1 0 0 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 1 1 1 0 0 0 | 1 1 1 1 0 0 0 1 0 1 0 1 *1 1 1 1 1 0 1 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 0 1 1 1 0 1 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 0 1 1 1 0 1 0 1 | 1 1 1 1 0 0 0 0 0 1 0 0 *1 0 1 1 1 0 1 0 0 | 1 1 1 1 0 0 0 0 0 1 0 1 *1 0 1 1 1 0 0 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 1 1 0 0 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 1 1 1 1 0 0 0 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 1 1 0 0 0 0 | 1 1 1 1 0 0 0 1 0 1 0 1 *1 1 1 1 0 1 1 1 1 | 1 1 0 0 0 1 0 1 0 1 0 0 *1 0 1 1 0 1 1 1 0 | 1 1 0 0 0 1 0 1 0 0 0 1 *1 0 1 1 0 1 1 0 1 | 1 1 0 0 0 1 0 0 0 1 0 0 *1 0 1 1 0 1 1 0 0 | 1 1 0 0 0 1 0 0 0 1 0 1 *1 0 1 1 0 1 0 1 1 | 1 1 0 0 0 0 0 1 0 1 0 0 *1 1 1 1 0 1 0 1 0 | 1 1 0 0 0 0 0 1 0 0 0 1 *1 1 1 1 0 1 0 0 1 | 1 1 0 0 0 0 0 1 0 1 0 0 *1 1 1 1 0 1 0 0 0 | 1 1 0 0 0 0 0 1 0 1 0 1 *1 1 1 1 0 0 1 1 1 | 1 1 0 0 0 0 0 1 0 1 0 0 *1 0 1 1 0 0 1 1 0 | 1 1 0 0 0 0 0 1 0 0 0 1 *1 0 1 1 0 0 1 0 1 | 1 1 0 0 0 0 0 0 0 1 0 0 *1 0 1 1 0 0 1 0 0 | 1 1 0 0 0 0 0 0 0 1 0 1 *1 0 1 1 0 0 0 1 1 | 1 1 0 0 0 0 0 1 0 1 0 0 *1 1 1 1 0 0 0 1 0 | 1 1 0 0 0 0 0 1 0 0 0 1 *1 1 1 1 0 0 0 0 1 | 1 1 0 0 0 0 0 1 0 1 0 0 *1 1 1 1 0 0 0 0 0 | 1 1 0 0 0 0 0 1 0 1 0 1 *1 1 1 0 1 1 1 1 1 | 1 1 1 1 1 1 1 1 1 1 0 0 *1 0 1 0 1 1 1 1 0 | 1 1 1 1 1 1 1 1 0 0 0 1 *1 0 1 0 1 1 1 0 1 | 1 1 1 1 1 1 0 0 0 1 0 0 *1 0 1 0 1 1 1 0 0 | 1 1 1 1 1 1 0 0 0 1 0 1 *1 0 1 0 1 1 0 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 1 1 0 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 1 1 0 1 1 0 0 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 1 1 0 0 0 | 1 1 1 1 0 0 0 1 0 1 0 1 *1 1 1 0 1 0 1 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 0 1 0 1 0 1 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 0 1 0 1 0 1 0 1 | 1 1 1 1 0 0 0 0 0 1 0 0 *1 0 1 0 1 0 1 0 0 | 1 1 1 1 0 0 0 0 0 1 0 1 *1 0 1 0 1 0 0 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 1 0 0 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 1 1 0 1 0 0 0 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 1 0 0 0 0 | 1 1 1 1 0 0 0 1 0 1 0 1 *1 1 1 0 0 1 1 1 1 | 1 1 1 1 1 1 1 1 1 1 0 0 *1 0 1 0 0 1 1 1 0 | 1 1 1 1 1 1 1 1 0 0 0 1 *1 0 1 0 0 1 1 0 1 | 1 1 1 1 1 1 0 0 0 1 0 0 *1 0 1 0 0 1 1 0 0 | 1 1 1 1 1 1 0 0 0 1 0 1 *1 0 1 0 0 1 0 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 0 1 0 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 1 1 0 0 1 0 0 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 0 1 0 0 0 | 1 1 1 1 0 0 0 1 0 1 0 1 *1 1 1 0 0 0 1 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 0 1 0 0 0 1 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 0 1 0 0 0 1 0 1 | 1 1 1 1 0 0 0 0 0 1 0 0 *1 0 1 0 0 0 1 0 0 | 1 1 1 1 0 0 0 0 0 1 0 1 *1 0 1 0 0 0 0 1 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 0 0 0 1 0 | 1 1 1 1 0 0 0 1 0 0 0 1 *1 1 1 0 0 0 0 0 1 | 1 1 1 1 0 0 0 1 0 1 0 0 *1 1 1 0 0 0 0 0 0 | 1 1 1 1 0 0 0 1 0 1 0 1 *1 1 0 1 1 1 1 1 1 | 0 0 0 1 0 1 0 1 0 1 0 0 *1 0 0 1 1 1 1 1 0 | 0 0 0 1 0 1 0 1 0 0 0 1 *1 0 0 1 1 1 1 0 1 | 0 0 0 1 0 1 0 0 0 1 0 0 *1 0 0 1 1 1 1 0 0 | 0 0 0 1 0 1 0 0 0 1 0 1 *1 0 0 1 1 1 0 1 1 | 0 0 0 1 0 0 0 1 0 1 0 0 *1 1 0 1 1 1 0 1 0 | 0 0 0 1 0 0 0 1 0 0 0 1 *1 1 0 1 1 1 0 0 1 | 0 0 0 1 0 0 0 1 0 1 0 0 *1 1 0 1 1 1 0 0 0 | 0 0 0 1 0 0 0 1 0 1 0 1 *1 1 0 1 1 0 1 1 1 | 0 0 0 1 0 0 0 1 0 1 0 0 *1 0 0 1 1 0 1 1 0 | 0 0 0 1 0 0 0 1 0 0 0 1 *1 0 0 1 1 0 1 0 1 | 0 0 0 1 0 0 0 0 0 1 0 0 *1 0 0 1 1 0 1 0 0 | 0 0 0 1 0 0 0 0 0 1 0 1 *1 0 0 1 1 0 0 1 1 | 0 0 0 1 0 0 0 1 0 1 0 0 *1 1 0 1 1 0 0 1 0 | 0 0 0 1 0 0 0 1 0 0 0 1 *1 1 0 1 1 0 0 0 1 | 0 0 0 1 0 0 0 1 0 1 0 0 *1 1 0 1 1 0 0 0 0 | 0 0 0 1 0 0 0 1 0 1 0 1 *1 1 0 1 0 1 1 1 1 | 0 0 0 0 0 1 0 1 0 1 0 0 *1 0 0 1 0 1 1 1 0 | 0 0 0 0 0 1 0 1 0 0 0 1 *1 0 0 1 0 1 1 0 1 | 0 0 0 0 0 1 0 0 0 1 0 0 *1 0 0 1 0 1 1 0 0 | 0 0 0 0 0 1 0 0 0 1 0 1 *1 0 0 1 0 1 0 1 1 | 0 0 0 0 0 0 0 1 0 1 0 0 *1 1 0 1 0 1 0 1 0 | 0 0 0 0 0 0 0 1 0 0 0 1 *1 1 0 1 0 1 0 0 1 | 0 0 0 0 0 0 0 1 0 1 0 0 *1 1 0 1 0 1 0 0 0 | 0 0 0 0 0 0 0 1 0 1 0 1 *1 1 0 1 0 0 1 1 1 | 0 0 0 0 0 0 0 1 0 1 0 0 *1 0 0 1 0 0 1 1 0 | 0 0 0 0 0 0 0 1 0 0 0 1 *1 0 0 1 0 0 1 0 1 | 0 0 0 0 0 0 0 0 0 1 0 0 *1 0 0 1 0 0 1 0 0 | 0 0 0 0 0 0 0 0 0 1 0 1 *1 0 0 1 0 0 0 1 1 | 0 0 0 0 0 0 0 1 0 1 0 0 *1 1 0 1 0 0 0 1 0 | 0 0 0 0 0 0 0 1 0 0 0 1 *1 1 0 1 0 0 0 0 1 | 0 0 0 0 0 0 0 1 0 1 0 0 *1 1 0 1 0 0 0 0 0 | 0 0 0 0 0 0 0 1 0 1 0 1 *1 1 0 0 1 1 1 1 1 | 0 1 0 1 0 1 0 1 0 1 0 0 *1 0 0 0 1 1 1 1 0 | 0 1 0 1 0 1 0 1 0 0 0 1 *1 0 0 0 1 1 1 0 1 | 0 1 0 1 0 1 0 0 0 1 0 0 *1 0 0 0 1 1 1 0 0 | 0 1 0 1 0 1 0 0 0 1 0 1 *1 0 0 0 1 1 0 1 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 1 1 0 1 0 | 0 1 0 1 0 0 0 1 0 0 0 1 *1 1 0 0 1 1 0 0 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 1 1 0 0 0 | 0 1 0 1 0 0 0 1 0 1 0 1 *1 1 0 0 1 0 1 1 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 0 0 0 1 0 1 1 0 | 0 1 0 1 0 0 0 1 0 0 0 1 *1 0 0 0 1 0 1 0 1 | 0 1 0 1 0 0 0 0 0 1 0 0 *1 0 0 0 1 0 1 0 0 | 0 1 0 1 0 0 0 0 0 1 0 1 *1 0 0 0 1 0 0 1 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 1 0 0 1 0 | 0 1 0 1 0 0 0 1 0 0 0 1 *1 1 0 0 1 0 0 0 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 1 0 0 0 0 | 0 1 0 1 0 0 0 1 0 1 0 1 *1 1 0 0 0 1 1 1 1 | 0 1 0 1 0 1 0 1 0 1 0 0 *1 0 0 0 0 1 1 1 0 | 0 1 0 1 0 1 0 1 0 0 0 1 *1 0 0 0 0 1 1 0 1 | 0 1 0 1 0 1 0 0 0 1 0 0 *1 0 0 0 0 1 1 0 0 | 0 1 0 1 0 1 0 0 0 1 0 1 *1 0 0 0 0 1 0 1 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 0 1 0 1 0 | 0 1 0 1 0 0 0 1 0 0 0 1 *1 1 0 0 0 1 0 0 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 0 1 0 0 0 | 0 1 0 1 0 0 0 1 0 1 0 1 *1 1 0 0 0 0 1 1 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 0 0 0 0 0 1 1 0 | 0 1 0 1 0 0 0 1 0 0 0 1 *1 0 0 0 0 0 1 0 1 | 0 1 0 1 0 0 0 0 0 1 0 0 *1 0 0 0 0 0 1 0 0 | 0 1 0 1 0 0 0 0 0 1 0 1 *1 0 0 0 0 0 0 1 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 0 0 0 1 0 | 0 1 0 1 0 0 0 1 0 0 0 1 *1 1 0 0 0 0 0 0 1 | 0 1 0 1 0 0 0 1 0 1 0 0 *1 1 0 0 0 0 0 0 0 | 0 1 0 1 0 0 0 1 0 1 0 1 *1 1Tablas
Si el ejercito marcha contra el enemigo, tiene posibilidades de éxito, y arrasará la capital enemiga, si tiene posibilidades de éxito. Ahora bien, o el ejercito marcha contra el enemigo, o se repliega rápidamente. Si se repliega rápidamente, el enemigo atacará la retaguardia; y perderá la guerra, si el enemigo ataca la retaguardia. Por consiguiente, si no arrasa la capital enemiga, perderá la guerra.
P Q R S T U | (((((P -> Q) & (Q -> R)) & (P v S)) & (S -> T)) & (T -> U)) -> (~R -> U) -------------+-------------------------------------------------------------------------- 1 1 1 1 1 1 | 1 1 1 1 1 1 1 1 1 *1 0 1 1 1 1 1 1 0 | 1 1 1 1 1 1 1 0 0 *1 0 1 1 1 1 1 0 1 | 1 1 1 1 1 0 0 0 1 *1 0 1 1 1 1 1 0 0 | 1 1 1 1 1 0 0 0 1 *1 0 1 1 1 1 0 1 1 | 1 1 1 1 1 1 1 1 1 *1 0 1 1 1 1 0 1 0 | 1 1 1 1 1 1 1 0 0 *1 0 1 1 1 1 0 0 1 | 1 1 1 1 1 1 1 1 1 *1 0 1 1 1 1 0 0 0 | 1 1 1 1 1 1 1 1 1 *1 0 1 1 1 0 1 1 1 | 1 0 0 0 1 0 1 0 1 *1 1 1 1 1 0 1 1 0 | 1 0 0 0 1 0 1 0 0 *1 1 0 1 1 0 1 0 1 | 1 0 0 0 1 0 0 0 1 *1 1 1 1 1 0 1 0 0 | 1 0 0 0 1 0 0 0 1 *1 1 0 1 1 0 0 1 1 | 1 0 0 0 1 0 1 0 1 *1 1 1 1 1 0 0 1 0 | 1 0 0 0 1 0 1 0 0 *1 1 0 1 1 0 0 0 1 | 1 0 0 0 1 0 1 0 1 *1 1 1 1 1 0 0 0 0 | 1 0 0 0 1 0 1 0 1 *1 1 0 1 0 1 1 1 1 | 0 0 1 0 1 0 1 0 1 *1 0 1 1 0 1 1 1 0 | 0 0 1 0 1 0 1 0 0 *1 0 1 1 0 1 1 0 1 | 0 0 1 0 1 0 0 0 1 *1 0 1 1 0 1 1 0 0 | 0 0 1 0 1 0 0 0 1 *1 0 1 1 0 1 0 1 1 | 0 0 1 0 1 0 1 0 1 *1 0 1 1 0 1 0 1 0 | 0 0 1 0 1 0 1 0 0 *1 0 1 1 0 1 0 0 1 | 0 0 1 0 1 0 1 0 1 *1 0 1 1 0 1 0 0 0 | 0 0 1 0 1 0 1 0 1 *1 0 1 1 0 0 1 1 1 | 0 0 1 0 1 0 1 0 1 *1 1 1 1 0 0 1 1 0 | 0 0 1 0 1 0 1 0 0 *1 1 0 1 0 0 1 0 1 | 0 0 1 0 1 0 0 0 1 *1 1 1 1 0 0 1 0 0 | 0 0 1 0 1 0 0 0 1 *1 1 0 1 0 0 0 1 1 | 0 0 1 0 1 0 1 0 1 *1 1 1 1 0 0 0 1 0 | 0 0 1 0 1 0 1 0 0 *1 1 0 1 0 0 0 0 1 | 0 0 1 0 1 0 1 0 1 *1 1 1 1 0 0 0 0 0 | 0 0 1 0 1 0 1 0 1 *1 1 0 0 1 1 1 1 1 | 1 1 1 1 1 1 1 1 1 *1 0 1 0 1 1 1 1 0 | 1 1 1 1 1 1 1 0 0 *1 0 1 0 1 1 1 0 1 | 1 1 1 1 1 0 0 0 1 *1 0 1 0 1 1 1 0 0 | 1 1 1 1 1 0 0 0 1 *1 0 1 0 1 1 0 1 1 | 1 1 1 0 0 0 1 0 1 *1 0 1 0 1 1 0 1 0 | 1 1 1 0 0 0 1 0 0 *1 0 1 0 1 1 0 0 1 | 1 1 1 0 0 0 1 0 1 *1 0 1 0 1 1 0 0 0 | 1 1 1 0 0 0 1 0 1 *1 0 1 0 1 0 1 1 1 | 1 0 0 0 1 0 1 0 1 *1 1 1 0 1 0 1 1 0 | 1 0 0 0 1 0 1 0 0 *1 1 0 0 1 0 1 0 1 | 1 0 0 0 1 0 0 0 1 *1 1 1 0 1 0 1 0 0 | 1 0 0 0 1 0 0 0 1 *1 1 0 0 1 0 0 1 1 | 1 0 0 0 0 0 1 0 1 *1 1 1 0 1 0 0 1 0 | 1 0 0 0 0 0 1 0 0 *1 1 0 0 1 0 0 0 1 | 1 0 0 0 0 0 1 0 1 *1 1 1 0 1 0 0 0 0 | 1 0 0 0 0 0 1 0 1 *1 1 0 0 0 1 1 1 1 | 1 1 1 1 1 1 1 1 1 *1 0 1 0 0 1 1 1 0 | 1 1 1 1 1 1 1 0 0 *1 0 1 0 0 1 1 0 1 | 1 1 1 1 1 0 0 0 1 *1 0 1 0 0 1 1 0 0 | 1 1 1 1 1 0 0 0 1 *1 0 1 0 0 1 0 1 1 | 1 1 1 0 0 0 1 0 1 *1 0 1 0 0 1 0 1 0 | 1 1 1 0 0 0 1 0 0 *1 0 1 0 0 1 0 0 1 | 1 1 1 0 0 0 1 0 1 *1 0 1 0 0 1 0 0 0 | 1 1 1 0 0 0 1 0 1 *1 0 1 0 0 0 1 1 1 | 1 1 1 1 1 1 1 1 1 *1 1 1 0 0 0 1 1 0 | 1 1 1 1 1 1 1 0 0 *1 1 0 0 0 0 1 0 1 | 1 1 1 1 1 0 0 0 1 *1 1 1 0 0 0 1 0 0 | 1 1 1 1 1 0 0 0 1 *1 1 0 0 0 0 0 1 1 | 1 1 1 0 0 0 1 0 1 *1 1 1 0 0 0 0 1 0 | 1 1 1 0 0 0 1 0 0 *1 1 0 0 0 0 0 0 1 | 1 1 1 0 0 0 1 0 1 *1 1 1 0 0 0 0 0 0 | 1 1 1 0 0 0 1 0 1 *1 1 0Tablas
Si una masa se mueve rectilinea y uniformente con respecto a un sistema de coordenadas K1, entonces tambien, con respecto a un sistema de coordenadas K2, se moverá rectilinea y uniformemente,aunque unicamente en el caso de que éste último ejecute, con respecto a K1 un movimiento de traslación uniforme.
P Q R S T | ((P & Q) -> (R & S)) <-> T -----------+---------------------------- 1 1 1 1 1 | 1 1 1 *1* 1 1 1 1 0 | 1 1 1 *0* 1 1 1 0 1 | 1 0 0 *0* 1 1 1 0 0 | 1 0 0 *1* 1 1 0 1 1 | 1 0 0 *0* 1 1 0 1 0 | 1 0 0 *1* 1 1 0 0 1 | 1 0 0 *0* 1 1 0 0 0 | 1 0 0 *1* 1 0 1 1 1 | 0 1 1 *1* 1 0 1 1 0 | 0 1 1 *0* 1 0 1 0 1 | 0 1 0 *1* 1 0 1 0 0 | 0 1 0 *0* 1 0 0 1 1 | 0 1 0 *1* 1 0 0 1 0 | 0 1 0 *0* 1 0 0 0 1 | 0 1 0 *1* 1 0 0 0 0 | 0 1 0 *0* 0 1 1 1 1 | 0 1 1 *1* 0 1 1 1 0 | 0 1 1 *0* 0 1 1 0 1 | 0 1 0 *1* 0 1 1 0 0 | 0 1 0 *0* 0 1 0 1 1 | 0 1 0 *1* 0 1 0 1 0 | 0 1 0 *0* 0 1 0 0 1 | 0 1 0 *1* 0 1 0 0 0 | 0 1 0 *0* 0 0 1 1 1 | 0 1 1 *1* 0 0 1 1 0 | 0 1 1 *0* 0 0 1 0 1 | 0 1 0 *1* 0 0 1 0 0 | 0 1 0 *0* 0 0 0 1 1 | 0 1 0 *1* 0 0 0 1 0 | 0 1 0 *0* 0 0 0 0 1 | 0 1 0 *1* 0 0 0 0 0 | 0 1 0 *0*Tablas
P Q R | ((P & Q) -> P) -> ((Q v R) & (~Q & ~R)) -------+----------------------------------------- 1 1 1 | 1 1 *0 1 0 0 0 0 1 1 0 | 1 1 *0 1 0 0 0 1 1 0 1 | 0 1 *0 1 0 1 0 0 1 0 0 | 0 1 *0 0 0 1 1 1 0 1 1 | 0 1 *0 1 0 0 0 0 0 1 0 | 0 1 *0 1 0 0 0 1 0 0 1 | 0 1 *0 1 0 1 0 0 0 0 0 | 0 1 *0 0 0 1 1 1
P Q R | ((P & Q) -> R) -> (P v R) -------+--------------------------- 1 1 1 | 1 1 *1 1 1 1 0 | 1 0 *1 1 1 0 1 | 0 1 *1 1 1 0 0 | 0 1 *1 1 0 1 1 | 0 1 *1 1 0 1 0 | 0 1 *0 0 0 0 1 | 0 1 *1 1 0 0 0 | 0 1 *0 0
P Q R S T U | (((P & Q) -> R) & (S & T)) -> U -------------+--------------------------------- 1 1 1 1 1 1 | 1 1 1 1 *1 1 1 1 1 1 0 | 1 1 1 1 *0 1 1 1 1 0 1 | 1 1 0 0 *1 1 1 1 1 0 0 | 1 1 0 0 *1 1 1 1 0 1 1 | 1 1 0 0 *1 1 1 1 0 1 0 | 1 1 0 0 *1 1 1 1 0 0 1 | 1 1 0 0 *1 1 1 1 0 0 0 | 1 1 0 0 *1 1 1 0 1 1 1 | 1 0 0 1 *1 1 1 0 1 1 0 | 1 0 0 1 *1 1 1 0 1 0 1 | 1 0 0 0 *1 1 1 0 1 0 0 | 1 0 0 0 *1 1 1 0 0 1 1 | 1 0 0 0 *1 1 1 0 0 1 0 | 1 0 0 0 *1 1 1 0 0 0 1 | 1 0 0 0 *1 1 1 0 0 0 0 | 1 0 0 0 *1 1 0 1 1 1 1 | 0 1 1 1 *1 1 0 1 1 1 0 | 0 1 1 1 *0 1 0 1 1 0 1 | 0 1 0 0 *1 1 0 1 1 0 0 | 0 1 0 0 *1 1 0 1 0 1 1 | 0 1 0 0 *1 1 0 1 0 1 0 | 0 1 0 0 *1 1 0 1 0 0 1 | 0 1 0 0 *1 1 0 1 0 0 0 | 0 1 0 0 *1 1 0 0 1 1 1 | 0 1 1 1 *1 1 0 0 1 1 0 | 0 1 1 1 *0 1 0 0 1 0 1 | 0 1 0 0 *1 1 0 0 1 0 0 | 0 1 0 0 *1 1 0 0 0 1 1 | 0 1 0 0 *1 1 0 0 0 1 0 | 0 1 0 0 *1 1 0 0 0 0 1 | 0 1 0 0 *1 1 0 0 0 0 0 | 0 1 0 0 *1 0 1 1 1 1 1 | 0 1 1 1 *1 0 1 1 1 1 0 | 0 1 1 1 *0 0 1 1 1 0 1 | 0 1 0 0 *1 0 1 1 1 0 0 | 0 1 0 0 *1 0 1 1 0 1 1 | 0 1 0 0 *1 0 1 1 0 1 0 | 0 1 0 0 *1 0 1 1 0 0 1 | 0 1 0 0 *1 0 1 1 0 0 0 | 0 1 0 0 *1 0 1 0 1 1 1 | 0 1 1 1 *1 0 1 0 1 1 0 | 0 1 1 1 *0 0 1 0 1 0 1 | 0 1 0 0 *1 0 1 0 1 0 0 | 0 1 0 0 *1 0 1 0 0 1 1 | 0 1 0 0 *1 0 1 0 0 1 0 | 0 1 0 0 *1 0 1 0 0 0 1 | 0 1 0 0 *1 0 1 0 0 0 0 | 0 1 0 0 *1 0 0 1 1 1 1 | 0 1 1 1 *1 0 0 1 1 1 0 | 0 1 1 1 *0 0 0 1 1 0 1 | 0 1 0 0 *1 0 0 1 1 0 0 | 0 1 0 0 *1 0 0 1 0 1 1 | 0 1 0 0 *1 0 0 1 0 1 0 | 0 1 0 0 *1 0 0 1 0 0 1 | 0 1 0 0 *1 0 0 1 0 0 0 | 0 1 0 0 *1 0 0 0 1 1 1 | 0 1 1 1 *1 0 0 0 1 1 0 | 0 1 1 1 *0 0 0 0 1 0 1 | 0 1 0 0 *1 0 0 0 1 0 0 | 0 1 0 0 *1 0 0 0 0 1 1 | 0 1 0 0 *1 0 0 0 0 1 0 | 0 1 0 0 *1 0 0 0 0 0 1 | 0 1 0 0 *1 0 0 0 0 0 0 | 0 1 0 0 *1
P Q R | (((P & Q) -> P) -> (Q v R)) & (~Q & ~R) -------+----------------------------------------- 1 1 1 | 1 1 1 1 *0 0 0 0 1 1 0 | 1 1 1 1 *0 0 0 1 1 0 1 | 0 1 1 1 *0 1 0 0 1 0 0 | 0 1 0 0 *0 1 1 1 0 1 1 | 0 1 1 1 *0 0 0 0 0 1 0 | 0 1 1 1 *0 0 0 1 0 0 1 | 0 1 1 1 *0 1 0 0 0 0 0 | 0 1 0 0 *0 1 1 1
P Q R | ((~P v Q) -> R) <-> ((P & ~Q) v R) -------+------------------------------------ 1 1 1 | 0 1 1 *1* 0 0 1 1 1 0 | 0 1 0 *1* 0 0 0 1 0 1 | 0 0 1 *1* 1 1 1 1 0 0 | 0 0 1 *1* 1 1 1 0 1 1 | 1 1 1 *1* 0 0 1 0 1 0 | 1 1 0 *1* 0 0 0 0 0 1 | 1 1 1 *1* 0 1 1 0 0 0 | 1 1 0 *1* 0 1 0Tablas