8719220784

System aksjomatyczny IRZ

A oto jedna z możliwych aksjomatyk IRZ.

P^(q^P)

(P=>(q=> r)) 3 ((p 3 q) => (p 3 r)) p/\q^p

p/\q^q

(p => <j) => ((p = r) => (p => q a r))

p^pvq

q^>pvq

(p 3 r) 3 ((qr 3 r) 3 (p v <7 3 r))

(P => -></) => (q => -p)

-p = (p => q)

Pierwotne reguły inferencyjne prezentowanego systemy aksjomatycznego /RZ to reguła odrywania RO i reguła podstawiania RP (rozumiane analogicznie jak w przypadku KRZ). Pojęcia dowodu i tezy rozumiane są w standardowy sposób.