Logica

Del conjunto de premisas siguientes, se puede afirmar
No es verdad que: el mototaxismo es un medio de transporte y las rutas de transporte en santa marta tienen satisfecha a la ciudadanía. Elmototaxismo es un medio de transporte o los ciudadanos de santa marta no prefieren las motos a los taxis. Los ciudadanos samarios prefieren las motos a los taxis siempre que las rutas de transporte en santamarta mantengan satisfecha a la ciudadanía
p := El mototaxismo es un medio de transporte
q := Las rutas de transporte en santa marta tienen satisfecha a la ciudadanía
r:= Los ciudadanos samariosprefieren las motos a los taxis.

1. ~(p^q)
2. p v ~r
3. q -> r
4. ~p [Simpl] (1)
5. q [Simpl] (1)
6. ~r [T.P] (2,6)
7. ~q [T.T] (3,6) !QEP
Escoger la opción correcta, de acuerdo al siguiente conjunto de premisas
Si el TLC no es aprobado por el gobierno de Obama, Colombia debe buscar nuevos socios comerciales. El plan Colombiacontempla inversión social, pero la economía colombiana no está sujeta a la inversión social. El TLC no será aprobado por el gobierno de Obama o Colombia no realizará un acuerdo de libre comercio con China.Colombia no debe buscar nuevos socios comerciales, si el plan Colombia contempla inversión social. Colombia realizara un tratado de libre comercio con China o La economía colombiana está sujeta a lainversión social.
a:= El TLC es aprobado por el gobierno de Obama.
b:= Colombia debe buscar nuevos socios comerciales.
c:= El plan Colombia contempla inversión social.
d:= la economía colombianaestá sujeta a la inversión social.
e:= Colombia realizara un tratado de libre comercio con China.

1. ~a -> b
2. c ^ ~d
3. ~a v ~e
4. c->~b
5. e v c
6. ~(a^e) [LM] (3)7. ~a [Simpl] (6)
8. e [Simpl] (6)
9. b [PP] (1,7)
10. ~c [TT] (4, 9)
11. c [Simpl] (2)
12. c ^ ~c [Adj] (10,11) ! QEP
De acuerdo al texto a continuación, es...