Algebra Proposicional

!
"#
$

$
%

&

'
)

%,,--3

./01
$

*+
2,

,

(
%

"

.

4
#
!

!
!

$4

$

4

!

'
#
4
5
7

4

6"

(8
2

9

$

4
4

:
'

$
$$
!

$

$4

!
%

−

$

4

$

:

!

&

$

4

−

'

$

4

$

−

$

4

$4
$4

&

−

;

$

!
$

$

8

!

4

!

%

$

$
4

%=

<$4

7<

$

4
'

!
34

;
4

<

$
)

'

4

$

4

)

41

<
:

>4

;
%

:

$<

?

!

<

$4

!
5:

%
6

:

$<
%
;

@

'$

$

$<2

5A 4

=

B

61

&
.

<
5

%B &

B
6

7

$<

4
$

4

!

$
;

$
$4

'

4
;

&

;

$

%

&

)

$<
%

&

&

&

&

2

;

$'

;.
"

$

5C '
6:

4

)
6

"%

$ 5(

:

$<
A!

$

!

'

$

7

<

%

$
'

$4
;

$

%

$
'

$

&

D E$

$

$
$

%

4

!

"

7

$<
E

$
%
$ F4
G7

$<

<

#)

H4

4

D

.:

:
&3

%

E

&

%

:

$<

3

;

/$

.

3

$4
!

%

$

2I

$4

!

J.
)

H
$
7

$

%>

'

D

%
•
•

D
!

D
D

•

!

"

!
D∨E

#

D∨E

D∨E
D∧E

•

$

%
D∧E

D∧E

D∧E
D∧E

8

$
"
" D$ E$ K$ *$ L$

>

;
$

"

;

$

%

%
••
•
•

DE
E4K

M

$

E∧K

D∧E

D∧E

J%

D∧E

!

D∧E

2%
.%
E∧K

(D ∧ E ) ∨ (E ∧ K)

%
$

1

(D ∧ E ) ∨ (E ∧ K)

1
"4

D# E #K"
%

;

DN$

EN

7<

%% ( % ∧ # ) ∨ (# ∧ # ) = # ∨ # = % ∨ # = %

KN

$

%

3

1

"
1

#$

%#

#&'# %#
'# %#

!$

%

D→D
D$E → D ∧ E

D$E → D ∧ E

1

3
1

:

$<
<

3

4

%(

1

%

(D ∧ E ) ∨ (E ∧ D )
;

$<

1

5C '

6O
%

1

%
 D ∧ E ∨ E ∧ D ∧ K ∨  D ∧ E ∨ E ∧ D ∧ K







(

)(

((

)

7

))

)(

$<

%

•...