###### DEFINITION OF LOGIC IN MATHEMATICS

Logic in mathematics is a very interesting topic. It will enhance your thinking ability in solving mathematics problems. From this article, you will learn some simple logical statements, the five operators of logic, and the truth table of all these operators. Let’s start with the definition of logic and compare it with logic in mathematics.

Logic is the science of thinking about or explaining the reason for something. Logic affords one the ability to express ideas clearly and concisely and to view arguments intelligently and critically. On the other hand, mathematics logic can be defined as the study of the relationship between certain ideal objects such as numbers, functions, geometrical figures, etc. The next paragraph will explain what simple logical statements are and how to identify them.

###### SIMPLE LOGICAL STATEMENTS

Statements are verbal or written declarations or assertions. The logical property of a statement is that it is either true or false, but not both. So a logical statement is a statement that is either reasonably true or false but not both.

There are logical statements and non-logical statements. The following are examples of logical statements:

- Ghana is in Africa;
- Abuja is the capital of Nigeria;
- 6 + 3 =10;
- etc.

The above list can be compared with the following which is non-logical statements:

- What is your name?
- Where is he?
- What a great day!

From the above examples, we have seen that questions, exclamations, commands, and expressions of feelings that cannot be either true or false are not logical statements. Since every logical statement is either true or false, a true statement is said to have a truth value true, abbreviated as “T”, while a false statement has a truth value false, abbreviated as “F”.

We usually use the letters , , and, to denote logical statements. For example,

- : the USA is in Asia;
- : ghana is in Africa;
- : 6 + 2 = 8

Here and are true statements, therefore have truth values, T. While is a false statement and has a truth value, F. So for every logical statement, there are two possible truth values, T or F.

###### FIVE LOGIC OPERATORS IN MATHEMATICS

The following are five main operators of logic in mathematics:

- Negation;
- Conjunction;
- Disjunction;
- Implications (or Conditional Statements) and
- Bi – Implications (Bi – Conditional Statements)

From the list of operators above, two to five are called compound statements. They can be combined by words like ‘or, and, if and, then, etc. to form a combined statement. In the next few paragraphs, we will discuss the various logic operators with examples and truth tables.

###### NEGATION OF LOGICAL STATEMENT ()

The negation of a logical statement ‘‘ is the statement “Not ” denoted symbolically by “ p”. So if a statement is true, then is false and if is false, is true. for example, If is the statement “Ghana is in Africa” then is the statement “Ghana is not in Africa”.

So if a statement is true, then is false and if is false, is true. The truth table for and is shown below:

The next logic operator we want to discuss is the first among the compound logical statement operator. It is the conjunction.

###### CONJUNCTION OF LOGICAL STATEMENTS (∧, AND)

Any two simple statements , , can be combined by the word “and” to form a compound statement “ and ” called the conjunction of , and it is denoted symbolically by ∧ . For example, let be ” The day is bright” and be ” so the sun will rise” then ∧ is the statement “the day is bright and so the sun will rise”.

The symbol “∧” can be used to define the** intersection** of two sets A and B as follows : A ∩ B= { : ∈ A ∧ ∈ B}

The truth table value of ∧ is shown below:

**In summary,** from the table above, ∧ is only True if statement and statement is true.

We are going to consider the disjunction of logical statement which is also part of compound logical statements .

###### DISJUNCTION OF LOGICAL STATEMENTS (∨, OR)

Any two simple statements , can be combined by the word “or” to form a new statement “ or ” called disjunction of , and written symbolically as ∨ . For example, let be “Ade studied English” and be “James studied Biology” then ∨ is is the statement “Ade studied English or James studied Biology”.

The symbol can also be used to determine the **Union** of two sets A and B: A ∪ B= { : ∈ A ∨ ∈ B}

Using the same logical statements used above, the truth table disjunction of logical statements ( ∨ ) is:

**In Summary,** from the truth table, ∨ is only FALSE if and are false, otherwise it will be TRUE.

The next, we will look at the conditional statement (Implications). This is also part of compound logical statements.

###### CONDITIONAL STATEMENT (IMPLICATIONS) (IF, THEN, →)

Are logical statements with antecedent and consequence. it is denoted by . The “If” statement (i.e ) is called the antecedent, while the “then” statement (i.e. ) is called the consequent. For example, let be “She leaves early and ‘She will meet the prince” then is the statement “if She leaves early, then she will meet the Prince”.

The truth table for conditional statement is as shown below:

**In summary**, from the table above, is only FALSE, if is true and false.

We will consider other aspect of conditional statements, which are the converse of a conditional statement, inverse of a conditional statement and the contrapositive of a conditional statement.

**Converse of a Conditional Statement**: Given the conditional statement , then the**converse**of is the statement . For example, let be “Bola is a good girl” and be , then will be the statement “If Bola is a girl then “. The Converse is a statement “If then Bola is a girl”.**Inverse of a Conditional Statement**: The inverse of is the statement . Using the and statements above as example, the inverse of is the statement “If Bola is not a girl then .-
**Contrapostive of a Conditional Statement**: The contrapositive statement of is (i.e. the converse of the inverse). Also using the statement of and above, the contrapositive of is the statement “If then Bola is not a girl”.

The summary of all aspect of conditional statements in shown in the table below:

###### BI – CONDITIONAL STATEMENTS (EQUIVALENCE) (IF AND ONLY IF, )

They are statements of the form “ if and only if”. It is the combination of two conditional statements and so it is bi-conditional or equivalence statement. It is denoted by the symbol, . For example, let be “America is a rich Country” and be ““, then is the statement “America is a rich Country if and only if ““.

The truth table for bi-conditional statements is as shown below:

**In summary**, from the table above, is TRUE, if and are both true or both false. Otherwise it is FALSE.

From our discussion so far, we have seen that the simple and concise way of determining the real values of both negation statements and all compound statements is usually by constructing the truth table of the statements. Let us consider some examples on this topic. Some of these examples you will most likely see in your examinations if you are sitting for WASSCE or GCE conducted in Nigeria and some West Africa countries. Desire to get past questions and answers? Get JAMB past question and answer with keynotes,

###### LOGIC IN MATHEMATICS EXAMPLES

Let us consider some examples on this topic. We will look at two video examples and one practical example. After considering this examples, try doing the quizzes in the worksheet. Click HERE to download the worksheet.

**Sample 1**: Construct the truth table of () ∧ ().

Before we start constructing the truth table, let us first understand the logical symbols we are asked to work with in this question.

Firstly we are given the Conjunction of logical statement which is denoted by the logical and “∧” and the conditional or implication of logical statement which is denoted by “→”.

Secondly, lets consider under what condition they can be True or False. In this regard, we should note that:

- From the Conditional statement is only FALSE if is true and is false, otherwise, it will be TRUE;
- For Conjunction of logical statement, ∧ is only TRUE if and is true, otherwise it will be FALSE.

Now with this information, let’s draw the truth table:

**Sample 2**: Confirm if then Conditional Statement (Implication) is equivalent to .

Watch the video below for the solution to this question.

**Sample 3**: Let be “The weather is cold” and let be “The sun is shining”. Give a simple verbal statement which describe the logic ∧ .

Watch the video below for the solution to this question.

For more questions on logic in mathematics, click HERE to download the logic in mathematics pdf worksheet. Try the quizzes so as to master all you have learnt in this article.

In conclusion, we have learnt that simple logical statements is a statement that is either reasonably “true” or “false” but not both, also denoted by , and , and above all, we have seen that any two simple logical statements, can form a compound statement and lots more.

###### FOR MORE INFORMATION

**Thanks for reading this mathematics article, hope it was educative. if you desire to write to Us or comment on this article, we do appreciate hearing from you!** Click HERE to join our discussion forum. In addition, click the various links below to follow and subscribe to our various social media handles.

**Join our over 20,000+ readers to receive articles on mathematics. **T**o get information on Website design, Digital Marketing, External Examinations in Nigeria, and lots more? Visit our blog page to read articles on these and lots mor**e.