- In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as “given any”, “for all”, or “for any”. It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
- Cannabis ruderalis (Wikipedia)
Cannabis ruderalis is a variety, subspecies, or species of Cannabis native to Central and Eastern Europe and Russia. It contains a relatively low quantity of psychoactive compound tetrahydrocannabinol (THC) Some scholars accept C. ruderalis as its own species due to its unique traits and phenotypes which distinguish it from C. indica and C. sativa; others debate whether ruderalis is a subdivision under C. sativa.