Writing\Proposition\Or

The disjunctive truth functor.  Its truth-table is:

Essentially if either proposition linked by the ‘or’ operator is true the compound proposition evaluates as true.

Example

Natural Language:  “Both the recommendations of the Atkinson Committee and the Blenkinsop Report are valid. ”

Pacisco:  The recommendations of the Atkinson Committee are valid. or The recommendations of the Blenkinsop Report are valid.

This sort of proposition might appear in the grounds of an argument.  The use of ‘or’ rather then ‘and’ here makes for a more robust proposition; even if one of the connected claims is successfully rebutted then the overall proposition still stands.  This strategy should be adopted unless it really is intended that both claims stand or fall together.