8719220800

Logika intuicjonistyczna a niektóre prawa logiki klasycznej

(10)    (-.<; -> -,p) -> (p -><?),

(11)    (p ->(?)-> (-.p v p),

(12)    '(P A p) ► ( p V iCjf),

(13)    '( 'P a '9) ^ P v Q,

(14)    -,(-,p v -,q) -> p a p.

A oto przykłady (meta)tez KRP, których odpowiedniki nie są (meta)tezami Intuicjonistycznego Rachunku Predykatów:

(15)    -.Vx-.A    3xA,

(16)    -n3x-iA -> VxĄ

(17)    -iVxA    3x-A

Implikacje odwrotne do powyższych (ściślej: ich odpowiedniki) jednak zachodzą w Intuicjonistycznym Rachunku Predykatów. Ponadto w obu rachunkach obowiązuje:

(18)    -.3xA    Vx-.A