In propositional logic, the associated conditional method is a test of validity.
This is a procedure for determining whether a propositional form is valid or not.
This method is mechanical and is based on the method truth tables, which is the explanation of all possible values \u200b\u200bof truth that can take a propositional form in accordance with the meaning of the connectives that she appear and possible values \u200b\u200bof propositional letters.
The associated conditional consists in the truth table of a conditional, resulting in the conclusion of the argument, or alleged antecedent reasoning, and the conjunction of the premises.
simply, if you get a tautology to make the truth table of a conditional reasoning associated prove the validity of this form of reasoning.
0 comments:
Post a Comment