tomalator t1_ja1kg1c wrote
An equal sign is used to show a value is equal to another. 1+1=2
The equivalence sign is used to define one thing as equal to another. e is defined as (tribar symbol) lim x->infinity (1+1/x)^x
The material biconditional is the same as the equivalence sign.
The logical biconditional is just "if and only if" whatever is on one side must have the same truth value as the other side. It's essentially an equal sign for boolean values.
3neth OP t1_ja4f75f wrote
>The material biconditional is the same as the equivalence sign.
Did you read https://math.stackexchange.com/q/2432462 posted above? It, and https://math.stackexchange.com/q/2649394, disagree with you?
Viewing a single comment thread. View all comments