GATE CSE
First time here? Checkout the FAQ!
x
0 votes
64 views
Define the validity of a well-formed formula(wff)
asked in Mathematical Logic by Veteran (75.6k points)   | 64 views

1 Answer

+3 votes
Best answer
Valid : A wff which is always true(tautology) is valid. i.e., its value is true for any set of assignment to its variables.

Satisfiable : A wff which is not a contradiction(always false) is satisfiable. It may be a tautology.
answered by Loyal (2.9k points)  
selected by
Top Users Feb 2017
  1. Arjun

    5278 Points

  2. Bikram

    4230 Points

  3. Habibkhan

    3942 Points

  4. Aboveallplayer

    3086 Points

  5. Debashish Deka

    2378 Points

  6. sriv_shubham

    2308 Points

  7. Smriti012

    2236 Points

  8. Arnabi

    2008 Points

  9. sh!va

    1672 Points

  10. mcjoshi

    1648 Points

Monthly Topper: Rs. 500 gift card

20,846 questions
26,002 answers
59,657 comments
22,100 users