Connect with us

Hi, what are you looking for?

Math For Data Science (Propositional Logic) - 3
Math For Data Science (Propositional Logic) - 3


Math For Data Science (Propositional Logic) – 3

In this tutorial we going to learn propositional logic final chapter, this write consist of quantifiers, open sentence, and truth type. This article is final for propositional logic after that we going to look at clusters, and if you don’t read the first and second article, you should read to prepare.

What Is Open Sentence?

These are propositions that contain at least one variable and that this variable affects the result. In short, the variable should affect the whole result. They can be 1, 2, or 3.

p(x): "x + 12 < 9 , x C Z"

The proposition here is wrong. The reason for this is that the given values ​​may be greater than 9 because the variable x is an integer. Let’s look at the sign of a few sets of numbers.

Z -> Integer
N -> Natural Number
R -> Reel Number
Q -> Rational numbers

Let’s practice understanding open sentences after that we going to look at quantifiers.

More Example For Open Sentence

p(x): "4x^2 + 8 > 7 , x C N"

This proposition is a correct proposition because no matter what number you bring in, the result will always be greater than 7. Remember, there are no negative numbers in the set of natural numbers.

p(y): "(y * 12) ^ 2 = 1 , x C Z"

This proposition is also true, multiplying y by 12, but if the power of all integers is 0, the result is 1.

Quantifiers In Propositional Logic

It is used to indicate the abundance of the variable brought before it, There are two types, they are as “some” and “for each”. the symbol is used for “for each”, this is used for some.

p(x): "∃x > 2 , x C Z" -> True Statement
p(y): "∀x > 2 , x C Z" -> False Statement

The reason the upper one is correct and the lower one is false, some numbers are greater than 2, but in the 2nd proposition every proposition is tried, and not every proposition is greater than 2. Let’s pass on the types of the proposition.

Types of Proposition

In this chapter we will learn about the types of correct propositions, yes you heard right, there are also types of correct propositions. We divide these types into tautology, contradiction, and contingency.

Contradiction = Propositions that are always wrong are called contradictions.
Contingency = Propositions that are neither tautological nor contradictory are called contingency.
Tautology = The proposition is always correct and is called a tautology.


Examples Types Of Propositions

p(x): "12 > 1" -> Tautology
p(y): "2 * 2 > 5" -> Contradiction
p(z): "p v q" -> Contingency

Yes, we solved our last examples and finished the subject of propositional logic. We will look at clusters in the other math tutorial.


Congratulations, You Finished To Propositional Logic In Math!

Click to comment

Leave a Reply

Your email address will not be published. Required fields are marked *

You May Also Like

Daily News

The Tokyo Institute of Technology and other organizations have announced the start of development of highly performing generative artificial intelligence using the Fugaku supercomputer,...

Daily News

Japanese researchers announced that AI ChatGPT technology has succeeded in the annual national doctor’s exam. The AI chatbot, which has advanced speech features that...


clean code is essential for updating scripts, adding new features to code, etc. So every developer, must learn how to clean the code. With...

Daily News

Cloud computing is a system that is often heard today and that most developers use at least once. In this article, we’ll look at...