~/tedtes/writing/math-foundations-for-reasoning-models

~/writing/math-foundations-for-reasoning-models $ ls

Symbolic Logic and Reasoning

Truth Value

A truth value is the logical status of a proposition: true or false.

~/writing/math-foundations-for-reasoning-models $ cat topic.md

Truth Value

Definition

A truth value is the logical status of a proposition.

In basic logic, the two truth values are:

true
false

Example:

2 + 3 = 5

Truth value:

true

Example:

2 + 3 = 9

Truth value:

false

Truth value tells whether a proposition is true or false.


Truth Value Requires A Proposition

Only propositions have truth values.

Proposition:

It is raining.

This can be true or false.

Not a proposition:

Close the door.

This is a command.

It does not have a truth value.

Truth values apply to statements, not every expression.


Truth Value Depends On Interpretation

Some propositions depend on context.

Example:

x > 5

If:

x = 10

then:

true

If:

x = 2

then:

false

The symbolic form is the same.

The truth value changes with interpretation.

Truth value depends on what the symbols refer to.


Truth Values In Compound Statements

Logical operators combine truth values.

Example:

P AND Q

If:

P = true
Q = false

then:

P AND Q = false

The compound truth value is determined by the operator and the truth values of the parts.

Compound statements compute truth values from smaller statements.


Truth vs Validity

Truth applies to propositions.

Validity applies to arguments.

Example proposition:

2 + 3 = 5

This is true.

Example argument form:

If P, then Q
P
Therefore Q

This is valid.

Truth belongs to statements; validity belongs to reasoning structure.


Final Summary

  • A truth value is true or false.
  • Propositions have truth values.
  • Commands and questions do not have truth values.
  • Truth value can depend on interpretation.
  • Logical operators build compound truth values.
  • Truth is different from validity.

~/writing/math-foundations-for-reasoning-models $ open

Continue the series.

Logical Operators