293017408

Baza w logice predykatów

1    man(Marcus)

2    Pompeian(Marcus)

3    born(Marcus,40)

4    \fx: man(x) —» mortal(x)

5    V;t: Pompeian(x) —> died(x,79)

® erupted(Volcano,19)

^ Vx: V?, :Vr,: mortal(x) Aborn(x,t_l) a gt(t₂ — /, ,150) —> dead(x,t₂) ⁸ now = 2008

Vx: Vr: alive(x, t) -» ~<dead(a:, /)

^9b Vx:Vt:dead(x,f)->-alive(x,t)

Vx:V/, :Vt₂:died(x,t_l)*gt(t₂,t_l)->dead(x,t₂)