I have forgotten
my Password

Or login with:

  • Facebookhttp://facebook.com/
  • Googlehttps://www.google.com/accounts/o8/id
  • Yahoohttps://me.yahoo.com
MathsNotations

logics

Logic notations
+ View version details

Logic

\inline  \displaystyle X,\, Y,\, Z,\, \ldots Various propositions that are assumed to be either true or false (not both), e.g. \inline X: "the dog is an animal", \inline Y: "\inline 5 is greater than \inline 8". A true proposition is marked with a \inline T while a false one is marked with \inline F.
\inline  X \wedge Y This is a proposition called the logical conjuction of \inline X and \inline Y. It is true when both propositions are true, and false otherwise.
\begin{array}{c|c|c}  X & Y & X \wedge Y \\  \hline  T & T & T \\  F & T & F \\  T & F & F \\  F & F & F \\  \end{array}
\inline  \displaystyle X \vee Y This is a proposition called the logical disjunction of \inline X and \inline Y. It is true when either one of the propositions are true, and false otherwise.
\begin{array}{c|c|c}  X & Y & X \vee Y \\  \hline  T & T & T \\  F & T & T \\  T & F & T \\  F & F & F \\  \end{array}
\inline  \displaystyle \overline{X} This is a proposition called the logical negation of \inline X. It is true when \inline X is a false proposition, and false if \inline X is true.
\begin{array}{c|c}  X & \overline{X} \\  \hline  T & F \\  F & T \\  \end{array}
\inline  \displaystyle P(x),\, Q(x,y),\, \ldots These are called predicates and they are used to express propositions about various objects, hence they can either be true or false depending on the object in question. For example if \inline P(x) is the predicate "\inline x is a prime number", then by replacing \inline x with the value of \inline 13 we obtain \inline P(13): "\inline 13 is a prime number", thus a true proposition. However if we let \inline x be \inline 224, then the proposition \inline P(224): "\inline 224 is a prime number" is obviously false.
\inline  \displaystyle \exists x \in A: P(x) This proposition expresses the fact that there exists an object \inline x from a set \inline A of various objects, such that the predicate \inline P(x) becomes true. For example if the set of objects is \inline A = \{\,1,\, 2,\, 3,\, 4\,\} and the predicate is \inline P(x): "\inline x is even" then the following proposition is true, \inline \exists x \in A: P(x). Obviously for \inline x equal to \inline 4 the predicate \inline P(x) becomes true. The symbol \inline \exists is called the existential quantifier.
\inline  \displaystyle \forall x \in A: P(x) This proposition expresses the fact that for all objects \inline x from a set \inline A of various objects, the predicate \inline P(x) is true. For example if the set of objects is \inline A = \{\, dog, cat, rabbit, fox \inline \,\} and the predicate is \inline P(x): "\inline x is an animal" then the following proposition is true, \inline \forall x \in A: P(x). Obviously for any object \inline x in the set \inline A the predicate \inline P(x) is true. The symbol \inline \forall is called the universal quantifier.