请教大家

@闫六二 吧主能否帮忙看一下

@波斯猫888 哥们能否帮忙看一下

来福至少有一个妹妹。
这个题目，应该首先分析二元关系谓词，然后是一元谓词，最后是量词。不能着急，应该逐步分析。
【x是来福的妹妹，x是人，有x】。
【有x，x是人，x是来福的妹妹】。
后面的公式比较好。

吧主请问这道题该如何解呢，写了很久没有思绪@闫六二

∀x(Hx∧Ldx→Hx∧Lbx)∧Lba → ~Lda.
或者
∀x(Hx→(Ldx→Lbx))∧Lba → ~Lda.