From the following list of molecular propositions, indicate which are mutually contradictory.

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

Formulate logical truths with each one of the following formulae as part of them.

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

Considering the letters W, V, U, Y as propositions in ordinary language, formulate a reading for each of the logical truths created in the previous exercise.

Using the same letters as propositional variables, formalize the following arguments and resolve them, indicating the applicable tactics. Do not use reductio ad absurdum.

1. Since it can be asserted that it is raining, I conclude that either it is raining or it is not snowing.

2. We are studying. Consequently, either we study or if we have to go to work we will do so in our free time.

Prove the following arguments, without using reductio.

a.
b.
c.

Resolve these problems by means of hypothetical proof or reductio ad absurdum. Those which may be resolved through hypothetical proof, resolve them thus and also by reductio. If you cannot resolve them by both means, do so through any of them.

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