every formula is a logical consequence of its univeral closure.
- From: "speechweb" <speechweb@xxxxxxxxx>
- Date: 1 Nov 2006 12:06:41 -0800
Hi
I am new in this forum and I don't have any background in logic and
computability.
I had a question " How do you prove from the definition of logical
consequence that every formula is a logical consequence of its univeral
closure."
Just some hints and advise would be helpful.
Thanks...
.
- Follow-Ups:
- Prev by Date: Re: Question about Quine's New Foundations
- Next by Date: Re: incompleteness and inconsistency
- Previous by thread: incompleteness and inconsistency
- Next by thread: Re: every formula is a logical consequence of its univeral closure.
- Index(es):