1455162200766152742194�7813517 n

Tablica 2.3. Reguły wnioskowania

28.	P
	P W Q	reguła wprowadzania alternatywy
29.	PAC? P	reguła opuszczania koniunkcji
30.	P P -* Q
	Q	reguła modus ponendo ponens (w skrócie modus ponens)
31.	P — Q
•	-P	reguła modus tollendo tollens (w skrócie inodus tollens)
32.	PvQ -P	reguła modus ponendo tollens
33.	P-Q Q — R P — R	reguła sylogizmu hipotetycznego
34.	P Q
	PAC?	reguła wprowadzania koniunkcji

Funkcje

Funkcja / przyporządkowuje każdemu elementowi x z pewnego zbioru S dokładnie jeden element pewnego zbioru T.

Zbiór S jest dziedziną funkcji / - Dom(/)

Zbiór wszystkich wartości f(x) jest podzbiorem zbioru T i jest nazywany przeciwdziedziną

funkcji/    - Im(/) = (/(x): .r e Dom(/) J

F: S-+ T - f jest funkcją o dziedzinie S i wartościach w zbiorze T;

/ przekształca (odwzorowuje) zbiór 5 w zbiór T Wykres(/) «= !(.r.s) e S * T: y    - wykres funkcji/(podzbiór zbioru S * D

g⁰/ S — U - złożenie funkcji/: S-+ T oraz g:T~* U g °/(x) ~ g(/(t)) dla wszystkich x e S

Funkcją odwrotną do funkcji/jest funkcja cofająca działanie/.

str. &!S