Simple precedence grammar: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Addbot
m Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7520820
en>Michael Hardy
No edit summary
 
Line 1: Line 1:
{{Unreferenced stub|auto=yes|date=December 2009}}
I'm Leora and I live in Bell End. <br>I'm interested in English Literature, Poker and Arabic art. I like travelling and watching Sons of Anarchy.<br><br>Here is my homepage; [http://www.sterrenreizen.org/cp/scripts/Perl/Guestbook/E-Guest_show.pl Fifa 15 Coin Generator]
{{Confusing|date=December 2006}}
'''Idempotency of entailment''' is a property of [[logical system]]s that states that one may derive the same consequences from many instances of a hypothesis as from just one.   This property can be captured by a [[structural rule]] called '''contraction''' and in such systems one may say that [[Logical consequence|entailment]] is [[idempotent]] if and only if contraction is an [[admissible rule]].
 
Rule of Contraction: from
 
A,C,C -> B
 
is derived
 
A,C -> B.
 
Or in [[sequent calculus]] notation,
:<math>\frac{\Gamma,C,C\vdash B}{\Gamma,C\vdash B}</math>
 
{{DEFAULTSORT:Idempotency Of Entailment}}
[[Category:Logical consequence]]
[[Category:Theorems in propositional logic]]
 
 
{{Philo-stub}}

Latest revision as of 03:07, 16 March 2014

I'm Leora and I live in Bell End.
I'm interested in English Literature, Poker and Arabic art. I like travelling and watching Sons of Anarchy.

Here is my homepage; Fifa 15 Coin Generator