3,367 views
1 votes
1 votes

I am try to develop a venn diagram relation between:-

Tautology/ Contradiction/ Contingency/ Satisfiability

But where I can fit the Contingency in below diagram?

I think it should be entirely in the circle of satisfiability and not intersecting with tautology circle.

Correct me if I am wrong?

1 Answer

Best answer
2 votes
2 votes

Contingencies: A compound proposition that is neither tautology nor contradiction.

but if compound is satisfiable then it may tautology or contigency...So in short, a proposition is satisfiable if there is at least one true result in its truth table, valid if all values it returns in the truth table are true.

selected by

Related questions

5 votes
5 votes
1 answer
1
hitendra singh asked Oct 22, 2018
1,891 views
State T/F:1- Every satisfiable is a contingency2- Every satisfiable is a Tautology.
1 votes
1 votes
2 answers
2
2 votes
2 votes
1 answer
3
atul_21 asked Jan 2, 2018
650 views
I tried this two times, I was getting it "Contingency" . Please check.
2 votes
2 votes
1 answer
4
VS asked Jan 11, 2018
681 views
~ $\forall$ x [ P(x) - (Q(x) v P(x) ) ]