Complicated Methods of Logical Analysis Based on Simple Mathematics