1.

entail logic ⊨ is equivalent to what logic which in terms of conj and disj and not 

for example ⊨A <-> B, there is nothing in left hand side, 

2.

does it mean that it should represent Entail(_, A<->B)  where _ is wildcard? 

how to transform

Matrix([[1,0,0],[1,0,0],[0,0,0]])

to

Matrix([[0,0,0],[0,0,1],[0,0,1]])

assume input 0.567

how to get a list [5, 6, 7] or [5;6;7]?

1.which rules or theorems can guide to generate relations for words in group theory?

2.Is topological method such as complexes the direction to answer Question 1?

if there is a set of identities, such as a+b = b+a, a^2 = 2*a + 1

and one input or a few input,

how to make use of these identities to derive some output?

any algorithm can do this?