Results 1 to 2 of 2

Math Help - Maximal consistent

  1. #1
    Newbie
    Joined
    Apr 2013
    From
    Rome
    Posts
    1

    Maximal consistent

    Let Sigma={a,b,c}. Which of the following sets of formulae are maximal consistent?
    (1){a,b,c}
    (2){a∨b,b->c,c}
    (3){b->a,a∨c}
    (4){a∨b,b->c,c,a}
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,530
    Thanks
    774

    Re: Maximal consistent

    All except (4) are consistent. But shouldn't a maximally consistent set be infinite? For example, if A is in such a set, then so is A /\ A, A /\ A /\ A and so on.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Need to show that Ax=w is consistent
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: September 18th 2011, 04:20 PM
  2. Consistent Estimator
    Posted in the Advanced Statistics Forum
    Replies: 5
    Last Post: May 7th 2011, 10:01 PM
  3. consistent property
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: December 27th 2010, 03:10 PM
  4. Maximal consistent sets are complete
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: March 26th 2010, 04:20 PM
  5. Consistent Estimator
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: May 5th 2008, 01:34 PM

Search Tags


/mathhelpforum @mathhelpforum