Content: |
Contents of the course include; establishment of propositions calculus, logical invariants, truth function tables, symbolic language, the logic of accuracy function, the rules of the analytical table, inspection with analytical table, the logic of quantization - the basic definitions and rules, the calculation of the value of accuracy in the logic of quantization, inspection with analytical table in the logic of quantization, the inspection, consistency, validity, equivalence, symbolization and inspection issues. |