Untitled Scanned 41

105

dowolne elementy zbioru U, to formuły 1-8 będą wyrażać prawdziwe zależności.

Powyższa aksjomatyka teorii grup pochodzi od matematyka amerykańskiego E.V. Huntingtona.

§ 5. ALGEBRA BO OLE’A

Aksjomatyczna algebra Boolc’a jest również teorią abstrakcyjną w takim sensie, jak elementarna teoria grup. Jej język zawiera oprócz stałych logicznych, zmiennych indy wid uowych i nawiasów tylko jeden predykat =, dwa symbole funkcyjne dwuargumentowe u i r\, jeden symbol funkcyjny jednoar-gumcnlowy oraz dwie nazwy indywidualne 0 i 1. Aksjomatami algebry Boolca są następujące formuły:

1.	X =	y -* y = x,		7.	X W —X	=	1,
2.	X =	y a y — 2 —»	X = z.	8.	xr\ —x	=	0,
3.	X =	y -> x u z =	yyjz.	9.	xxi y =	y	u X ,
4.	X =	y -► xnz =	ynz,	10.	x ny =	y	nx,
5.	xu0	= x,		11.	x u {y n	z)	= (xuy)o(xu2),
6.	xn 1	= x,		12.	x o (y kj	Z)	= (xn y)u(xn z).

Mogłoby się wydawać, że wśród aksjomatów charakteryzujących identyczność w algebrze Boolca powinny się znaleźć jeszcze następujące formuły:

x = x,    x = y -*■ z\jx = zu)‘,

x = y -* — x = —y,    x = y -* z r\x = z r\ y.

Jednak w istocie formuły te nic muszą być aksjomatami, gdyż wszystkie dają się wyprowadzić z innych aksjomatów. Podobne redukcje aksjomatów można by też przeprowadzić w niektórych innych opisanych wyżej teoriach, ale są to sprawy mało istotne dla naszych obecnych rozważań.

§ 6. DWUWYMIAROWA GEOMETRIA EUKLIDESA

Język tej teorii zawiera oprócz stałych logicznych, zmiennych indywiduo-wych (o których zakładamy, że reprezentują punkty dowolnej ustalonej płaszczyzny), nawiasów i znaku identyczności, jeszcze tylko jeden predykat trójczłonowy M oraz jeden predykat czteroczłonowy O. Formułę zdaniową Af(x, y, z) czytamy: punkt y leży między punktami x i z (przy czym nie jest

Wyszukiwarka

Podobne podstrony:
Untitled Scanned 39 103 dowolną formułą zdaniową, to wyrażenia n(/l), /(/l), / (A) są również formu-
ciag Ciąg nieskończony (elementów zbioru X) to dowolna funkcja a : N —> X. Wartości tej funkcji n
Untitled Scanned 41 C 1.9 Ćwiczenie umiejętności ortograficznych Wyrazy z „ż" Obejrzyj ilustrac
Untitled Scanned 41 (X Obouc^e toLtowtfe ópocarufcouśj /na " iO~ 155 Bil/ya qo. %o -- 9,06 kWm
41524 Untitled Scanned 12 (6) j rrona 14 (383)Split to zwiększenie ilości akqi bez zmianv wielkości
Untitled Scanned 41 LITERATURA 1.    Bela M., Kawalec B., Kopka Z., Pieczyrak J.: Geo
60692 Untitled Scanned 24 - 48 - dowanych z elementów innych rodzajów, pełnią często rolę wzmacniacz
Untitled Scanned 04 (3) Rozwój zrównoważony (Sustainable Developement) to podejście do planowania ek
Untitled Scanned 41 (4) "v;me w roku 1932. Po wtóre, odstępstwa od naturalnego tempa ruchu .:.i
10413 Untitled Scanned 41 (3) Podstawiając do równań (A) mamy: 4~X,=aEJ;    3±3f2=0;
82427 Untitled Scanned 41 Ćwiczenie umiejętności ortograficznych Wyrazy z „ż"C 1.9 H Q Obejrzyj

więcej podobnych podstron