Definition:Logical Form
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
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): logical form
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): logical form