DescriptionConcertina square graph.svg Implications between the A000629(2) = 6 statements with two variables in first-order logic The formulas are represented...
DescriptionCocoon concertina square graph.svg Implications between statements with two variables in first-order logic, represented by ordered partitions...
DescriptionCocoon concertina square graph; pairs.svg Implications between statements with two variables in first-order logic The content of represented...
DescriptionConcertina square graph; pairs.svg Implications between the A000629(2) = 6 statements with 2 variables in first-order logic This W3C-unspecified...
DescriptionCocoon concertina square graph; matrix sketches.svg Implications between statements with two variables in first-order logic, represented by...
DescriptionConcertina square graph; matrix sketches.svg Implications between the A000629(2) = 6 statements with two variables in first-order logic, represented...
DescriptionCocoon concertina square graph; matrix sketches (deutsch).svg Implikationen zwischen Sätzen der Prädikatenlogik mit zwei Variablen, repräsentiert...
DescriptionCocoon concertina square graph; 3x3 list.svg Implications between statements in predicate logic, represented by sets of logical matrices for...
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; matrix sketches.svg Negations of formulas in Date 2013 Source Own work Author Permission (Reusing...