DescriptionConcertina tesseract graph.svg Implications between the A000629(4) = 150 statements with 4 variables in first-order logic The formulas are...
DescriptionCocoon concertina square graph; 2x2 list.svg Implications between statements in predicate logic, represented by sets of logical matrices for...
DescriptionCocoon concertina square graph; negations; 2x2 list.svg Negations of the formulas in This W3C-unspecified vector image was created with Inkscape...
