dyrektywy wnioskowania, dyrektywy wiedzotwórcze, reguły dowodzenia
reguły logicznie poprawnego przekształcania zdań, pozwalające uznawać pewne zdania na podstawie innych, wcześniej uznanych; podstawowe r.w. to: reguła odrywania (jeśli prawdziwe jest zdanie α oraz prawdziwe jest zdanie α => ß, to zdanie ß jest również prawdziwe); reguła podstawiania (jeśli uznajemy formułę P zawierającą zmienne x1, x2, x3 oraz uznajemy wyrażenia y1, y2, y3 za sensowne, to formuła P ze zmiennymi y1, y2, y3 musi być także uznana); reguła zastępowania (każde wyrażenie wolno zastąpić wyrażeniem równoważnym).
DYREKTYWY WNIOSKOWANIA, DYREKTYWY WIEDZOTWÓRCZE, KONDENSACJA, KANON, PODSTAWIANIA REGUŁA, REGUŁY DOWODZENIA
- REGUŁY, miejscowość w , powiat...
- z reguły, z reguły przychodzi...
- REGUŁY DOWODZENIA,