Составители:
Рубрика:
Primer 2.1 (Dokazatel~stvo tavtologi$i s pomow~ sokrawen-
nyh tablic istinnosti).
Opredelenie 2.2 (Otnoxenie sledovani).
Teorema 2.2 (Nekotorye logiqeskie sledstvi).
Primer 2.2 (Tabliqnoe dokazatel~stvo sekvenci$i).
Teorema 2.3 (Svo$istva znaka
|
=
).
Opredelenie 2.3 (Ravnosil~nost~ spiskov dopuweni$i).
Teorema 2.4 (Ravnosil~nost~ spiska dopuweni$i dopuweni).
Sledstvie (Pravila preobrazovani spiskov dopuweni$i).
Teorema 2.5 (O protivoreqivyh spiskah dopuweni$i).
Teorema 2.6 (Pravila vvedeni i udaleni logiqeskih znakov).
Primer 2.3 (Dokazatel~stvo s pomow~ teorem 2.3 — 2.6).
Teorema 2.7 (Podstanovka formul v tavtologii).
Teorema 2.8 (Teorema o zamene).
Teorema 2.9 (Rezolcii).
Primer 2.4 (Dokazatel~stvo metodom rezolci$i).
Opredelenie 2.4 ( Shemy aksiom IV).
Opredelenie 2.5 (Vyvod i dokazatel~stvo v IV).
Primer 2.5 (Dokazatel~stvo formal~no$i teoremy
`A
→
A
).
Teorema 2.10 (O dedukcii).
Sledstvie. Esli
A
1
, . . . , A
m
`
B , to
A
1
, . . .
, A
m
−1
`A
m
→
B,
. . .
,
`
A
1
→
(A
2
→
(. . . (A
m
→
B) . . .))
.
Teorema 2.11 (O polnote IV).
Teorema 2.12 (O neprotivoreqivosti IV).
Sledstvie. (O prosto$i neprotivoreqivosti IV).
Opredelenie 2.6 (Shema aksiom IS).
Opredelenie 2.7 (Pravila vyvoda IS).
Opredelenie 2.8 (Vyvod v IS).
Teorema 2.13 (O polnote IS).
145
