prosty przykład krzych: Witam, pomóżcie mi z tym: Dla każdego y (y > log₂₅ y) Albo się mylę, albo nie istnieje taki y, który mógłby być ujemny, w wyniku potęgowania?

krzych: poprawka −−>> ma być log₂ a nie z 25

Jack: zadanie polega na wskazaniu czy zdanie jest prawdziwe czy fałszywe?

Grześ: y musi być większe od zera

krzych: tak trzeba ocenić wartość logiczną

Jack: no więc masz odpowiedź. Sam już na nią wpadłeś poniekąd...

Grześ: Po pierwsze nie dla każdego y

krzych: a jak podstawię za y np 0,01, to wciąż będzie prawdziwe? nie wydaję mi się?

Jack: będzie prawdziwe ale Ty masz szukać kontrprzykładów... Albo jesli podejrzesz, że ich nie znajdziesz, udowodnić nierówność. Czy przy kwantyfikatorze nie ma czasem zastrzeżenia, że y∊R₊ ?

Grześ: bo inaczej klapa

krzych: Nie ma zastrzeżenia R+, właściwie to jest tylko y. No to mam kotrprzykład. Po obliczeniu logarytmu 0,01 o podstawie 2 wychodzi −3 z groszami, więc y > −3 Zgadza się? Poprawcie mnie.

Jack: kontrprzykład to taki przykład który zadaje kłam twierdzeniu To tak dla jasności. Twój przykład wspiera tezę. Wg mnie trzeba rozpatrywać y∊R₊ bo inaczej "klapa" czyli zadanie nie ma sensu (nawet nie chodzi o to ze będzie fałszywe, po prostu jest bezsensu). Tak więc przyjąwszy że y∊R₊ udowodnij że ∀y (y>log y)