天津商业大学学报
天津商業大學學報
천진상업대학학보
Journal of Tianjin University of Commerce
2008年
1期
52~55
,共null页
逻辑 博弈 语义博弈
邏輯 博弈 語義博弈
라집 박혁 어의박혁
logic; games ; semantic games
用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,我们研究了命题逻辑、谓词逻辑、模态命题逻辑中的语义博弈,并且给出了语义博弈中参与者的必胜策略与真值表语义和Kripke语义下公式真假之间的关系。
用博弈論方法研究邏輯是從一種動態的角度來研究邏輯的方法。目前將邏輯與博弈相結閤進行研究所涉及的問題越來越廣。本文攷慮的是邏輯博弈中的方法之一——語義博弈,我們研究瞭命題邏輯、謂詞邏輯、模態命題邏輯中的語義博弈,併且給齣瞭語義博弈中參與者的必勝策略與真值錶語義和Kripke語義下公式真假之間的關繫。
용박혁론방법연구라집시종일충동태적각도래연구라집적방법。목전장라집여박혁상결합진행연구소섭급적문제월래월엄。본문고필적시라집박혁중적방법지일——어의박혁,아문연구료명제라집、위사라집、모태명제라집중적어의박혁,병차급출료어의박혁중삼여자적필성책략여진치표어의화Kripke어의하공식진가지간적관계。
The application of game theory to logic is to study logic dynamically. At present, more and more problems deal with the integration of logic with games. The paper studies one of the logical games - the semantic games in propositional logic, predicate logic and modal propositional logic. Then it gives the player' s winning strategy in the semantic games and truth table semantics. The" true" or" false" of a formula could be defined in the Kripke semantics.