Commands

6/2/2026

Commands

Deriver has a number of commands that it can perform. These are mainly used when doing semantics.

A little background on the semantics

Typically Propositional Logic and Predicate Logic are not mixed together.

The User choses off the Semantics Menu whether to pursue Propositional Logic or Predicate Logic.

Deriver can be configured to 'know' how the various non-logical symbols are to be interpreted (i.e. whether the propositions they symbolize are interpreted as being true or false, or, in the case of predicate logic, just what they designate).

The current interpretation can be displayed using the menu commands 'Current Interpretation' or 'Current True Propositions').

Creating or changing an interpretation is carried out, in the case of propositional logic, by Do Command (which will be explained shortly) or, in the case of predicate logic, by means of the Drawing Panel.

Additionally, what various non-logical symbols mean (i.e. what they symbolize) can also be created by Do Command.

Actual Commands

Actions menu

 

 

 

Deriver has a number of commands it can carry out off with the help of the Actions Menu.

The text of the command is written and selected in the Journal. Then 'Do Command' is clicked. on the Actions Menu.

The commands are not case-sensitive.

assign true capitalLetterHere

e.g. assign true A, 

assign true (listOfCapitalLettersHere)

e.g. assign true (B C D)

assign false

e.g. assign false A, assign false (B C D)

remember proposition (english In Here) capitalLetterHere

e.g. remember proposition (The moon is made of green cheese) M

write propositions

remember adjective (englishWordHere) capitalLetterHere

e.g. remember adjective (black) B

remember binadj (englishWord(s)Here) capitalLetterHere ?

i.e. binary adjective e.g. remember binadj (taller than) T

remember iverb (englishWordHere) capitalLetterHere

i.e. intransitive verb e.g. remember iverb (smiles) S

remember tverb (englishWordHere) capitalLetterHere

i.e. transitive verb e.g. remember tverb (enjoys) E

(remember pverb

(remember name

(remember noun

(all

Propositional Logic

Assign True (A B C) will assign the propositions A, B, C etc. True.

By default propositions are assigned False.

Write Propositions will tell you of the propositions and their assignments.

(Remember Proposition (A B C) will get Deriver to remember the propositions A, B, C, etc.