coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- [Coq-Club] Proving that something isn't a tautology, r . h . huijben, 03/26/2013
- Re: [Coq-Club] Proving that something isn't a tautology, Daniel Schepler, 03/26/2013
- Re: [Coq-Club] Proving that something isn't a tautology, Dimitri Hendriks, 03/26/2013
- Re: [Coq-Club] Proving that something isn't a tautology, Daniel Schepler, 03/27/2013
Archive powered by MHonArc 2.6.18.