Logical equivalence
	n Two sentences are logically equivalent iff true in same models: α ≡ ß iff α╞ β and β╞ α