充足理由律的公式是:(A∧(A→B))→B.