SŁOWNIK MATEMATYCZNY


A    B    C    D    E    F   G   H    I    J    K    L    M   N    O    P    Q    R    S    T    U    W    V    Z



SŁOWNIK MATEMATYCZNY - V


valid [poprawność] :Niech L będzie językiem pierwszego rzędu i niech α będzie poprawnie sformułowanym wzorem z L. Jeśli dla każdej struktury A dla L i dla kazdego s:V → A, A spełnia α z s, wtedy α jest poprawna lub słuszna. (TU V jest zbiorem zmiennych L a A jest populacją generalną A). Jako przykład, niech L będzie językiem równości, = . Wzór
(v1 = v2 ∧ v2 = v3) → v1 = v3 jest poprawne.

Venna diagram : Schemat do sprawdzania relacji między zbiorami zawartymi w zbiorze uniwersalnym U. Zbiór uniwersalny U może być przedstawiony przez zamkniętą figurę , taką jak prostokąt. Zbiór A ⊂ U jest wtedy reprezentowany przez wnętrze pewnego zamkniętego obszaru wewnątrz U, podczas gdy instrukcja x ∈ A jest wskazywane jako punkt wewnątrz r=obszaru A. Relacja A ⊂ B jest zobrazowany przez umieszczenie regionu reprezentującego A wewnątrz tego B. Suma A ∪ B dwóch zbiorów może być przedstawiona przez zacieniowanie regionów< obejmujących zarówno A i B. Część wspólna A ∩ B jest wskazywana przez zacieniowanie nakładających się części obszarów A i B a uzupełnienie A lub A′ jest przedstawione zacieniowanie regionu wewnątrz U , który jest na zewnątrz A. Związek (A ∪ B)′ = A′ ∩ B′ jest pokazana na rysunku. Góny diagram wskazywany przez zacieniowanie zbioru (A ∪ B)′ a dolny wskazuje wspólne elementy A′ i B′