7945641948

Logika predykatów na przykładzie

man(Marcus)

Pompeian{Marcus)

V    x: Pompeian{x) -> Roman(x) ruler(Caesar)

V    x: Roman(x) -> loyalto(x,Caesar)v hate(x,Caesar)

V    jc : 3 y: loyalto(x, y)

Vx :My: person(x) a ruler(y)/\ tryassass(x,y)^> -i loyalto(x,y) tryassass(Marcus, Caesar)

14