充足理由律的公式是：A真，因为B真，并且由B必然推出A。