1,278
edits
Changes
7 part 1
7.
{|! p || q || r || p.q⊃r || p∨q⊃r || p⊃(aq⊃r)|| q⊃(p⊃r) || (p⊃r).(q⊃r) || (p⊃r)∨(q⊃r)|-|T || T || T || T || T || T || T || T || T|-|T || T || F || F || F || F || F || F || F|-|T || F || T || T || T || T || T || T || T|-|T || F || F || T || F || T || T || F || T|-|F || T || T || T || T || T || T || T || T|-|F || T || F || T || F || T || T || F || T|-|F || F || T || T || T || T || T || T || T|-|F || F || F || T || T || T || T || T || T|}Thus we can see that #1, 2, and 4 are equivalent to p.q⊃r while #3 is equivalent to p∨q⊃r
8.