Nierówność
Z Wikipedii, wolnej encyclopedia
Nierówność – relacja porządku między dwoma wyrażeniami.
Jest to więc jedno z następujących wyrażeń logicznych (formuł logicznych):
- oznaczająca jest mniejsze od
- oznaczająca jest większe od
- oznaczająca jest nie większe (mniejsze lub równe) od
- oznaczająca jest nie mniejsze (większe lub równe) od
Dwie pierwsze nierówności nazywane są ostrymi lub mocnymi; dwie następne nieostrymi lub słabymi. Ostre są przeciwzwrotne.
Często terminem nierówność określa się także negację równości, czyli oznaczającą jest różne (nie jest równe) od
Wyrażenie nazywa się lewą stroną nierówności, – prawą stroną nierówności.
Wyrażenia po obu stronach są stałymi ze zbioru liniowo uporządkowanego albo przy wartościowaniu stają się stałymi z tego zbioru.
Przykłady nierówności:
Pierwsza nierówność jest prawdziwa, druga fałszywa, trzecia może być – w zależności od wartości – prawdziwa lub fałszywa: dla jest prawdziwa, dla jest fałszywa.