Lseic twn Asksewn

Majhmatikc Logikc 2
1. ( 8, . 103).
2.
.
3.
.
4.
(A B) (A C) B C ().
5.
(A C) (B D) ((A B) (C D)) (A B) (C D)
.
6. :
e:
l:
t:
u:
:
elt
u l
e
:
t u
e l t, u l, e  t u

(e l t) (u l) e (t u) .
7. () p q 2 q p, , p q .
() : (p q) (q p) .
,
p, q.
.
p q
q p.
p q , p q .
, p q ,
q p .
.

8. () .
p
p .
,
p .
.
9. () (p
19]

q) q (p q) q. [

(p q) q. [ 19]
(p q) q. [De Morgan]
q (p q). [ 6]
(q p) (q q). [ 26]
(q p) >. [ 8]
q p. [ 3]
p q. [ 6]

() p (q p) p (q p). [ 19]
p (q p). [ 19]
(q p) p. [ 6]
q (p p). [ 10]
p >. [ 8]
>,
. [ 8]
() (p q)(p r) (pq)(pr).
[ 19]
p(q r) [ 26],
.
() ().
10. () : B C.
: A C.
: C (A B).
() A , B C
, , .
() (|=)
,
B C, A C |= C (A B).
() , A, B, C ,
.
() .
() , , ,
(A C),
A C. (
) ,
, .

11. () if A then B else C ,

, :
(A B C) (A B C) (A B C) (A B C)
, 1, :
(A B C) (A B C) (A C B) (A C B)
:
((A B) C) ((A B) C) ((A C) B) ((A C) B)
, 25, :
(A B) (C C) (A C) (B B)
, 8, :
(A B) > (A C) >
, 3, :
(A B) (A C)
(), () () , . 5051.