Package model.logic

package model.logic

The logic part of the model. This contains only the abstract part of the entities worked with in the application. This is what should meet the pen-and-paper mathematician when deriving theorems.

The main point with this structure is to separate it from everything else as far as possible so the first division of semantics is that between the value and it's description. The mathematics as it is and that which is used for perceiving it.

The most foundational entities are called primitives and they should rely fully on established mathematics which in turn are rigidly described by the UTF standardisation. So they are described only by their UTF codepoint.

Next in increasing complexity is entities that consist of primitives and they are called composites. They are constructed by the user today but will be thoroughly structured later: there will be fractions, functions, sums and products etc.

These two then make upp statements and theorems.

Since:

2024-07-07

Version:

0.2

Author:

Anders Persson (perssonandersper@gmail.com)

See Also:

• Primitive
• Composite
• Statement
• Theorem

Related Packages

Package	Description
model	The model part of the MVC-software model: consists of little and where present, well isolated io- and graphics work.
model.logic.abstraction	This package provides the ground work for inheritance on the value (logic) side of the model. The purpose is to off-load the concreete classes of as much as possible so that the constructor is what's missing for them to work properly.
model.description	The description part of the model.
model.independent	This package contributes with the data structures and functions that are not related to the mathemathical content that this application is about but still is algorithmic in nature and clearly belong to the model side.

Class	Description
Composite	The class Composite is for compositions of formals.
Implication	Special class for the three elementary deductions.
Implication.ImplicationType	The three elementary implications or arrows.
Primitive	The most simple objects fullfilling the Formal interface.
Statement	A statement about a collection of mathematical primitives.
Theorem	The objects of class Theorem is the formal part of a mathematics theorem which the user is editing and describing and which is displayed and stored.