Go backward to Example Go up to Top Go forward to Abbreviation

Example

• The formula

  x | y /\  exists z: y | z where y=2x

  is equivalent to x | 2x /\  exists z: 2x | z.

• The formula

  x | y /\  exists y: y | x where y=2x

  is equivalent to x | 2x /\  exists y: y | x but not to x | 2x /\  exists y: 2x | x.