- , , .
1. - "", ", " ", ". "" "~"
, , p, q - , , .. - (S P) q - (S P). - , - . q .
p | p |
, - , .
2. ( ) - . "" ("", "", "", " ") "&" "Λ".
p | q | p&q |
, ( ). , .
3. ( ) - . "".
" ()" - - -, : () ().
-
"v"
- , - " "
p | q | pvq |
, , , - .
-
" v "
- , - " ".
.
"", " ".
p | q | p v q |
.
4. ( ) - . ", " "→".
" , " - " " (), - " " - ().
|
|
p | q | p→q |
, - , - . , , , .
: (1- ), : , (3- 4- ).
" , " - , .
5. ( ) - . " , " (" , ")
"≡".
p | q | p≡q |
. - .
- , , , . .
, . , , .
( , - ).
:
- ( . "" - )
- ( . axios - )
- ( . deonte - )
- ( . "episteme" - )
1. () ""(□), ""(◊), ""(Ñ). . "", " ", "" . "", " ", "" .
2. () . ("", "", "", "") ("", "", "") .
3. () , , ("", "", "", "", "", ""), , .
:
-
F -
-
4. ( "" "" "", "", "" . .), , ("", "", "", "" ..).
: .
- .
:
V - (),
F - ().
", " - V(p).
", " - F(q).
V F : V(p)≡F(~p), V(~p)≡F(p).
- , .
, . () : ", ", "-, ". V F: () = ~V(p) ~F(p), .. , .
|
|