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

Content deleted Content added
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"
|-
! Name
! Description/Usage
! Terminology used
! Preferred Terminology
! See
|-
|logical connective, connective, logical operator, propositional operator
|a Name
|Preferred Terminology
|a Description/Usage
|-
|a Terminology used
|a Preferred Terminology
|a see
|-
|a Terminology used
|a Preferred Terminology
|-
|a Name
|a Description/Usage
|a Terminology used
|a Preferred Terminology
|a see
|-
|a Terminology used
|a Preferred Terminology
|-
|a Name
|a Description/Usage
|a Terminology used
|a Preferred Terminology
|a see
|-
|a Terminology used
|a Preferred Terminology
|-
|a Name
|a Description/Usage
|a Terminology used
|a Preferred Terminology
|a see
|-
|a Terminology used
|a Preferred Terminology
|-
|a Name
|a Description/Usage
|a Terminology used
|a Preferred Terminology
|a see
|-
|a Terminology used
|a Preferred Terminology
|-
|a Terminology used
|a Preferred Terminology
|-
|a Terminology used
|a Preferred Terminology
|-
|a Terminology used
|a Preferred Terminology
|-
|a Terminology used
|a Preferred Terminology
|-
|a Name
|a Description/Usage
|a Terminology used
|a Preferred Terminology
|a see
|-