Difference between implies and turnstile symbols (→ and ⊢) So this would imply to me that → and ⊢ are equivalent, but it's idiomatic to use ⊢ for metamathematics, and → otherwise Or, more concretely: (A → B) → (C → D) is the same as (A → B) ⊢ (C → D), but the second option is considered more idiomatic readable as we differentiate the smaller connections from the larger ones
In Logic is ⇒, →, and ⊃ basically the same symbol? I need to create a few truth tables and I got confused by the logic symbols as some of the questions use either one or the other which is really confusing especially if they all mean the same thing