Relation between Tautology/ Contradiction/ Contingency/ Satisfiability

Question

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?

Answer 1

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.

Comments

Your diagram suggests that there exists a proposition that is Satisfiable but neither Contingency nor Tautology. I think Satisfiable consists of two disjoint sets namely Contingency and Tautology. It's should be like this