谁能解释以下命题逻辑解释?

时间:2019-10-10 02:46:42

标签: propositional-calculus

问题是:

  

如果孩子有体温,我们会打电话给医生,前提是我们   与他接触,如果我们与医生接触,那么如果孩子   咳嗽得很厉害

我尝试将其尝试为:

F1 = child has a temperature
F2 = Child has a bad cough
F3 = We reach the Doc 
F4 = we call the doc

任何人都可以告诉我我的尝试是否正确:

((F3 and F1)->F4) and (F2->(F3->F4))

请告诉我这是否是对以上句子的正确解释。

0 个答案:

没有答案