P is not equal to NP by Modus Tollens

Joonmo Kim

An artificially designed Turing Machine algorithm ${\mathbf{M}}_{}^o$ generates the instances of the satisfiability problem, and check their satisfiability. Under the assumption $\…