View Original: | Predicate logic; 2 variables; implications lattice; ordered partitions.svg (270x299) | |||
Download: | Original | Medium | Small | Thumb |
Courtesy of: | commons.wikimedia.org | More Like This | ||
Keywords: Predicate logic; 2 variables; implications lattice; ordered partitions.svg Implications between the A000629 2 6 statements with two variables in first-order logic The formulas are represented by ordered set partitions Black stands for the universal quantifier red for the existential one Inkscape own 2010 mate2code Predicate logic; 2 variables; lattice Hasse diagram Predicate logic; 2 variables; ordered partitions |