Let：• B(x( 代表 "x 有分叉的角"• D(x( 代表 "x 患有真皮虚弱"• F(x( 代表 "x is female"• M(x， y( 代表 "x is the mother of y"• S(x( 代表 "x isSyldavian"• U(x( 代表 "x is a unicorn">
我如何表达
1("患有真皮虚弱的母独角兽将病情传给所有后代"
2("任何母亲是西尔达维安的独角兽都患有真皮虚弱">
在一阶谓词逻辑中？
我的尝试
1(
存在一个 x，对于所有 y，如果 x 是 y
的母亲，x
是独角兽，x 有真皮虚
弱，
这意味着 y 也有真皮虚弱。
∃x∀y( (M(x，y( ∧ U(x( ∧ D(x( ( ->D(y( (
2(对于所有x和y，如果y是
独角兽，x是
y的母亲，
x是Syldavian， 暗示Y有真皮虚弱
∀x∀y( ( U(y( ∧ M(x，y( ∧ S(x( ( ->B(y( (
任何帮助将不胜感激，特别是关于何时使用∀和何时使用∃。 谢谢。
"患有真皮虚弱的母独角兽将病情遗传给所有后代"
∀x∀y((M(x，y
( ∧ U(x( ∧ D(x(( -> D(y(("任何母亲是西尔达维安的独角兽都患有真皮虚弱"
∀x∀y((M(x，y( ∧ U(y( ∧ S(x(( -> D(x((
这里没有"存在"或"至少有一个"的说法。这些陈述是关于所有独角兽的，所以我们不使用∃。