Logika początek studiów Prosiałke: [ (p v q) ⇔ q] ∧ r} ⇒ (∼p v q)

Prosiałke: Co z tym zrobić? Jest to udowodnić, ale nie mam pojęcia jak się za to zabrać.

Krzysiek: ale udowodnić w jakiś konkretny sposób? metodą nie wprost? jak nie to przecież sposób ze szkoły rysujesz tabelkę i sprawdzasz czy to jest tautologia