Results 1 to 1 of 1

Thread: Propositional logic question

  1. #1
    Newbie
    Joined
    Apr 2009
    Posts
    1

    Propositional logic question

    Hi, I wonder if anyone can help me: If V_1 is the valuation which assigns F to every propositional variable, and V_2 is the valuation which assigns T to every propositional variable, show that every formula \phi such that \overline {V_1 } \left( \phi  \right) = \overline {V_2 } \left( \phi  \right) = F is logically equivalent to one of the form

    \neg \bigwedge\limits_{i = 1}^n {(C_i  \to D_i } )<br />

    where each C_i is a conjunction of propositional variables and each D_i is a disjunction of propositional variables.

    Thanks!
    Last edited by DrunkHamster; Apr 4th 2009 at 05:07 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. propositional logic
    Posted in the Algebra Forum
    Replies: 2
    Last Post: Aug 30th 2011, 10:52 AM
  2. Propositional Logic
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: Jun 1st 2011, 04:22 PM
  3. propositional logic
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: Aug 3rd 2010, 12:52 PM
  4. Propositional Logic--Please help
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Dec 6th 2007, 06:25 AM
  5. propositional logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: Jun 10th 2007, 10:50 AM

Search Tags


/mathhelpforum @mathhelpforum