Logic and Set Theory Learning

Introduction to Logic and Set Theory Learning:

Logic theory is a set of sentences in a formal language. The individual sentences of a theory are called as the theorems. A first-order theory is a set of first-order sentences. Many authors require that the theory be closed under logical consequence; a theory with this property can be called a deductive theory. Set theory is the studies of sets, which are collections of objects. Although any type of object can be collected into a set.

Having problem with Correlation Coefficient Definition keep reading my upcoming posts, i will try to help you.

Basic operations of logic and set theory learning


Union in Set theory Learning:
If A and B are different sets then union of A and B denoted as A U B.

For example {3, 4, 5} and {6, 7, 8} is the set {3, 4, 5, 6, 7, 8.

Intersection in Set theory Learning:
If A and B are different sets then intersection of A and B denoted as A n B.

For example {3, 4, 5} and {6, 4, 3} is the set {3, 4}.

Complement in Set theory Learning:
If A and B are different sets then A relative to set b, denoted Ac.

For example complement of {3, 4, 5} relative to {6, 4, 3} is {6}.

Symmetric difference in Set theory Learning:
If A and B are different sets then member of exactly one of A and B.

For example complement of {3, 4, 5} relative to {6, 4, 5} is {3, 6}.

Is this topic math problems 3rd grade hard for you? Watch out for my coming posts.

logic and set theory learning


Negation (NOT) ˜ p in logic learning:
If value of proposition is true then transform into false and vice versa.

Disjunction (OR) p v q in logic learning:
If two propositions are false then the result is false otherwise true.

Conjunction (AND) p ^ q in logic learning:
If two propositions are true then result is true otherwise false.

Conditional (IF…THEN…) p?q in logic learning :
Truth of the proposition p is sufficient to truth of proposition q.

Biconditional (IF AND ONLY IF) p?q in logic learning:
p is sufficient condition for q. q is necessary for p. Unless q not p. Not p unless q. Not p without q.

No comments:

Post a Comment