Definition:Logical Form

From ProofWiki
Jump to navigation Jump to search

Definition

Logical form is a term used to mean the logical structure of an argument or statement independent of its content or semantic meaning.


Statement Form

A statement form is a symbolic representation of a compound statement.

It consists of statement variables along with logical connectives joining them.


Argument Form

An argument form is a collation of symbols which contains statement variables such that:

when statements are used to replace statement variables (the same statement replacing the same statement variable throughout), the result is a logical argument.


Also see

  • Results about logical forms can be found here.


Sources