107529

1. Reguła    eksportacji (RE)

Prawo eksportacji [(p a q) - r] - [p - (q - r)]

Jeżeli do dowodu należy implikacja, której poprzednikiem jest koniunkcja to wolno do dowodu dołączyć implikację której poprzednikiem jest pierwszy człon koniunkcji. będącej poprzednikiem implikacji należącej do dowodu a następnikiem implikacja, której poprzednikiem jest drugi człon koniunkcji będącą poprzednikiem implikacji należącej do dowodu, a następnikiem następnik implikacji należącej do dowodu.

1. Reguła    komutacji (RK)

Jeżeli do dowodu należy implikacja, której następnikiem jest również implikacja to wolno do dowodu dołączyć implikację której poprzednikiem jest poprzednik następnika implikacji należącej do dowodu, a następnikiem implikacji której poprzednikiem jest poprzednik implikacji należącej do dowodu, a następnikiem następnik następnika implikacji należącej do dowodu.

1.    Reguła    dołączania koniunkcji (RDK)

Do dowodu wolno dołączyć koniunkcję. jeżeli do dowodu należą obydwa jej człony. Koniunkcja jest prawdziwa jeżeli oba jej elementy są prawdziwe.

1.    Reguła    opuszczania koniunkcji (ROK)

Jeżeli do dowodu należy koniunkcja, to wolno do dowodu dołączyć dowolny jej człon.

1.    Reguła    dołączania alternatywy (RDA)

Do dowodu wolno dołączyć alternatywę, o ile do dowodu należy któryś z jej członów.

1.    Reguła    opuszczania alternatywy (ROA)

Jeżeli do dowodu należy alternatywa i negacja jednego z jej członów to wolno do dowodu dołączyć drugi jej człon.

1.    Reguła    dołączania równoważności (RDR)

Do dowodu wolno dołączyć równoważność, jeżeli zarówno do dowodu należy implikacja której poprzednikiem jest pierwszy człon równoważności a następnik drugi jej człon, jak i implikacja odwrotna.

1.    Reguła    opuszczania równoważności (ROR)

Jeżeli do dowodu należy równoważność to wolno do dowodu dołączyć zarówno implikację której poprzednikiem jest pierwszy człon równoważności należącej do dowodu, a następnikiem drugi jej człon, jak i implikację odwrotną.