logika PuRXUTM: hej potrzebuję pomocy tym razem przy zadaniach z logiki Udowodnić następujące twierdzenie: Jeżeli prawdziwe są wynikania p₁⇒q₁,...,p_n⇒q_n oraz zdania p₁ v ... v p_n i ¬(qi ⋀ qj), dla i≠j, to prawdziwe są również wynikania q₁⇒p₁,...,q_n⇒p_n

md: Udało ci się to już rozwiązać Też potrzebuję na pd z ELITMu