Predicate Logic language example
Language L1:
- predicate symbols = {married, aged} both binary (arity = 2)
- variables = {x, y, z}
- constants = {Mary, John, George, 20, 30, 40, 50, 60}
- connectives = {__ ¬ ,__ __ _}; quantifiers = {__ _}
- brackets = {(, ), [, ]}
- function symbols = {double} unary function (arity = 1)
Example sentences of L1:
- married(Mary, John), married(Mary, George)
- aged(Mary, 20), aged(George, double(20) )
- ¬ married(Mary, George)
- _x_y [married(x, y) _ married(y, x) ]
- _x aged(x, 40)
- aged(x, 40)