Signed in as:

filler@godaddy.com

Signed in as:

filler@godaddy.com

**Decision** is the group of all *complex logical connectives*. There are two sub-groups of decision: **judgements** and **determinations**

A connective is a *logical statement* with a *union *or *overlap copula* and only logical terms with *existential* or *non-existential quantifiers*.

A *complex connective* is a connective whose logical terms are *two* connectives.

A determination is a **decision regarding the effect of joining two logical connectives** about the same two logical terms.

For example:

((A AND B) OR (A OR B)) gives the same result as (A OR B).

This is because (A OR B) expands (A AND B).

Determinations involve comparisons between these connectives:

- conjunction (A AND B): ꓱA ∧ ꓱB
- disjunction (A OR B): ꓱA ∨ ꓱB
- non-conjunction (NOT A OR NOT B): ∄A ∨ ∄B
- non-disjunction (NOT A AND NOT B): ∄A ∧ ∄B
- implication (NOT A OR B): ∄A ∨ ꓱB
- converse implication (A OR NOT B): ꓱA ∨ ∄B
- non-implication (A AND NOT B): ꓱA ∧ ∄B
- converse non-implication (NOT A AND B): ∄A ∧ ꓱB

A Judgement is a **decision about the truth** of the following logical statements:

- A equals B (A ↔ B) is true (⊤) or false (⊥)
- A does not equal B (A ⨁ B) is true or false
- A includes B (A ∋ B) is true or false (and vice versa)
- A excludes B (A ∌ B)is true or false (and vice versa)

A determination represents an opportunity to **reduce the size** of an Instance of Pattern Logic without a loss of meaning. Occasions expressive of logical redundancy may be pruned from the instance, which **simplifies the work of computing logical inferences**.

The handling of truth values is typically done by introducing an "interpretation" of a "model" which will account for the mapping of a truth value to the "nonlogical" terms found in the model.

Pattern Logic **does not require a separation between "model" and "interpretation" or the mappings of a truth function **because the truth of logical concepts can be expressed within the model by the means provided in these judgements. "Truth values" are explicitly bound to the structure of the instance's patterns.

Copyright © 2024 Pattern's Language - All Rights Reserved.

ADEPT LION is a Salveretec PBC patented invention