Mention the concept of the case, the mathematical operation, and the open sentences. Distinguish between the main conjunction and other subsidiary conjunctions in the same case. Infer the sufficient and necessary condition of the conditional and the conditional double case. Apply the principle of inference and the principle of compensation and find complements to cases. Distinguish between restricted variables and free variables. Distinguish between types of logical argument in terms of being true or false. It uses the methods of mathematical proof both according to the operative and the data. Applying and generalizing the principle of mathematical inference. A counterexample is used in the absence of proof. Linking the types of proofs used in proof and distinguishing between direct proof and formal proof. Generalizing the rules of mathematical reasoning on functions and propositions.
Intended learning outcomes
Mention the concept of the case, sentence, and argument in a correct manner. Enumerate the conjunctions and the reasons for their uses accurately. Describe the condition in the conditional case and the double conditional clearly. Explain the rules of mathematical reasoning easily. Know the logical argument and variables easily. Explain the cases and logical functions in a correct manner. Describe the types Accurately open arguments and sentences. Distinguish between simple and complex propositions in a correct manner. Distinguish between restricted and free variables easily. Compare methods of proof and methods of inference. Analyze what is given in a logical case and put solutions and proposals for it with ease. Criticize the steps of mathematical proof using clear and sound methods and alternatives. ., he draws generalizations that link issues to facilitate dealing with them, he solves exercises using different types of mathematical proof correctly.
