Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Proving that something isn't a tautology

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Proving that something isn't a tautology


Chronological Thread 
  • From: Daniel Schepler <dschepler AT gmail.com>
  • To: Dimitri Hendriks <diem AT xs4all.nl>
  • Cc: r.h.huijben AT student.tue.nl, coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Proving that something isn't a tautology
  • Date: Tue, 26 Mar 2013 19:07:15 -0700

On Tue, Mar 26, 2013 at 12:09 PM, Dimitri Hendriks
<diem AT xs4all.nl>
wrote:
> Variable Tweety : e.
>
> Hypothesis WomanTweety : IsTrue (Woman Tweety).
> Hypothesis WalkTweety : IsTrue (Walk Tweety).
>
> Hypothesis PenguinsOnly : IsTrue (Not (A Bird Fly)).

That just begs the question of how you prove these assumptions are
consistent with the required axioms. To which the simplest answer is
to exhibit a model satisfying the assumptions...
--
Daniel Schepler



Archive powered by MHonArc 2.6.18.

Top of Page