Sintax

There is a specific sintax that must be followed in order to insert a sentence. In general, a sentence is a set of operators and args. The possible operators are:

-

Null-ary (no args) op:

A symbol, representing a variable or constant (e.g. `a')

-

Unary (1 arg) op:

`$\sim$',`-', representing NOT, negation (e.g. `$\sim$a')

-

Binary (2 arg) op:

`==$>$' or `$>$$>$', representing forward implication

`$<$==' or `$<$$<$', representing backward implication

`$<$=$>$' or `%', representing logical equality

`=/=' or `$\wedge$', representing logical disequality (XOR)

-

N-ary (0 or more args) op: `&', `$\mid$', representing conjunction and disjunction

Internally PPL converts your sentence to the conjunctive normal form (CNF) using the package to_CNF.