Upload
dimitris-psounis
View
19
Download
0
Embed Size (px)
DESCRIPTION
1) Νόμοι Προτασιακής Λογικής1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.2) Επαγωγή στην Πολυπλοκότητα των Τύπων2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς2.3) Πλήρη Σύνολα ΣυνδέσμωνΑσκήσεις
Citation preview
20 2:
2.3:
.
.
1.
1. .
2.
1.
2 , 20, 2.3:
2. vs
3.
.
1.
2.
3.
.
3 , 20, 2.3:
(-)
B. 1.
4 , 20, 2.3:
B. 1.
5 , 20, 2.3:
:
1
2
3
4
5
6 De Morgan
7
8
9 1
10 2
11
B. 1. 1.
6 , 20, 2.3:
:
.
:
1
De Morgan
2
B. 1. 1.
7 , 20, 2.3:
)()( 2121 pppp )()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp 2121
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
B. 1. 1.
8 , 20, 2.3:
)()( 2121 pppp
( )( )
( )( )( ) )()()(
)()()()()()(
)()()()()()(
)()(
211221
211221
211221
211221
211221
2121
pppppppppppp
pppppppppppp
pppppppppp
,
() : :
B. 2. 1.
9 , 20, 2.3:
B. 2. 1.
10 , 20, 2.3:
B. 2. 1.
11 , 20, 2.3:
B. 2. 2. vs
12 , 20, 2.3:
B. 2. 3.
13 , 20, 2.3:
: ( ( ) .
B. 2. 3.
14 , 20, 2.3:
:
B. 2. 3.
15 , 20, 2.3:
.
. 1
16 , 20, 2.3:
. 2
17 , 20, 2.3:
. 1
18 , 20, 2.3:
. 1
19 , 20, 2.3:
m() n() .
: m()=n()+1.
. 2
20 , 20, 2.3:
. 3
21 , 20, 2.3:
. 4
22 , 20, 2.3: