___________________________________

.

.

.

.

.

.


"


( ".
).
.

( formal
) logic .

() .
:
() .

.

.

.

.

( ) analytic .


.

.
.

:



.

.

17



-
.


.
. -
-
:
)
)
)

)
)

)


.
:
. 1 : :
-
.
.

.
.
e e
.


.

- -

.
( .
.).
. 2 :
.

.


.


.
!! .

.

.
. :
.
.
: .
A B .

. .
Q P ( p
proposition )
. Q P ~ P
PQ P P
. Q

.
.

 (
).

.






. .


.


.


.

()

.





.

.

.


.

.



.

.

.
.
.
.

c .
.

.
.


.
(
)
.1

.

.
.



.

. 1
:

 (= ) form
.
( ) formal .

. :
.
.
: .
(
) .

.
.

:
A B.
a A.
a : B.

.

. .
( ) .

.

()

.

.
>



() .

.
" "T
" "F .
.
.

.
:
- 1
.

10

 - 2
.
- 3
.
...


.

. .

" . " " "


. :
"" .
""

. :
"" .
""

.


.

11




.

.
( philosophical logic )
( mathematical logic )... .

(
)
.
information
form formal
informal .
" "" "
" "
" "



.
()
.
symbolic logic


. .
[
]

12


:
. 1 formal (symbolic) language

syntax rules
( proposition ) sentence .
.
regular
expression ) well-formed formula (wff
.
. 2
. formal deduction
system logical
axiom . rules of inference
( )
Syntetical unit
.
.
. 3 valuation
interpretation semantics
structure model domain of
( discourse

) [
semantic
] .

syntetic .

13


.
:
sentetial
symbols A, B, C,
connectives
" " &" " |" " <=...
wff wff :
q p wff p &q wff
.

semantics Soc
0 ( domain of
) discourse
constants .
semantics
variable .
x=5 x semantics
5
.
semantics
5 "
" .
semantics
atomic formula .
(
)
sentence proposition
. formula
semantics

14

 .

( semantics) -
semantics
. semantics
.
:
()

domain of discourse
domain of discourse .
premises .

axiom .
logical axiom

.
exclusion of third middle " p
~p " ( ~
).
rules of inference
.
modus ponen
p & p => q : q .



.


.

15


(
)

[ ] reductionism
( ).

(
)
(
) :

.
( )

. [ ()
]
: propositional
( logic )
predicate first order logic
.

.



.

16


.
fuzzy logic modal logic
... quantum logic combinatory logic
.
multi-valued logic

( )
( ) .
.

. .
Boolean logic
.

.
lattice .
& |
.
. & Birkhoff
Neumann.
combinatory logic

.
Haskell Brooks Curry.
intuitionistic logic
constructivism logic

.

.

17



.
.


.
Arend Heyting
(
) .
modal logic


.
(
) . .



M
L ~ p
:
Mp = ~L ~p
L p = ~M ~P

. Lewis
.

18

:
- 1
.
- 2
.
- 3 .

19

- 4
.
- 5 ( ) .
- 6
.
.www.mathhuose.com - 7
. fa.wikipedia.org - 8
. www.huppu.com - 9
- 10 .

20