2つの述語が同値であるとは、真理集合が一致すること