1. LogiqueDouble affirmation (à la fois A et non-A).D’ordinaire, le tétralemme est présenté dans l’ordre 1. affirmation (A) ; négation (non-A) ; biaffirmation (à la fois A et non-A) ; binégation (ni A ni non-A). Pour Yamauchi, dans cet ordre-là, le tétralemme ne mène à rien. Il faut placer la binégation en 3e lemme, car elle est décisive.