Format: Mathematical Logic

Logic is the starting building block for other mathematical structures in XBUP protocol.

Propositional Logic

Examines the number of propositional statements, their truth or falsity, the methods of composite statements from those simple statements of truth and the dependence of compound statement truth.

Logical Truth

Logical truth allows to express the truth of the claim. Takes just two possible values: true (1), false (0)

Possible solutions to a Boolean representation

Free catalog reserve in the tree - the relationship will be addressed later by other blocks (*)
Enumerable types and their hierarchy

Possible solutions to the logical representation of the value

Solution using attribute - the attribute block will contain the value of which decides the logical value (*)
Use of referring to the type and standard numeric digit block block
Solution using a data block

Meaning of the value

0 False, 1 True, the rest is undefined (*)
0 False, the rest is True

Logical Functions

Logical function differs according to the number of parameters

There are two functions with one parameter, the identity and negation

There are 16 functions with two parameters. Most famous are the logical sum (14) and the logical product (8), implication (11), equivalence (9) and exclusive sum (6).

Variants of blocks to represent the logical functions

For each function create a separate block
Separate block for each number of parameters, create index for functions based on their result
Functions indexed by the number of parameters and results (*)

Possible alternative could also be derived from concrete blocks parameterization

Logical Formulas

Boolean formula of propositional logic are based on induction.

Truth value is a formula
Variable is a formula
Application functions, whose parameters are the formula is the formula.

Formula expressing the same property can be expressed in several forms. It is possible to limit the form of the formula to make it unique. Suitable form can be for example CNF (Conjunctive Normal Form), where formula is made up of conjunction of disjunction of variables or their negation.

First-Order Logic

First-order logic is an extension of the Zero-order logic introducing variable qualification. Qualifiers are either existential or universal and allows quantification of the single variable.

Second-Order Logic

Second-order logic is an extension of the First-order logic providing qualifications over sets of variables.

More types of logic: Modal and temporal logics, transparent intensional logic (TIL)

Page Source