696 views
1 votes
1 votes

Whether following statement is correct?

Every satisfiable is not tautology.

I am reading it as:-

1st way :- If it is satisfiable then it is not tautology. So it should be false

2nd way:- It is same as saying that every satisfiable is not tautology because there are some satisfiable which are not tautologies as they are contingencies.

Please clarify which is correct and why?

2 Answers

5 votes
5 votes
Case 1: If for all the assignment to proposition variable if you get TRUE always then it is SATISFIABLE as well as TAUTOLOGY.

Case 2: If for any assignment to proposition variable if you get TRUE then it is SATISFIABLE but not TAUTOLOGY.

So statement "EVERY SATISFIABLE IS NOT TAUTOLOGY" True
1 votes
1 votes
>tautology means if there all true results in its truth table

>contradiction means if there all false results in its truth table

>contingencies proposition that is neither tautology nor contradiction(at least one value is true and atleast one false value)
a proposition is satisfiable if there is at least one true result in its truth table. so if any preposition is satisfy tautology or contigency then it is satisfiable,

Related questions

2 votes
2 votes
2 answers
2
rahul sharma 5 asked Nov 16, 2017
1,183 views
Consider $F(P), Q(P), L(P)$ denotes statements “Printer $P$ is out of service”, “Print job $P$ is queued” and “Print job $P$ is lost” respectively. Then state...
1 votes
1 votes
2 answers
3