Está en la página 1de 111

Γ A Γ { B } A

φ A A

A B

A

A A

A A A

A

2

1

2 1

V P = {p, , ¬ , , ( , ) }

¬

( ) ¬

V P

1

1

1 1+1 2 3 1 2 0, 5 1

p

A ¬ A

A B ( A B )

¬

p ( p p ) ¬ ( p ¬ p ) p ¬ p ( p p ) p p p ¬ p ( p p ) p p

( p p ) p p ¬ p p ¬ ( p p )

( p p )

0 3 2

π π

1 0 1 0

{0, 1} A 1 ¬ A 0

V {0, 1} A B

V ( ¬ A)=1 V ( A )=0

V ( A B )=1 V ( A)=0 V ( B )=1

0 1

{x : x } {0, 1} V 1 1 V 2 0 V 3 1 0

V : {x : x } { 0, 1} A V (A )=1 V 1 V (A )=0 0

 

p

p

′′

p

′′′

p

′′′′

p

′′′′′

p

′′′′′′

p

′′′′′′

V

1

1

1

 

1

 

1

 

1

 

1

 

1

V

2

0

0

0

 

0

 

0

 

0

 

0

V

3

1

0

 

1

 

0

 

1

 

0

 

1

V

4

0

1

 

1

 

1

 

1

 

1

 

1

V

5

1

0

0

 

0

 

1

 

0

 

0

V 5 V 5 ( p )=1 V 5 ( ¬ p )=0 V 5 ( p )=0 V 5 ( p p )=0 0 1

V A V ( A)=1 V Γ V ( A)=1 A Γ

V 3

¬ ( p p ) V 3 ( p )=1 V 3 ( p )=0 V 3 ( p p )=0 V 3 ( ¬ ( p p )) = 1

A Γ 1 A Γ

1 Γ V ( Γ )=1 Γ

Γ = p , p , p } V 4 1

A 1 A A

( p p ) V V ( p )=0 V ( p )=1 {0, 1} V V ( p p )=1

A Γ 1 Γ 0 A 1 Γ 1 A Γ A

Γ B B A {B } A Γ φ A

φ A A

p {( p p ) , p } 1 ( p p ) p 1 p 1 p 0 p 1 p

1 p

A B Γ

V V ( A)=1 V ( A B )=1 V ( B )=1

V V ( A)=1 V ( A B )=1

V ( A)=1 V ( A )=0 V ( B )=1

V ( A)=1 V ( B )=1

V ( B )=1

A ( A B ) B

A ( A B )

V V ( A )=1 V ( A)=0 V ( B )=1

V V ( A )=1 V ( B )=1

V V ( A )=1 V ( A B )=1

V V ( B )=1

B

A B ( A B )

A B

V V ( A )=1 V ( B )=0

V V ( A )=0 V ( B )=1

V V ( A B )=1

( A B )

V (A )=0 V (B )=1 V (A )=1 V ( B )=1 V V ( A )=1 V ( A )=0 V ( A )=1 V (B )=0 V ( B )=1 V (B )=1 V ( A )=0

A A

V V ( A)=1

V ( A )=0 A A

Γ A Γ A

Γ A

V V ( Γ )=1 V ( A)=0

V V ( Γ )=1 V ( )=1 V ( A)=0

V V ( Γ )=1 V ( A)=0

Γ A

Γ A A B Γ B

Γ A A B

V V ( Γ )=1 V ( A)=1 V ( A)=1 V ( B ) =

1

V V ( Γ )=1 V ( B )=1

Γ B

Γ A Γ ( A B ) Γ B

Γ A Γ ( A B )

V V ( Γ )=1 V ( A)=1 V ( Γ )=1 V ( A

B )=1

V V ( Γ )=1 V ( A)=1 V ( A B )=1

V V ( Γ )=1 V ( A)=1 V ( A )=0 V ( B )=1

V V ( Γ )=1 V ( A)=1 V ( B )=1

V V ( Γ )=1 V ( B )=1

Γ B

V V ( Γ )=1 V (A )=0 1 V V ( Γ )=1 V ( )=1 V (A )=0 V V ( Γ )=1 V (A )=0 V 1 Γ A V ( Γ )=1 V ( )=1 V (A )=0

A Γ A

A

V V ( A )=1

V V ( A )=0

V V ( Γ )=1 V ( A )=0

Γ A

A B C Γ

A ( B A)

¬ A ( A B )

¬ B

( A B ) ¬ A

A ¬ B ((A B ) B )

( A B ) ( B C ) ( A C )

A ( B C ) ( A B ) A C

A B ¬ B ¬ A

( ¬ A ¬ B ) ( B A)

( ¬ B ¬ A) A B

Γ Γ

Γ A} Γ A

A B

( A B ) ¬ A B

( A B ) ¬ A B

A ¬¬ A ¬¬ A A

((A B ) A)

( A ( B A))

A

 

V V ( A)=1

V V ( B )=0 V ( A )=1

V V ( B A)=1

( B A)

¬ A

 

V V ( ¬ A)=1

V V ( A)=0

V V ( A)=0 V ( B )=1

V V ( A B )=1

( A B )

¬ B ( A B )

V V ( ¬ B )=1 V ( A B )=1

V V ( B )=0 V ( A)=0 V ( B )=1

V V ( B )=0 V ( A)=0

V (B )=0 V (A )=1 V ( A )=1

V V ( A )=0

 

V V ( ¬ A)=1

¬ A

A ¬ B

V V ( A )=1 V ( ¬ B )=1

V V ( A )=1 V ( B )=0

V V ( A

B )=0

V V ( A B )=0 V ( B )=1

V V (( A B ) B )=1

(( A B ) B )

( A B ) ( B C )

V V ( A B )=1 V ( B C )=1

V V ( A)=0 V ( B )=1 V ( B )=0 V ( C )=1

( A C )

V V ( A C )=0

V V ( A)=1 V ( C )=0

V ( A)=0 V ( B )=1 V ( B )=0 V ( C )=1

 

V ( A )=1 V ( B )=1

V ( C )=0 V ( B )=0 ( A C ) ( A C )

A ( B C ) ( A B )

V V ( A )=1 V ( B C )=1 V ( A B )=1

V V ( A)=1 V ( B )=0 V ( C )=1 V ( A) =

0 V ( B )=1

V ( A )=1 V ( B )=0 V ( A )=0

V ( B )=1 V ( A )=0 V (B )=1 V (A B ) ̸= 1

V (A B )=0 V V (A

C )

A C

V V ( A)=1 V ( C )=0

V ( A)=1 V ( B )=0 V ( C )=1 V ( C )=0 V ( B )=0 V ( A )=0 V ( B )=1 V ( A)=1 V ( B )=1 V ( B )=0 A C

 

A C

 

A B

V V ( A)=1 V ( B )=0

V V ( ¬ A)=0 V ( ¬ B )=1

¬ B

¬ A

( ¬ A ¬ B )

 

V V ( ¬ A ¬ B )=1

V V ( ¬ A)=0 V ( ¬ B )=1

V V ( A)=1 V ( B )=0

V V ( B

A)=1

( B A)

( ¬ B ¬ A) A

 

( A B ) A

 

V V ( A

B )=1 V ( A)=1

V V ( A)=0 V ( B )=1 V ( A)=1

V V ( B )=1 V ( A)=1

V V ( B )=1

B

Γ

Γ = Γ V V ( )=1

Γ = Γ V V ( )=1 V ( Γ )=1

Γ = Γ Γ

Γ

Γ = Γ V V ( Γ )=1

V V ( Γ )=1

Γ

Γ A}

V V ( Γ A})=1

V V ( Γ )=1 V ( ¬ A)=1

V V ( Γ )=1 V ( A)=0

Γ A

¬ A 1 A 0 ( A B ) 1 ( p p ) ¬ p p

V 1 A 0 ¬ A 1 ¬¬ A

A p B p 0 A 1 B 1 ( A B ) 0 A 0 (( A B ) A)

A 1 ( B A) 1 0 A 0 1

V V ( )=1 V ( Γ )=1 V V ( Γ )=1 Γ Γ

A B C

( SP 1 ) ( A ( B A))

( SP 2 ) (( A ( B C )) (( A B ) ( A C )))

( SP 3 ) (( ¬ A ¬ B ) ( B A))

A B B A ( A B )

( A ( B A)) A B C SP 1 SP 2 SP 3

( p ( p p ))

SP 1

(( p ( p p )) ((p p ) ( p p )))

SP 2

(( ¬ p ¬ p ) ( p p ))

SP 3

(( p p ) ( p p )) ( p ( p p )) (( p ( p p )) (( p p ) ( p p ))) p ( p p ) p

A A

( p p )

( p (( p p ) p ))

SP 1

(( p (( p p ) p )) (( p ( p p )) ( p p ))) SP 2

( p ( p p ))

SP 1

(( p ( p p )) ( p p ))

( p p )

A A A

( p p ) ( p p ) ( p p )

( p (( p p ) p ))

SP 1

( p (( p p ) p ))

( p ((p p ) p ))

A Γ Γ A

( p p ) Γ = { ( p p ) , ( p p ) }

( p p )

Γ

( p p )

Γ

(( p ( p p )) (( p p ) ( p p )))

SP 2

(( p p ) ( p ( p p )))

SP 1

( p ( p p ))

(( p p ) ( p p ))

( p p )