Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions

Revision as of 20:07, 1 April 2009

Revision as of 20:10, 1 April 2009

Line 206:

For consistency use the following terminology in Logic articles:

''Drafting in progress drafted'' cf [[Wikipedia talk:WikiProject Logic/Standards for notation#Terminology]]

logical connective Barwise 1977

connective Chang & Keisler 1973-1989

logical operator

propositional operator

{| class="wikitable"

Line 216 ⟶ 213:

! Preferred Terminology

|-

|logical connective, connective, logical operator, propositional operator, trith-fucntional connective

|Preferred Terminology

|-

|propositional logic, sentential logic, propositional calculus, sentential calculs, statement logic, statement calculus

|a Terminology used

|a Preferred Terminology

|-