Fork me on GitHub
Math for the people, by the people.

User login

implication

Defines: 
vacuously true, implies
Synonym: 
conditional truth function
Type of Math Object: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

03B05 no label found81T70 no label found81T60 no label found

Comments

I would suggest adding "implies" to the "Other Names" section.

Subscribe to Comments for "implication"