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"
|-
! Terminology used
! Preferred Terminology
|-
|logical connective, connective, logical operator, propositional operator
|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 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 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 Terminology used
|a Preferred Terminology
|-
|