tablas de verdad
TRANSCRIPT
TABLAS DE VERDAD
Seccin1 FILOSOFAR MAANA AYER MUERTE Seccin2 TRABAJO PARO TELFONO CONTROL SUBSTANCIA1 SUBSTANCIA2 Seccin3 SEGUROS GUERRA DILEMA1 DILEMA2 Seccin4 CARABONITA THURSTON EJERCITO MOVIMIENTO Seccin5 EJERCICIOS
Ejercicios con Tablas de Verdad
Presentamos una serie de Argumentos y Ejercicios lgicos para ser resueltos mediante la aplicacin de las Tablas de Verdad. Los argumentos que presentamos deben primeramente simbolizarse. Posteriormente formalizarse. Por ltimo debe aplicrseles las Tablas de Verdad con el objeto de averigar su validez o invalidez formal.
Mundo Lgica
FILOSOFAR 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. (Aristteles)
Formalizacin y Tabla de verdad de Filosofar(p v p) and (p->p) and ( p->p) -> pP | (((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 *1
Tablas
MAANA Si no est el maana ni el ayer escrito, entonces no est el maana escrito.
Formalizacin y Tabla de verdad de Maana ( p and q) -> ( p)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 1
Tablas
AYER
Si no est el maana ni el ayer escrito, entonces no est el ayer escrito.
Formalizacin y Tabla de Verdad de Ayer (not p and not q) -> (not q)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 1
Tablas
MUERTE
Cuando no se tiene imaginacin, la muerte es poca cosa; cuando se tiene, es demasiado.
Formalizacin y Tabla de Verdad de Muerte (not p -> q) and (p -> not q)
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 1
Tablas
TrabajoMe matan si no trabajo y si trabajo me matan. Me matan siempre me matan.
Formalizacin y Tabla de Verdad de Trabajo (not p -> q) and (p -> q) -> qP 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 *1
Tablas
ParoPuedes estudiar o trabajar. Si estudias, te amenazar el paro. Si trabajas, tambien. Por consiguiente, te amenazar el paro.
Formalizacin y Tablas de verdad de Paro (p v q) and (p -> r) and (q -> r) -> rP 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 *1
Tablas
TelfonoSi te llam por telfono, entonces recibiste mi llamada y no es cierto que no te avis del peligro que corras. Por consiguiente, como te llam, es cierto que te avis del peligro que corras.
Formalizacin y Tablas de verdad de Telfono [p -> (q and not not r)] -> [(p -> r)]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 1
Tablas
Control
Si no hay control de nacimientos, entonces la poblacin crece ilimitadamente, Pero si la poblacin crece ilimitadamente, aumentar el ndice de pobreza. Por consiguiente, si no hay control de nacimientos, aumentar el ndice de pobreza
Formalizacin y Tablas de verdad de Control [(not p -> q) and (q -> r)] -> [(not p -> r)]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 0
Tablas
Substancia1Si se piensa que todo es substancia pensante,entonces si vemos que todo es substancia extensa,entonces,todo debera ser inextenso.Por consiguiente, si se piensa que todo es substancia pensante y vemos que todo es substancia extensa,entonces,en realidad,todo debera ser inextenso
Formalizacin y Tablas de verdad de Substancia1 [(p -> (q -> r)] -> [(p and q) -> r)]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 1
Tablas
Substancia2Si se piensa que todo es substancia pensante y vemos que todo es substancia extensa,entonces, en realidad, todo debera ser inextenso.Por consiguiente, si se piensa que todo es substancia pensante, entonces, si vemos que todo es substancia extensa, entonces, en realidad, debera de ser inextensa
Formalizacin y Tablas de verdad de Substancia2 [(p and q) -> r)] -> [(p -> (q -> r)]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
1
Tablas
SegurosSi el vehculo queda inmovilizado durante 48 horas y las reparaciones han de durar 8 horas o ms, la compaa de seguros pone a disposicin de cada uno de los asegurados que viajaban en el vehculo, un billete de trn (1 clase) o de avin (clase turista).
Formalizacin y Tabla de Verdad de Seguros (p and q) -> (r v s)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 0 0
0 0 0 0
1 1 0 0
1 0 1 0
| | | |
0 0 0 0
*1 *1 *1 *1
1 1 1 0
Tablas
Alfonso GuerraSi esos tres ministros se han saltado a Alfonso Guerra a la torera, entonces lo han hecho con permiso de Felipe Gonzlez.Pero si Felipe Gonzlez les ha dado permiso, entonces una de dos: o quiere que esos ministros se precipiten al abismo o quieren que le ayuden a empujar a Alfonso Guerra al precipicio. Por consiguiente, como parece evidente que los tres ministros intentaron saltarse a Alfonso Guerra (dando rodeos para no ser detectados por el radar de Guerra), entonces, o bien Felipe Gonzlez quiere que los 3 ministros se precipiten al abismo, o bien quiere que le ayuden a precipitar a Alfonso Guerra al precipicio, o bien quiere que se precipiten mbos (Guerra-Ministros) a la vez.
Formalizacin y Tablas de Verdad sobre Alfonso Guerra
((p -> q) and (q -> r v s)) -> ((p -> r v s))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 0
Tablas
Autoenterramiento Si acepto el mundo que me ofrecen y soy feliz as, entonces empiezo a cavar mi propia sepultura; o bien, si no soy feliz as, y veo pocas posibilidades de cambiar este mundo, emprendo asimismo mi autoenterramiento.
Formalizacin y Tablas de Verdad sobre Autoenterramiento(p and q -> r) v (not q and s) -> r)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 1 Tablas
Mis males no tiene remedio Ni contigo ni sin t tiene mis males remedio; contigo porque me matas; y sin t, porque me muero
Formalizacin y Tablas de Verdad sobre Mis males no tienen remedio(p v not p)and(p-> q and not s)and(not p-> r and not s)-> (not s)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 1
Tablas
Por su cara bonitaSi porsucarabonita lograra alcanzar nota suficiente, entonces no habra que aumentarle la nota y llegara 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.
Formalizacin y Tablas de Verdad sobre Por su cara bonita(p->not q and r)and ((not p->(q and r) and s))->not(q and not s)''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 1
Tablas
Thurston
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. Adems, cuando usted juega al billar, he de ser con Thurston. Por otro lado, hace cuatro semanas que usted dijo que Thurston tena una opcin sobre determinados valores sudafricanos y que deseaba que entrase con l en el negocio. Pero si entrase con l en el negocio, tedra que utilizar su talonario de cheques que tena guardado en mi despacho, y, adems, si utilizara su talonario de cheques, debera de haberme pedido la llave, pero no me la ha pedido. Por consiguiente, no se propone entrar en negocios con Thurston.
Tablas de Verdad sobre ThurstonP 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
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0
0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1
| *1 0 | *1 0 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1
1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1
| *1 0 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 0 1
1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0
1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0
0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0
0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1
| *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1
1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1
1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1
1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1
| *1 1 | *1 1 | *1 0 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 | *1 0 0
0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1
1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1
| *1 0 | *1 0 | *1 0 | *1 0 | *1 1 | *1 1 | *1 1 | *1 1 | *1 0 | *1 0 | *1 0 | *1 0 | *1 1 | *1 1 | *1 1 | *1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1
Tablas
EjercitoSi 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 rpidamente. Si se repliega rpidamente, 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.
Formalizacin y Tablas de Verdad sobre Ejercito (p->q)and(q->r)and(p v s)and(s->t)and(t->u)->(not r->u)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 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1
1 1 0 0 *1 1 0 1 1 *1 1 0 1 1 *1 1 0 1 1 *1 1 0 1 1 *1 1 0 1 0 *1 1 0 1 0 *1 1 0 1 0 *1 1 0 1 0 *1 1 0 0 1 *1 1 0 0 1 *1 1 0 0 1 *1 1 0 0 1 *1 1 0 0 0 *1 1 0 0 0 *1 1 0 0 0 *1 1 0 0 0 *1 0 1 1 1 *1 0 1 1 1 *1 0 1 1 1 *1 0 1 1 1 *1 0 1 1 0 *1 0 1 1 0 *1 0 1 1 0 *1 0 1 1 0 *1 0 1 0 1 *1
0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1
0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1
| | | | | | | | | | | | | | | | | | | | | | | | | |
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0
1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1
0 1 0 1 *1 0 1 0 1 *1 0 1 0 1 *1 0 1 0 0 *1 0 1 0 0 *1 0 1 0 0 *1 0 1 0 0 *1 0 0 1 1 *1 0 0 1 1 *1 0 0 1 1 *1 0 0 1 1 *1 0 0 1 0 *1 0 0 1 0 *1 0 0 1 0 *1 0 0 1 0 *1 0 0 0 1 *1 0 0 0 1 *1 0 0 0 1 *1 0 0 0 1 *1 0 0 0 0 *1 0 0 0 0 *1 0 0 0 0 *1 0 0 0 0 *1
1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1
0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
| | | | | | | | | | | | | | | | | | | | | | |
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0
1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
Tablas
MovimientoSi 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 traslacin uniforme.
Formalizacin y Tablas de Verdad sobre Movimiento (p and q)->(r and s) tP 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 0 0 0 1 0 0 0 0 0
| | |
0 0 0
1 1 1
0 0 0
*0* *1* *0*
Tablas
Ejercicios1. 2. 3. 4. 5.
[(p and q)->p] -> [(q v r) and (not q and not r)] [(p and q->r)] ->[(p v r)] [(p and q->r) and (s and t)]-> [u] [(p and q)->p)->(qvr)] and [(not q and not r) [(not p v q)-> r)] [(p and not q) v r)]
Tablas de Verdad Primer ejercicioP 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
Tablas de Verdad Segundo ejercicioP 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
Tablas de Verdad Tercer ejercicioP 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
| | | | | | | | | | | | | | | | | | | | | | | | | | |
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0
0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0
*1 *1 *1 *1 *0 *1 *1 *1 *1 *1 *1 *1 *0 *1 *1 *1 *1 *1 *1 *1 *0 *1 *1 *1 *1 *1 *1
Tablas de Verdad Cuarto ejercicio [(p and q)->p)->(qvr)] and [(not q and not r)]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
Tablas de Verdad Quinto ejercicio [(not p v q)-> r)] [(p and not q) v r)]
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 0
Tablas