Chyba muszę jeszcze raz przedstawić swój problem. Chcę, abyś w NTI zapisał takie zdanie:
Jeśli zdanie 'p' jest prawdziwe, gdy liczba 'x' jest większa od dowolnej liczby ze zbioru 'A', to zdanie 'p' jest fałszywe, gdy liczba 'x' nie jest większa od wszystkich liczb ze zbioru 'A'.
Jeśli zdanie 'p' jest prawdziwe, gdy liczba 'x' jest większa od dowolnej liczby ze zbioru 'A', to zdanie 'p' jest fałszywe, gdy liczba 'x' nie jest większa od wszystkich liczb ze zbioru 'A'.