It is not the case that In logic, a true biconditional between formal definitions is precisely what identity of logical properties means; extensionality is identity here.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.