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

1 Answer

+2 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.4k points)  
selected by


Top Users Aug 2017
  1. ABKUNDAN

    4670 Points

  2. Bikram

    4556 Points

  3. akash.dinkar12

    3420 Points

  4. rahul sharma 5

    3124 Points

  5. manu00x

    2864 Points

  6. makhdoom ghaya

    2450 Points

  7. just_bhavana

    2136 Points

  8. Tesla!

    2042 Points

  9. stblue

    1930 Points

  10. joshi_nitish

    1686 Points


24,970 questions
32,072 answers
74,567 comments
30,150 users