Logika - formuła rachunku zdań Kamil: Witam, bardzo proszę o rozwiązanie podanego zadania, Dana jest następująca formuła rachunku zdań: [(p⇒q) ⋁ (p⇒r)] ⇒ [p⇒ (q⋁r)] a) Przedstawić wyprowadzenie tej formuły w dwóch wybranych systemach dowodzenia. b) Za pomocą metody rezolucji wykazać, że formuła ta jest tautologią.

Kamil: Proszę, ktoś ma jakiś pomysł ?