answersLogoWhite

0

It depends what you mean by "necessary". There is a choice of different systems for (classical) predicate logic, but they all give the same results.

Universal introduction is certainly a valid principle in predicate logic, so the question is: Does universal introduction have to be one of the basic rules of the system?

The answer is no. It can be a derived principle. It is even possible to introduce "for all" as a derived symbol, and only have "there exists" in the basic system. The basic system would have a couple of rules controlling "there exists", and from these rules universal introduction would be a derived principle.

User Avatar

Wiki User

16y ago

What else can I help you with?

Related Questions

What has the author SAREE MAKDISI written?

SAREE MAKDISI has written: 'INTRODUCTION : UNIVERSAL EMPIRE'


What has the author Richard Turner written?

Richard Turner has written: 'A new and easy introduction to universal geography'


What has the author J R Senft written?

J. R. Senft has written: 'An introduction to Stirling engines' -- subject(s): Stirling engines 'On weak automorphisms of universal algebras' -- subject(s): Algebra, Universal, Universal Algebra


What is universal salt iodisation?

Iodisation of salt is necessary because iodine deficiency lead to idiocy.


What does the French intro of universal mind control mean?

Forgive me, my French is a little rusty, but she says - "Greetings all. This is an introduction to a new space, a new era, a new sound. Welcome, you're about to enter Universal Mind Control"


What is the general structure of a thematic analysis essay?

State the theme, back up your statement with evidence, then explain why it is universal.


What has the author Janet Anne Allison written?

Janet Anne Allison has written: 'A query facility for a universal relation database' 'Introduction to Windows 3.1'


Using strudel as your subject term and pastry as your predicate term state all four kinds of standard-form categorical claims?

Universal Affirmative: All strudels are pastries. Universal Negative: No strudels are pastries. Particular Affirmative: Some strudels are pastries. Particular Negative: Some strudels are not pastries.


Why is the roman number system necessary?

Roman Numerals are essential for simple counting, a universal counting method as well.


Why is it necessary to use the universal gravitation constant in the universal law of gravitation?

To rationalize the units on both sides of the equation, E= -GmM/r, e.g if feet is used as the unit of distance r then the Constant G would have a different value.


What has the author Juha Korhonen written?

Juha Korhonen has written: 'Introduction to 3G mobile communications' -- subject(s): Mobile communication systems, Universal Mobile Telecommunications System, Wireless communication systems


Why is it necessary to phase Hooke type universal joints connected to a prop shaft?

The effect of changing velocity can be eliminated by phasin the hookes joint Akray