w logice, reguła przekształcania jednych formuł zdaniowych w inne formuły zdaniowe przyjmowana na gruncie rachunku zdań.

zbiór złożony ze zdań przyjętych bez dowodu (aksjomatów) oraz zdań przyjętych na podstawie dowodów, których przesłankami są bądź aksjomaty, bądź ich konsekwencje.

zbiór złożony ze zdań przyjętych bez dowodu (aksjomatów) oraz zdań przyjętych na podstawie dowodów, których przesłankami są bądź aksjomaty, bądź ich konsekwencje.

utrwalony, powtarzający się sposób postępowania ustalony na mocy jakiegoś przepisu lub zwyczaju.