20

2:
2.4:

1 2014

 , 20, 2.4:

.
.
1.
1.

2.
1.
2. Modus Ponens
3. 1-3
1.
2.
3.
4.
5.

1
2
3

4.
5.

.
1.
2.

.
1.
2.
3.

 , 20, 2.4:

.

SOS .

100%

(-)

(-)

 , 20, 2.4:

B.

1.

1.

()

:
-={+ }
:
( ) :
( ) :
1: ( )
2: ( ( )) (( ) ( ))
3: ( ) (( ) )
Modus Ponens (M.P.)
:

MP
MP

 , 20, 2.4:

B.

2.
:

( )
( )

:
1. ( )
2. Modus Ponens
3. 1-3
4. ( )
5. ( )

 , 20, 2.4:

B.

2.
1.

:
1:
:
{( ), }
:
:
1.

 , 20, 2.4:

B.

2.
2. Modus Ponens

Modus Ponens :
Modus Ponens
:
:

---------------------------------

:
, ( )
..
: pq
: pq r
modus ponens r

 , 20, 2.4:

B.

2.
2. Modus Ponens
2:
:
{ ( ) , }
:
:
1.
2. ( )
3. MP1,2

 , 20, 2.4:

B.

2.
2. Modus Ponens
3:
:
{ ( ) ( ), ( ), }
:
:
1.
2. ( )
3. MP1,2
4. ( ) ( )
5. MP3,4

 , 20, 2.4:

B.

2.

3. 1-3 (1. 1)
:
: 1 (1) :
()
,
, ,

: :

(pq)(q(p q))
1 pq q
2o : :

()(())
1

10

 , 20, 2.4:

B.

2.

3. 1-3 (2. 2)
:
: 2 (2) :
( ()) (() ())
,
, ,,

: :
(pq (q q)) ((pq q) (pq q))
2 pq, q q
2o : :
(() ( )) ((() ) (() ))
2

11

 , 20, 2.4:

B.

2.

3. 1-3 (3. 3)
:
: 3 (3) :
( ) (() )
,
, ,,

: :

( ) (() )
3

2o : :
( ) (( ) )
3

12

 , 20, 2.4:

13

B.

2.
3. 1-3

Modus Ponens
( )
.
:
( )
:
( )

!

 , 20, 2.4:

14

B.

2.

3. 1-3 (4. )

.

:

()
1:

2: ( ()) (() ())

3: ( ) (() )
. modus ponens
.
,
.

 , 20, 2.4:

B.

2.

3. 1-3 (4. )
4:
{ () , }
: modus ponens.
() 2.

()
( ()) (( ) ()) modus ponens :
( ) ()
2 modus ponens
.
:
:
1. ()
2. ( ()) (( ) ()) 2
3. ( ) () MP1,2
4.
5. MP4,3

15

 , 20, 2.4:

B.

2.

3. 1-3 (4. )
5:
{ () ,}
:
:
1. ()
2. ( ()) (( ) ()) 2
3. ( ) () MP1,2
4.
5. ( ) 1 : :
6. MP4,5
7. MP6,3

.

16

 , 20, 2.4:

17

B.

2.

3. 1-3 (5. )
(
) .

(
)
1:

()
2: ( ()) (() ())
3: ( ) (() )
.
. .

 , 20, 2.4:

18

B.

2.

3. 1-3 (5. )
5:

: modus ponens .
,
.
1
: : . 1 :
() 1 : :
. ( )
:
:
1.
2. () 1 :, :
3. MP1,2

 , 20, 2.4:

B.

2.

3. 1-3 (5. )
6:
:

()

() 3 ( ) (() )
3: ( ) (() ) : :, :
( )
( ) 1 ( )
1: ( ) : : , :
( )

:
:
1.
2. ( ) 1 : , :
3. MP1,2
4. ( ) (() ) 3 : , :
5. () MP3,4

19

 , 20, 2.4:

20

B.

2.
4.

:
( )

.

7:

:
:
1. (( ) ) 1 :, :
2. ((( ) )) ((( )) ()) 2 :, : ,:
3. (( )) () MP1,2
4. ( ) 1 : , :
5. MP3,4

 , 20, 2.4:

21

B.

2.
4.
!!
,
!!
.
:
1.
2.
3.
2,3
.

8:

()

:
:
1.
:
2. ( ) (()) 3 :, :
3. ()
MP1,2

 , 20, 2.4:

22

B.

2.

5.
,
, .

9:
:
{, }
:
:
1.
2.
.
3.
4.
MP2,3
5. ( ) 1 : :
6. MP4,5

 , 20, 2.4:

1
:
1. { r q, p r, p} q

2. { p r, (p r) (q p), p} q p

:
MP

23

 , 20, 2.4:

2
:
1. {p p, r, r q, q p, r r } p

2. { p, r (r r), p q, p (q r)} r

:
MP

24

 , 20, 2.4:

25

.
1

3: ( ) ( ( ) ) .
;
1. ( ) ( ( ) ) 3
.
2. ( )
( ( ) )
3
.
3. ( ) ( ( ) ) 3
.
4. ( ) ( ( ) ) 3
.

 , 20, 2.4:

26

.
2

2: ( ( )) ( ( ) ( )) .
;
1. ( ( )) ( ( ) ( )) 2
.
2. ( (
))

( ( )
( ))

2 .
3. ( ( )) ( ( ) ( ))
2 .
4. (( ) ( )) ( (( ) ) (( ) ))
2 .

 , 20, 2.4:

.
1

{ , }

: .

27

 , 20, 2.4:

.
2

{ , ( )}

: .

28

 , 20, 2.4:

.
3

( )

: .

29

 , 20, 2.4:

.
4

{p, (pq)} (q pq) q

: .

30

 , 20, 2.4:

.
5

:
( ) ( )

31