(- )
19
():
() 1
()
..
:
..., . .
2014
19.
1. (p ÙØ q) ↔ s? -, - ?
=23=8
p | q | Øq | s | (pÙØq) | (pÙØq)↔s |
(p ÙØ q) ↔ s .
2. , :
, .., , . .. . ..
p .
q
Ø
Ø q
(p→q)˅(Ø → Øq)
p | Ø | q | Ø q | p→q | Ø → Øq | (p→q)˅(Ø → Øq) |
.
3. ? , ?
.. ,
..
..
: . - (. modus tollens) .
4. , : ) , ; ) , ; ) , . .
|
|
() ( )
.
.
5. ? , ?
, .
: , .. ( , , , ..).