我一直在阅读有关将自然语言句子转换为一阶逻辑的文章，我对如何在一阶逻辑中表达逻辑推理感到好奇。
我想知道如何将"事件 A 因事件 B 而发生"等句子转换为一阶逻辑。
我能想到的这样一句话的一个例子是：
X is evil; Because X is evil, X kills Y.
上面的句子在一阶逻辑中是如何表示的？
我想到的解决方案是：
Evil(X) -> Kills(X, Y)
但是，我不确定这是否正确，因为我无法在网上找到类似句子的示例。如果这是错误的，为什么是错误的，我该如何纠正？
我相信
这种诸如"因为"之类的连接是有问题的，因为它不符合"逻辑连接"标准。您无法验证推理发生的条件。例如："我摔倒了，因为我跑得快"。你无法证实我摔倒是因为我跑得快。可能是有人推了我一把，或者我绊倒了马路对面的物体。这意味着你需要一些额外的信息，关于事件的更多细节，而一阶逻辑不处理这些。它只处理逻辑连接词，逻辑连接词是连接词，不需要关于事件的进一步信息来验证或反驳命题。