logika PuRXUTM: Udowodnić następujące twierdzenie: Jeżeli prawdziwe są wynikania p1⇒q1,...,pn⇒kn oraz zdania p1 v ... v pn i ¬(qi ⋀ gj), dla i≠j, to prawdziwe są również wynikania q1⇒p1,...,qn⇒pn

wredulus_pospolitus: co to jest qi co to jest gj co to jest kn wymieniłeś tutaj: p, k, q , g −−−− takie zdania (pomijam indeksy) ... ile ich w końcu jest

PuRXUTM: przepraszam zamiast k ma być q i zamiast g ma być q

PuRXUTM: up