point
[1] when logic A => connection => logic C, connection should be true.
[2] some of logics ensure logical connection within logic.
[3] logic of connection of logics are not change true or not true though important at certification.
[2] some of logics ensure logical connection within logic.
[3] logic of connection of logics are not change true or not true though important at certification.
anserer777
