한국   대만   중국   일본 
??????? - ?????????? ?????????????

???????

????????????? ?????????????

?? ?????????? ??? ?????? ??????? ( ?????? : proposition ) ??????? ????????????? (???????????????????????????) ???????????????????????? ????????????????????????????? ??????????? ??????????????????????????????????????????????? ???????????????????????????????????????????????? ???????? ???? ???????? (?????????? ??????????? ) ???????????????????????????? truthbearer ??????????????? ?????? ?????? ??????? ???????????????????????????????????????? ??????????????

???????? [ ??? ]

  • "3.14159…", "??????????????????????????" ? ?????????????? ??????????????????????
  • "1 + 3 = 5" ? ??????????? ?????????????????????
  • " x + 7 = 5" ? ?????????????? ????????? x ???? ?????? ?????????????????????????????? (????????????????? ????? ????????)
  • "????????????????????????????????????????????????" ? ??????????? ?????????????????????
  • "?????????????????????????????????????" ? ?????????????? ????????????????????????
  • "???????????????????????????????" ? ?????????????? ??????????????????? ??? ?????? ??????????????????????????????