Kwantyfikator egzystencjalny: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m Anulowanie wersji nr 35928983 autora Uniwersalista |
m Nawiasy zbioru |
||
Linia 19:
: <math>\bigvee _ {x \in \mathbb A} \phi(x)</math>.
Jeżeli <math>X=\{x_0,x_1,\cdots ,x_n\}</math> stanowi [[podzbiór]] (niekoniecznie [[podzbiór właściwy|właściwy]]) argumentów <math>\!\phi (x)</math> to:
: <math>\exists x \in \mathbb X : \phi(x) \equiv \phi(x_0) \or \phi(x_1) \or \cdots \or \phi(x_n)</math>
|