De la siguiente lista de proposiciones moleculares, indique cuáles son contradictorias entre sí.

a.		j.
b.		k.
c.		l.
d.		m.
e.		n.
f.		o.
g.		p.
h.		q.
i.		r.

Formule verdades lógicas de las cuales sean parte cada una de las siguientes fórmulas.

a.		f.
b.		g.
c.		h.
d.		i.
e.		j.

Tomando las letras "W", "V", "U", "Y" como proposiciones del lenguaje ordinario, formule una lectura de las verdades lógicas constituidas en el ejercicio anterior.

Usando "W", "V", "U", "Y", formalice los siguientes razonamientos y resuélvalos indicando las tácticas aplicables. No use reducción al absurdo.

1. Como se puede afirmar que llueve, concluyo que o bien llueve o bien no está nevando.

2. Estamos estudiando. Por consiguiente o bien estudiamos o si trabajamos lo haremos en los ratos libres.

Demuestre los siguientes razonamientos, sin usar reducción al absurdo.

a.
b.
c.

Resuelva estos problemas mediante el uso de la prueba hipotética o de la reducción al absurdo. Los que se puedan resolver por la prueba hipotética, resuélvalos así y también por reducción al absurdo. Si no puede resolverlos por los dos caminos, hágalo por cualquiera de ellos.

a.		d.
b.		e.
c.		f.