Forum serwisu

z.1 Metodą "nie wprost" zbadać czy formuła jest twierdzeniem
(p \(\to\) (q \(\wedge\) r)) \(\to\)((p\(\to\)q)\(\wedge\)(p\(\to\)r))

z.2 Dla jakich a \(\in\) \(\rr\) zdanie jest twierdzeniem
(sin x = a \(\vee\) |a| -2 <0) \(\to\)(\(a^2\)-5)