Porządek liniowy - strona 2

są porównywalne. ∀a, b (a > b ⇔ b < a) ∀a, b (a < b ⇒ ∃c a < c < b) - ważna własność liczb (Q,

, dla których można wprowadzić porządek liniowy. c) Jest niejednorodną strukturą statyczną, o dostępie swobodnym, grupującą...

Elementy logiki i teorii mnogości Kazimierz Trzęsicki 2006 4 Wyd. II poprawione i zmienione. Wersja elektroniczna. Spis treści 1 Logika zdań 11 1.1 Pojęcie logiki . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2 Język logiki zdań . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.2....