Hi friends, in this blog we are discussing an important topic that is 'Symbolic Logic'. Symbolic Logic is a method that is used to distinguish logical expressions using symbols and variables, relatively than in ordinary language. Symbolic logic is used in removing the uncertainty. In mathematical field, so many systems of symbolic logic are mention below:
(1.) Classical propositional logic,
(2.) First-order logic,
(3.) Modal logic.
In mathematics, all the symbolic logic are divided by different symbols, or exclude the use of certain symbols. Let's see some of the symbolic logic symbols. Here we will see the basic logic symbols.
(1.) (┑): - This given symbol is known as negation.
Explanation: Let we have a statement ┑A that is true if and only if the value of 'A' is given as false.
= ┑ (┑A) ⇔ A.
(2.) (∨): - This given symbol is known as logical disjunction.
Explanation: The statement A ∨ B is true if and only if the value of 'A' and 'B' both are true, or if both are false.
(3.) (⊕): - This symbol is known as exclusive disjunction.
Explanation: let we have a given statement A ⊕ B then the condition is true if value of 'A' and
'B' are true but not both the value true.
(4.) (T): - This symbol is known as Tautology.
Explanation: Here the meaning of this symbol is A ⇒ B is always true.
(5.) (∃): - This symbol is known as existential quantification.
Explanation: let we have a given statement ∃ x A (x), it means there is at least one x such that A (x) is true.
(6.) (∃!): - This symbol is known as uniqueness quantification.
Explanation: let we have a given statement ∃! x A (x), it means there is exactly one x such that A (x) is true. Solving Differential Equations is a part of trigonometry. It includes application of derivative. To get more information then we need to follow icse syllabus 2013. It helps so much for solving the differential equation.
(1.) Classical propositional logic,
(2.) First-order logic,
(3.) Modal logic.
In mathematics, all the symbolic logic are divided by different symbols, or exclude the use of certain symbols. Let's see some of the symbolic logic symbols. Here we will see the basic logic symbols.
(1.) (┑): - This given symbol is known as negation.
Explanation: Let we have a statement ┑A that is true if and only if the value of 'A' is given as false.
= ┑ (┑A) ⇔ A.
(2.) (∨): - This given symbol is known as logical disjunction.
Explanation: The statement A ∨ B is true if and only if the value of 'A' and 'B' both are true, or if both are false.
(3.) (⊕): - This symbol is known as exclusive disjunction.
Explanation: let we have a given statement A ⊕ B then the condition is true if value of 'A' and
'B' are true but not both the value true.
(4.) (T): - This symbol is known as Tautology.
Explanation: Here the meaning of this symbol is A ⇒ B is always true.
(5.) (∃): - This symbol is known as existential quantification.
Explanation: let we have a given statement ∃ x A (x), it means there is at least one x such that A (x) is true.
(6.) (∃!): - This symbol is known as uniqueness quantification.
Explanation: let we have a given statement ∃! x A (x), it means there is exactly one x such that A (x) is true. Solving Differential Equations is a part of trigonometry. It includes application of derivative. To get more information then we need to follow icse syllabus 2013. It helps so much for solving the differential equation.
No comments:
Post a Comment