Po dlhsom dumani som to pochopil
Je tam vela sraciek okolo toho, ale princip pri takychto ulohach je zda sa jednoduchy.
To pod ciarou sa zneguje, odignoruju sa kvantifikatory a premenne vo vnutri, a ked ma kazda formula niekde negaciu, tak je usudok spravny, a ked daco nema svoju negaciu, je usudok nespravny
tj P'vZ, Z', P, kazde ma svoju negaciu tympadom je usudok spravny... Ale normalne to clovek vysvetlene v ucebnici nenajde...