Encyclopaedia Index

Declaring logical constants

  1. Click on [Variable settings] button in the bottom bar of the dialog box.
  2. Scroll down in 'Name' of 'Logical Ground variables' to view their list.
  3. Select the name, e.g. LG(3).
  4. Click the button 'Value', to select, e.g. F.