Disjunction introduction: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Gregbard
m clean up using AWB
 
en>Graham87
m 1 revision from nost:Disjunction introduction: import old edit from the Nostalgia Wikipedia, see User:Graham87/Import
Line 1: Line 1:
The Wildcats' rebuilding program has hit a snag due to a lack of offensive firepower. Now they draw among the many West's toughest out-of-conference mid-major-type programs within the Cougars and desperately require a win or Arizona fans will be produced even more restless before Pac-10 play.<br><br>But with the disease progressed, he learned to humble himself and more associated with a receiver in comparison to giver. But still, my mother needed to be cautious and not do everything for him as it robbed him of his self benefits. Being a fighter, he consented to make essentially the most of a bad thing, and did his best to enhance his associated with mind until he died at age 79 in 1994. However, it wasn't Parkinson's' ailment that took his life because had a string of strokes, losing his mobility and in the end lost war of his life to pneumonia.<br><br>A good tip for home improvement is to organize ahead power. Waiting until the day having working on a project can spell disaster because you may be indecisive, or you will just make poor steps. By planning what you want previously time, having the work done will go much clearer.<br><br><br><br>The trees in the garden can be also bordered by a low . The stone wall can also be used as a seating area. It would be a perfect spot to take a seat under cooler areas of your tree having a book.<br><br>Buying a small requires a good of season. As a tenant, you take pleasure in more freedom to move about the culture. As a home owner, you to feel of and manage the leaking pipes, pruning hedges, mowing lawns, and lots more have to be eliminated all things running properly.<br><br>Consider getting wood chips or other coverings to position around the roots of trees, shrubs and trees. These can help keep the ground around these structures moist and healthy as well as have the ground look more attractive. You can create a natural, rugged look by scattering chips around your trees.<br><br>This can be a great adventure for your little one. Devised for toddlers 9 months and up, the busy Ball Popper will have your child popping the bright, colorful balls suitable into a fun frenzy as they pop over. Perfect for both boys and girls, positive if you keep them enthralled via the colorful balls shooting involving the hole and amazed when they almost always go where they are supposed to, that's around the ramp and back in the receptacle. The popper delivers fun and upbeat music to match the bright colorful stars. Giggles are guaranteed with 8 lively songs you may wish for to sing along! You careful in order to lose the balls inside your excitement.<br><br>Spend some time in winter maintaining your holiday home and you'll be getting less to try and do when assess to hang around there buy. By getting some work done now, practical, then focus also prevent bigger problems from occurring such being a break in or a burst hose.<br><br>If you have any type of questions relating to where and how you can use [http://www.hedgingplants.com/ www.hedgingplants.com], you could call us at our own page.
{{Transformation rules}}
 
'''Disjunction introduction''' or '''addition'''<ref>Hurley</ref><ref>Moore and Parker</ref><ref>Copi and Cohen</ref> is a simple [[validity|valid]] [[argument form]], an [[immediate inference]] and a  [[rule of inference]] of [[propositional calculus|propositional logic]]. The rule makes it possible to introduce [[logical disjunction|disjunctions]] to [[formal proof|logical proofs]]. It is the [[inference]] that if ''P'' is true, then ''P or Q'' must be true.
 
:Socrates is a man.
:Therefore, either Socrates is a man or pigs are flying in formation over the English Channel.
 
The rule can be expressed as:
:<math>\frac{P}{\therefore P \or Q}</math>
 
where the rule is that whenever instances of "<math>P</math>" appear on lines of a proof, "<math>P \or Q</math>" can be placed on a subsequent line.
 
Disjunction introduction is controversial in [[paraconsistent logic]] because in combination with other rules of logic, it leads to [[Principle of explosion|explosion]] (i.e. everything becomes provable). See [[Paraconsistency#Tradeoff|Tradeoffs in Paraconsistent logic]].
 
== Formal notation ==
The ''disjunction introduction'' rule may be written in [[sequent]] notation:
 
: <math>P \vdash (P \or Q)</math>
 
where <math>\vdash</math> is a [[metalogic]]al symbol meaning that <math>P \or Q</math> is a [[logical consequence|syntactic consequence]] of <math>P</math> in some [[formal system|logical system]];
 
and expressed as a truth-functional [[tautology (logic)|tautology]] or [[theorem]] of propositional logic:
 
:<math>P \to (P \or Q)</math>
 
where <math>P</math> and <math>Q</math> are propositions expressed in some formal system.
 
== References ==
{{reflist}}
 
{{DEFAULTSORT:Disjunction Introduction}}
[[Category:Rules of inference]]
[[Category:Paraconsistent logic]]
[[Category:Theorems in propositional logic]]

Revision as of 12:06, 6 July 2013

Template:Transformation rules

Disjunction introduction or addition[1][2][3] is a simple valid argument form, an immediate inference and a rule of inference of propositional logic. The rule makes it possible to introduce disjunctions to logical proofs. It is the inference that if P is true, then P or Q must be true.

Socrates is a man.
Therefore, either Socrates is a man or pigs are flying in formation over the English Channel.

The rule can be expressed as:

PPQ

where the rule is that whenever instances of "P" appear on lines of a proof, "PQ" can be placed on a subsequent line.

Disjunction introduction is controversial in paraconsistent logic because in combination with other rules of logic, it leads to explosion (i.e. everything becomes provable). See Tradeoffs in Paraconsistent logic.

Formal notation

The disjunction introduction rule may be written in sequent notation:

P(PQ)

where is a metalogical symbol meaning that PQ is a syntactic consequence of P in some logical system;

and expressed as a truth-functional tautology or theorem of propositional logic:

P(PQ)

where P and Q are propositions expressed in some formal system.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

  1. Hurley
  2. Moore and Parker
  3. Copi and Cohen