Ex - postoji x
Vx - svaki x
P = [ExA(x) --> VxB(x)] --> Vx(A(x) --> B(x)).
Da li je ova formula validna, zadovoljavajuca ili kontradiktorna? Ako je ispravna(validna), dokazati u proizvoljnom formalnom sistemu,ako je kontradiktorna dokazati formulu NOT P, ako je zadovoljavajuca(a da nije validna) dati jednu interpretaciju u kojoj je P tacna i jednu u kojoj je P netacna.
hvala unapred