Untitled Scanned 11

48

16 php->q, ąfaą —* nip, rhq — p :: 3 p/np=> (1)=> 25

26.    />-► (ip-► g)    Prawo Dunsa Scotusa

Dowód. 16 qhq-*p. r/np-*</ :: 1 q_thq =>25 pfq, qfp => 26

27.    (p-*-ip)->np    Prawo Claviusa

D o w ó d. 2 </./np, r/n(p -» np) :: 26 r//n(p -* n/>) => (1)

(1)    (p -> np) -* [p -> n(p -> "ip)]

16 p/p -> np. </,/p -> n(p -> np). r/(p -»np) -* ~ip ::

:: (l)=> 24 q/p -* ~ip =>(2)

(2)    (p - ip) -> [(p -> np) -> np]

19 p/p -> np, <?/np :: (2) =>27

28.    (nP~*P)~*P    Druga postać prawa C'laviusa

Dowód. 16 p./np —> p. r//np-»nnp. r/np :: 3 p/np. r/./p =>

=>27 p/np =>(1)

(1) (np -> p) - np

16 p/np —* p, ij/iip, r/p :: (1)=>4=>28

29.    (p -♦ q) -> [(p -» nr/) -» np]    Prawo redukcji do absurdu

D o w ó d. 21 'r/p -> np, s/np, p/nr/ -»np, r//p -»nij ::

:: 27 => 15 r//nr/, r./np => (1)

(1) (nr/ -> np) -» [(p -* nr/) -> np]

16 p./p -» q, qhq — np, r/(p -* nr/) -> np ::

_:: 3=>(1)=>29

30.    (p -v <7) -► [(np -* q) - r/]

D o w ó d. 21 r/nr/ -> c/. s/r/. p/nr/ -> np, r/./np -» q ::

:: 28 pfq => 16 p/nr/, r//np, r/q => (1)

(1) (nr/ -* np) -* [(p -* nr/) - np]