????????????? ?????????????
??
??????????
???
??????
???????
(
??????
:
proposition
) ???????
?????????????
(???????????????????????????) ???????????????????????? ????????????????????????????? ??????????? ??????????????????????????????????????????????? ????????????????????????????????????????????????
????????
????
????????
(??????????
???????????
) ????????????????????????????
truthbearer
??????????????? ?????? ?????? ??????? ???????????????????????????????????????? ??????????????
????????
[
???
]
- "3.14159…", "??????????????????????????" ? ?????????????? ??????????????????????
- "1 + 3 = 5" ? ??????????? ?????????????????????
- "
x
+ 7 = 5" ? ?????????????? ?????????
x
????
??????
?????????????????????????????? (?????????????????
?????
????????)
- "????????????????????????????????????????????????" ? ??????????? ?????????????????????
- "?????????????????????????????????????" ? ?????????????? ????????????????????????
- "???????????????????????????????" ? ?????????????? ???????????????????
???
?????? ??????????????????????????????