Talk:Zeroth-order logic

	Mathematics portal This redirect is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Low	This redirect has been rated as Low-priority on the project's priority scale.

Philosophy: Logic Mid‑importance

This redirect is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Mid

This redirect has been rated as Mid-importance on the project's importance scale.

Associated task forces:
/
	Logic

Merger proposal

I propose to merge Zeroth-order logic into Propositional calculus. I think that the content in the Zeroth-order logic article can easily be explained in the context of Propositional calculus, given that it is a synonym of propositional calculus, and the propositional calculus article is of a reasonable size that the merging of zeroth order logic will not cause any problems as far as article size is concerned. KazMalKen (talk) 20:30, 16 July 2020 (UTC)[reply]

Logic?

After reading and rereading the article I seem to understand less of its content. It might be considered to merge the useful content with the article of Boolean logic.

84.41.232.121

Naming of the logical operators

I believe the naming of the logical operators should be renamed to be consistent and be shorter, my list would be:

NOT
AND
OR

It might be worth noting all operators can be composed of the NOT and either of the two other operators. The title is also confusing in suggesting these are the and all logical operators. They are only the most common operators.

84.41.232.121

Notes & Queries

Jon Awbrey 18:56, 14 January 2006 (UTC)[reply]

JA: Dear Aleph4, if you read the intro, you will see that I have a specific reason for singling out this usage for special mention. Jon Awbrey 22:54, 14 January 2006 (UTC)[reply]