GATE CSE
First time here? Checkout the FAQ!
x
0 votes
77 views
Define the validity of a well-formed formula(wff)
asked in Mathematical Logic by Veteran (76.2k points)   | 77 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 (3.1k points)  
selected by


Top Users Apr 2017
  1. akash.dinkar12

    3508 Points

  2. Divya Bharti

    2542 Points

  3. Deepthi_ts

    2040 Points

  4. rude

    1966 Points

  5. Tesla!

    1768 Points

  6. Shubham Sharma 2

    1610 Points

  7. Debashish Deka

    1588 Points

  8. Arunav Khare

    1454 Points

  9. Kapil

    1424 Points

  10. Arjun

    1420 Points

Monthly Topper: Rs. 500 gift card

22,076 questions
28,040 answers
63,230 comments
24,135 users