Last time we talked about propositional logic, a logic on simple statements.
This time we will talk about first order logic, a logic on quantified statements.
First order logic is much more expressive than propositional logic.
The topics on first order logic are:
1-Quantifiers
2-Negation
3-Multiple quantifiers
4-Arguments of quantified statements
Knowledge representation and Predicate logicAmey Kerkar
This presentation is specifically designed for the in depth coverage of predicate logic and the inference mechanism :resolution algorithm.
feel free to write to me at : amecop47@gmail.com
A study on number theory and its applicationsItishree Dash
A STUDY ON NUMBER THEORY AND ITS APPLICATIONS
Applications
Modular Arithmetic
Congruence and Pseudorandom Number
Congruence and CRT(Chinese Remainder Theorem)
Congruence and Cryptography
Lecture slides by Mustafa Jarrar at Birzeit University, Palestine.
See the course webpage at: http://jarrar-courses.blogspot.com/2011/11/artificial-intelligence-fall-2011.html and http://www.jarrar.info
and on Youtube:
http://www.youtube.com/watch?v=v92oPUYxCQQ&list=PLCC05105BA39E9BC0
Content:
1- Mathematical proof (what and why)
2- Logic, basic operators
3- Using simple operators to construct any operator
4- Logical equivalence, DeMorgan’s law
5- Conditional statement (if, if and only if)
6- Arguments
Knowledge representation and Predicate logicAmey Kerkar
This presentation is specifically designed for the in depth coverage of predicate logic and the inference mechanism :resolution algorithm.
feel free to write to me at : amecop47@gmail.com
A study on number theory and its applicationsItishree Dash
A STUDY ON NUMBER THEORY AND ITS APPLICATIONS
Applications
Modular Arithmetic
Congruence and Pseudorandom Number
Congruence and CRT(Chinese Remainder Theorem)
Congruence and Cryptography
Lecture slides by Mustafa Jarrar at Birzeit University, Palestine.
See the course webpage at: http://jarrar-courses.blogspot.com/2011/11/artificial-intelligence-fall-2011.html and http://www.jarrar.info
and on Youtube:
http://www.youtube.com/watch?v=v92oPUYxCQQ&list=PLCC05105BA39E9BC0
Content:
1- Mathematical proof (what and why)
2- Logic, basic operators
3- Using simple operators to construct any operator
4- Logical equivalence, DeMorgan’s law
5- Conditional statement (if, if and only if)
6- Arguments
Jarrar: First Order Logic- Inference MethodsMustafa Jarrar
Lecture slides by Mustafa Jarrar at Birzeit University, Palestine.
See the course webpage at: http://jarrar-courses.blogspot.com/2011/11/artificial-intelligence-fall-2011.html and http://www.jarrar.info
and on Youtube:
http://www.youtube.com/watch?v=v92oPUYxCQQ&list=PLCC05105BA39E9BC0
I am Kennedy, G. I am a Stochastic Processes Assignment Expert at excelhomeworkhelp.com. I hold a Ph.D. in Stochastic Processes, from Indiana, USA. I have been helping students with their homework for the past 7 years. I solve assignments related to Stochastic Processes. Visit excelhomeworkhelp.com or email info@excelhomeworkhelp.com. You can also call on +1 678 648 4277 for any assistance with Stochastic Processes Assignments.
I am Humphrey J. I am a Math Assignment Solver at mathhomeworksolver.com. I hold a Master's in Mathematics, from Las Vegas, USA. I have been helping students with their assignments for the past 11 years. I solved assignments related to Math.
Visit mathhomeworksolver.com or email support@mathhomeworksolver.com. You can also call on +1 678 648 4277 for any assistance with Math Assignments.
I am Simon M. I am a Stochastic Processes Assignment Expert at statisticshomeworkhelper.com. I hold a Ph.D. in Stochastic Processes, from Texas, USA. I have been helping students with their homework for the past 7 years. I solve assignments related to Stochastic Processes. Visit statisticshomeworkhelper.com or email info@statisticshomeworkhelper.com. You can also call on +1 678 648 4277 for any assistance with Stochastic Processes Assignments.
Predicates & Quantifiers
CMSC 56 | Discrete Mathematical Structure for Computer Science
September 1, 2018
Instructor: Allyn Joy D. Calcaben
College of Arts & Sciences
University of the Philippines Visayas
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...Levi Shapiro
Letter from the Congress of the United States regarding Anti-Semitism sent June 3rd to MIT President Sally Kornbluth, MIT Corp Chair, Mark Gorenberg
Dear Dr. Kornbluth and Mr. Gorenberg,
The US House of Representatives is deeply concerned by ongoing and pervasive acts of antisemitic
harassment and intimidation at the Massachusetts Institute of Technology (MIT). Failing to act decisively to ensure a safe learning environment for all students would be a grave dereliction of your responsibilities as President of MIT and Chair of the MIT Corporation.
This Congress will not stand idly by and allow an environment hostile to Jewish students to persist. The House believes that your institution is in violation of Title VI of the Civil Rights Act, and the inability or
unwillingness to rectify this violation through action requires accountability.
Postsecondary education is a unique opportunity for students to learn and have their ideas and beliefs challenged. However, universities receiving hundreds of millions of federal funds annually have denied
students that opportunity and have been hijacked to become venues for the promotion of terrorism, antisemitic harassment and intimidation, unlawful encampments, and in some cases, assaults and riots.
The House of Representatives will not countenance the use of federal funds to indoctrinate students into hateful, antisemitic, anti-American supporters of terrorism. Investigations into campus antisemitism by the Committee on Education and the Workforce and the Committee on Ways and Means have been expanded into a Congress-wide probe across all relevant jurisdictions to address this national crisis. The undersigned Committees will conduct oversight into the use of federal funds at MIT and its learning environment under authorities granted to each Committee.
• The Committee on Education and the Workforce has been investigating your institution since December 7, 2023. The Committee has broad jurisdiction over postsecondary education, including its compliance with Title VI of the Civil Rights Act, campus safety concerns over disruptions to the learning environment, and the awarding of federal student aid under the Higher Education Act.
• The Committee on Oversight and Accountability is investigating the sources of funding and other support flowing to groups espousing pro-Hamas propaganda and engaged in antisemitic harassment and intimidation of students. The Committee on Oversight and Accountability is the principal oversight committee of the US House of Representatives and has broad authority to investigate “any matter” at “any time” under House Rule X.
• The Committee on Ways and Means has been investigating several universities since November 15, 2023, when the Committee held a hearing entitled From Ivory Towers to Dark Corners: Investigating the Nexus Between Antisemitism, Tax-Exempt Universities, and Terror Financing. The Committee followed the hearing with letters to those institutions on January 10, 202
Synthetic Fiber Construction in lab .pptxPavel ( NSTU)
Synthetic fiber production is a fascinating and complex field that blends chemistry, engineering, and environmental science. By understanding these aspects, students can gain a comprehensive view of synthetic fiber production, its impact on society and the environment, and the potential for future innovations. Synthetic fibers play a crucial role in modern society, impacting various aspects of daily life, industry, and the environment. ynthetic fibers are integral to modern life, offering a range of benefits from cost-effectiveness and versatility to innovative applications and performance characteristics. While they pose environmental challenges, ongoing research and development aim to create more sustainable and eco-friendly alternatives. Understanding the importance of synthetic fibers helps in appreciating their role in the economy, industry, and daily life, while also emphasizing the need for sustainable practices and innovation.
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Dr. Vinod Kumar Kanvaria
Exploiting Artificial Intelligence for Empowering Researchers and Faculty,
International FDP on Fundamentals of Research in Social Sciences
at Integral University, Lucknow, 06.06.2024
By Dr. Vinod Kumar Kanvaria
Acetabularia Information For Class 9 .docxvaibhavrinwa19
Acetabularia acetabulum is a single-celled green alga that in its vegetative state is morphologically differentiated into a basal rhizoid and an axially elongated stalk, which bears whorls of branching hairs. The single diploid nucleus resides in the rhizoid.
Model Attribute Check Company Auto PropertyCeline George
In Odoo, the multi-company feature allows you to manage multiple companies within a single Odoo database instance. Each company can have its own configurations while still sharing common resources such as products, customers, and suppliers.
The French Revolution, which began in 1789, was a period of radical social and political upheaval in France. It marked the decline of absolute monarchies, the rise of secular and democratic republics, and the eventual rise of Napoleon Bonaparte. This revolutionary period is crucial in understanding the transition from feudalism to modernity in Europe.
For more information, visit-www.vavaclasses.com
2. This Lecture
Last time we talked about propositional logic, a logic on simple statements.
This time we will talk about first order logic, a logic on quantified statements.
First order logic is much more expressive than propositional logic.
The topics on first order logic are:
Quantifiers
Negation
Multiple quantifiers
Arguments of quantified statements
3. Propositional logic – logic of simple statements
Limitation of Propositional Logic
How to formulate Pythagoreans’ theorem using propositional logic?
cb
a
How to formulate the statement that there are infinitely many primes?
4. Predicates are propositions (i.e. statements) with variables
x + 2 = yExample: P (x,y) ::=
Predicates
x = 1 and y = 3: P(1,3) is true
x = 1 and y = 4: P(1,4) is false
¬P(1,4) is true
The domain of a variable is the set of all values
that may be substituted in place of the variable.
When there is a variable, we need to specify what to put in the variables.
5. Set
We have not defined formally what is a set, and will do so later in the course.
For now, it is enough for our discussion to recall some well-known examples.
Z: the set of all integers
Z+
: the set of all positive integers
Z-
: the set of all negative integers
R: the set of all real numbers
Q: the set of all rational numbers
6. for ALL x∀x
The Universal Quantifier
cb
a
∀ x Z ∀ y Z, x + y = y + x.
The universal quantifier
Pythagorean’s theorem
Example:
Example:
This statement is true if the domain is Z, but not true if the domain is R.
The truth of a predicate depends on the domain.
∀ x Z+
P(x) means P(1) P(2) P(3) …Example:
7. The Existential Quantifier
∃y There EXISTS some y
.x y x y∀ ∃ <
Domain Truth value
positive integers +
integers
negative integers -
negative reals R-
T
e.g.
The truth of a predicate depends on the domain.
T
F
T
∃ y Z+
P(y) means P(1) P(2) P(3) …
8. Translating Mathematical Theorem
Fermat (1637): If an integer n is greater than 2,
then the equation an
+ bn
= cn
has no solutions in non-zero integers a, b, and c.
Andrew Wiles (1994) http://en.wikipedia.org/wiki/Fermat's_last_theorem
9. Goldbach’s conjecture: Every even number is the sum of two prime numbers.
How to write prime(p)?
Translating Mathematical Theorem
Suppose we have a predicate prime(x) to determine if x is a prime number.
11. Negations of Quantified Statements
Everyone likes football.
What is the negation of this statement?
(generalized) DeMorgan’s Law
Not everyone likes football = There exists someone who doesn’t like football.
Say the domain has only three values.
The same idea can be used to prove it for any number of variables.
12. Negations of Quantified Statements
There is a plant that can fly.
What is the negation of this statement?
Not exists a plant that can fly = every plant cannot fly.
(generalized) DeMorgan’s Law Say the domain has only three values.
The same idea can be used to prove it for any number of variables.
14. Order of Quantifiers
There is an anti-virus program killing every computer virus.
How to interpret this sentence?
For every computer virus, there is an anti-virus program that kills it.
• For every attack, I have a defense:
• against MYDOOM, use Defender
• against ILOVEYOU, use Norton
• against BABLAS, use Zonealarm …
is expensive!
15. Order of Quantifiers
There is an anti-virus program killing every computer virus.
There is one single anti-virus program that kills all computer viruses.
How to interpret this sentence?
I have one defense good against every attack.
Example: P is CSE-antivirus,
protects against ALL viruses
That’s much better!
Order of quantifiers is very important!
16. Order of Quantifiers
Let’s say we have an array A of size 6x6.
1
1 1 1
1
1 1
1
1
Then this table satisfies the statement.
17. Order of Quantifiers
Let’s say we have an array A of size 6x6.
1
1 1 1
1
1 1
1
1
But if the order of the quantifiers are changes,
then this table no longer satisfies the new statement.
18. Order of Quantifiers
Let’s say we have an array A of size 6x6.
1 1 1 1 1 1
To satisfy the new statement, there must be a row with all ones.
19. Questions
Are these statements equivalent?
Are these statements equivalent?
Yes, in general, you can change the order of two “foralls”,
and you can change the order of two “exists”.
20. More Negations
There is an anti-virus program killing every computer virus.
What is the negation of the above sentence?
For every program, there is some virus that it can not kill.
21. Exercises
1. There is a smallest positive integer.
2. There is no smallest positive real number.
In words, there is always a larger positive real number.
22. Exercises
3. There are infinitely many prime numbers.
In words, there exists a prime (first part)
and there is no largest prime (second part, similar to the previous question).
Formulating sentences using first order logic is useful in logic programming
and database queries.
24. True no matter what
• the Domain is,
• or the predicates are.
∀z [Q(z) P(z)] → [∀x.Q(x) ∀y.P(y)]
Predicate Calculus Validity
True no matter what the truth values of A and B are
( ) ( )A B B A→ ∨ →
Propositional validity
Predicate calculus validity
That is, logically correct, independent of the specific content.
25. Arguments with Quantified Statements
Universal instantiation:
Universal modus ponens:
Universal modus tollens:
26. Universal Generalization
( )
. ( )
A R c
A x R x
→
→ ∀
valid rule
providing c is independent of A
e.g. given any number c, 2c is an even number
=> for all x, 2x is an even number.
Informally, if we could prove that R(c) is true for an arbitrary c
(in a sense, c is a “variable”), then we could prove the for all statement.
Remark: Universal generalization is often difficult to prove, we will
introduce mathematical induction to prove the validity of for all statements.
27. Proof: Give countermodel, where
∀z [Q(z) P(z)] is true,
but ∀x.Q(x) ∀y.P(y) is false.
In this example, let domain be integers,
Q(z) be true if z is an even number, i.e. Q(z)=even(z)
P(z) be true if z is an odd number, i.e. P(z)=odd(z)
∀z [Q(z) P(z)] → [∀x.Q(x) ∀y.P(y)]
Valid Rule?
Find a domain,
and a predicate.
Then ∀z [Q(z) P(z)] is true, because every number is either even or odd.
But ∀x.Q(x) is not true, since not every number is an even number.
Similarly ∀y.P(y) is not true, and so ∀x.Q(x) ∀y.P(y) is not true.
28. Proof: Assume ∀z [Q(z)P(z)].
So Q(z)P(z) holds for all z in the domain D.
Now let c be some element in the domain D.
So Q(c)P(c) holds (by instantiation), and therefore Q(c) by itself holds.
But c could have been any element of the domain D.
So we conclude ∀x.Q(x). (by generalization)
We conclude ∀y.P(y) similarly (by generalization). Therefore,
∀x.Q(x) ∀y.P(y) QED.
∀z D [Q(z) P(z)] → [∀x D Q(x) ∀y D P(y)]
Valid Rule?
29. • Express (quantified) statements using logic formula
• Use simple logic rules (e.g. DeMorgan, contrapositive, etc)
• Fluent with arguments and logical equivalence
Summary
This finishes the introduction to logic, half of the first part.
In the other half we will use logic to do mathematical proofs.
At this point, you should be able to:
30. (Optional) More About Logic
Ideally, we can come up with a “perfect” logical system, which is consistent
(not having contradictions) and is powerful (can derive everything that is true).
But Gödel proved that there is no perfect logical system.
This is called the Gödel’s incompleteness theorem.
It is an important and surprising result in mathematics.
The ideas in his proof are also influential in computer
science,
to prove that certain problem is not computable,
e.g. it is impossible to write a program to check whether
another program will loop forever on a particular input
(i.e. a perfect debugger doesn’t exist).
31. Applications of Logic (Optional)
Logic programming
Database
Digital circuit
solve problems by logic
making queries, data mining