wnioskowania reguły

wnioskowania reguły, dyrektywy wnioskowania, zw. też dyrektywami wiedzotwórczymi lub regułami dowodzenia,

reguły log. poprawnego przekształcania zdań, pozwalające uznawać pewne zdania na podstawie innych, uznanych już zdań.

Gł. regułami wnioskowania są: reguła odrywania, zgodnie z którą, jeżeli jest uznany okres warunkowy (implikacja, notacja logiczna) oraz jego poprzednik, wolno zawsze uznać jego następnik; reguła podstawiania, która pozwala na uznanie każdej formy powstałej przez podstawienie wyrażeń sensownych za zmienne występujące w danej, uprzednio już uznanej formule; reguła zastępowania (lub definicji), według której każde wyrażenie wolno zastąpić wyrażeniem równoważnym.