This document provides information about symbolic logic, including:
1. It defines propositions as statements that are either true or false, and assigns them the truth values of TRUE or FALSE.
2. It gives examples of propositions and non-examples, and asks the reader to determine if certain statements are propositions.
3. It introduces propositional variables, logical connectives like "and" and "or", and truth tables to evaluate compound propositions formed from variables and connectives.
Lecture slides for an undergraduate class on Philippine Politics and Governance I taught between 2003 and 2005. These slides deal with the concept of political culture, borrowing heavily from David Wurfel's study of the Philippines'.
Slides were prepared using Powerpoint XP.
~~~~~~~~~~~~~~~~
http://brianbelen.blogspot.com
http://brianbelen.wordpress.com
Top 10 validation interview questions with answerslibbygray000
In this file, you can ref interview materials for validation such as, validation situational interview, validation behavioral interview, validation phone interview, validation interview thank you letter, validation interview tips …
Lecture slides for an undergraduate class on Philippine Politics and Governance I taught between 2003 and 2005. These slides deal with the concept of political culture, borrowing heavily from David Wurfel's study of the Philippines'.
Slides were prepared using Powerpoint XP.
~~~~~~~~~~~~~~~~
http://brianbelen.blogspot.com
http://brianbelen.wordpress.com
Top 10 validation interview questions with answerslibbygray000
In this file, you can ref interview materials for validation such as, validation situational interview, validation behavioral interview, validation phone interview, validation interview thank you letter, validation interview tips …
IoT, Zeno's Paradox, Reductio Ad Absurdum, and Driving Fast 04092014Joseph Biron
IoT is becoming many different things to different people. For some, instead of IoT's uprising being a motivator, it is causing analysis paralysis.
This presentation is meant to be a confidence pill for those afflicted with this paralysis.
IoT has been happenin'. Your competition is doing it. Get off your butt and take the first step.
From the April 2014 IoT Meetup in Boston, MA.
This is the second part of the lesson "Reference and Meaning" in Philosophy of Language. The thoughts of John Stuart Mill is discussed in these slides. The reference for this material is " Philosophy of Language" by Hornsby and Longworth.
The slides aim to train members of Ateneo Debate Union to detect fallacies in argumentation. It is the hope that this would enhance their case construction skills. The principles used borrows heavily from logic.
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...Ashish Duggal
The following are the topics in this presentation Prepositional Logic (PL) and First-order Predicate Logic (FOPL) is used for knowledge representation in artificial intelligence (AI).
There are also sub-topics in this presentation like logical connective, atomic sentence, complex sentence, and quantifiers.
This PPT is very helpful for Computer science and Computer Engineer
(B.C.A., M.C.A., B.TECH. , M.TECH.)
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
Read| The latest issue of The Challenger is here! We are thrilled to announce that our school paper has qualified for the NATIONAL SCHOOLS PRESS CONFERENCE (NSPC) 2024. Thank you for your unwavering support and trust. Dive into the stories that made us stand out!
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.
2024.06.01 Introducing a competency framework for languag learning materials ...Sandy Millin
http://sandymillin.wordpress.com/iateflwebinar2024
Published classroom materials form the basis of syllabuses, drive teacher professional development, and have a potentially huge influence on learners, teachers and education systems. All teachers also create their own materials, whether a few sentences on a blackboard, a highly-structured fully-realised online course, or anything in between. Despite this, the knowledge and skills needed to create effective language learning materials are rarely part of teacher training, and are mostly learnt by trial and error.
Knowledge and skills frameworks, generally called competency frameworks, for ELT teachers, trainers and managers have existed for a few years now. However, until I created one for my MA dissertation, there wasn’t one drawing together what we need to know and do to be able to effectively produce language learning materials.
This webinar will introduce you to my framework, highlighting the key competencies I identified from my research. It will also show how anybody involved in language teaching (any language, not just English!), teacher training, managing schools or developing language learning materials can benefit from using the framework.
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.
How to Make a Field invisible in Odoo 17Celine George
It is possible to hide or invisible some fields in odoo. Commonly using “invisible” attribute in the field definition to invisible the fields. This slide will show how to make a field invisible in odoo 17.
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.
Honest Reviews of Tim Han LMA Course Program.pptxtimhan337
Personal development courses are widely available today, with each one promising life-changing outcomes. Tim Han’s Life Mastery Achievers (LMA) Course has drawn a lot of interest. In addition to offering my frank assessment of Success Insider’s LMA Course, this piece examines the course’s effects via a variety of Tim Han LMA course reviews and Success Insider comments.
2. SYMBOLIC LOGIC
Definition
An assertion is a statement. A proposition is a
statement which is either true or false. If a
proposition is true we assign the truth value
“TRUE” to it. If a proposition is false, we assign the
truth value “FALSE” to it. We will denote by “T” or
“1”, for the truth value TRUE and by “F" or “0” for
the truth value FALSE.
3. SYMBOLIC LOGIC
Examples
The following are examples of propositions:
1. 2 > 4
2. The billionth prime, when written in base 10,
ends in a 3.
3. All men are mortals.
4. 9 is a prime number.
4. SYMBOLIC LOGIC
Non-Examples
The following are non-examples of propositions:
1. x < y
2. Factor 푥2 + 2푥 + 1.
3. 푥 = 10
4. How old are you?
5. *Decide whether the following are propositions or
not:
SYMBOLIC LOGIC
1. 23 = z
2. 10 – 7 = 3
3. 5 < 27
4. All women are mammals.
5. Where do you live?
6. SYMBOLIC LOGIC
Definition
A propositional variable, denoted by 푃, 푄, 푅 …
denotes an arbitrary proposition with an
unspecified truth value.
A propositional variable is a variable that
represents a proposition.
8. SYMBOLIC LOGIC
Definition
Given two propositional variables 푃 and 푄. These two
propositional variables maybe combined to form a
new one. These are combined using
the logical operators or logical connectives : “and”,
“or” or “not”.
9. SYMBOLIC LOGIC
These new proposition are:
1. (Conjunction of P and Q) P and Q, denoted by 푃 푄;
2. (Disjunction of P and Q) P or Q, denoted by 푃 푄;
3. (Negation of P) not P, denoted by ¬ 푃.
Truth Tables
푃 ¬ 푃
1 0
0 1
푃 푄 푃 푄 푃 푄
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 0
Note: Other books represent the negation of P as ~P.
10. SYMBOLIC LOGIC
Inclusive and exclusive disjunction:
1. Inclusive disjunction denoted by 푃 푄 is True when either
or both of the disjuncts are True.
2. Exclusive disjuction denoted by P ⋁ Q is True when only
one of the disjuncts is true and the other is false.
Truth Table:
푃 푄 푃 푄 P ⋁ Q
1 1 1 0
1 0 1 1
0 1 1 1
0 0 0 0
12. SYMBOLIC LOGIC
Definition
The proposition “P implies Q”, denoted by 푃⟹Q is called an
implication.
The operand P is called the hypothesis, premise or antecedent
while the operand Q is called the conclusion or the
consequence
푃 푄 푃⟹Q
0 0 1
0 1 1
1 0 0
1 1 1
13. SYMBOLIC LOGIC
Definition
Given the implication 푃⟹Q , its converse is 푄⟹P , its inverse
is¬푃⟹¬Q, and its contrapositive is ¬푄⟹¬P .
The operand P is called the hypothesis, premise or antecedent
and the operand Q is called the conclusion or the consequence
푃 푄 푃⟹Q ¬푃⟹¬Q 푄⟹P ¬푄⟹¬P
0 0 1 0 1 1
0 1 1 0 0 1
1 0 0 1 1 0
1 1 1 0 1 1
14. SYMBOLIC LOGIC
Definition
A biconditional proposition is expressed linguistically by
preceding either component by ‘if and only if ’.
The truth table for a biconditional propositional form,
symbolised by P ⟷ Q is shown below.
푃 푄 P ⟷ Q
0 0 1
0 1 0
1 0 0
1 1 1
16. SYMBOLIC LOGIC
Definition
A propositional form is an assertion which contains at least
one propositional variable and maybe generated by the
following rules:
1. A propositional variable standing alone is a propositional
form;
2. If P is a propositional form, then Q is also a propositional
form;
3. If P and Q are propositional forms, then 푃 푄, 푃 푄, 푃 ⟺ 푄
are propositional forms;
4. A string of symbols containing propositional variables,
connectives and parentheses is a propositional form if and
only if it can be obtained by infinitely many applications of
rules (1.); (2.) or (3.) above.
17. Definition
Let X be a set of propositions.
A truth assignment (to X) is a function : X {true, false} that
assigns to each propositional variable a truth value. (A truth
assignment corresponds to one row of the truth table.
If a truth value of a compound proposition under truth
assignment is true, we say that satisfies P, otherwise we say
that falsifies P.
A tautology is a propositional form where every truth assignment
satisfies P, i.e. All entries of its truth table are true.
A contradiction or absurdity is a propositional form where every
truth assignment is false;
A contingency is a propositional form that is neither tautology nor
contradiction.
18. Examples:
P V P is a tautology.
P P is a contradiction.
For each of the following compound propositions determine if it is
a tautology, contradiction or contingency:
1. (p v q) p q
2. P v q v r v (p q r)
3. (p q) (p v q)
20. SYMBOLIC LOGIC
Definition
A logically equivalent propositional form have identical values
for each assignment of the truth values to their component
propositional variables.
We can denote the logical equivalent variables P and Q as:
푃 ⟺ 푄
or
푃 ≡ 푄
(푥 + 2)2 and 푥2 + 4푥 + 4 are regarded as equivalent algebraic
expressions.
21. Example
Show that P ⟹ Q and ¬P ⋁ Q are logically equivalent
propositional forms.
푃 푄 P ⟹ Q ¬P ¬P ⋁ Q
0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 1 0 1
P ⟹ Q and ¬P ⋁ Q are logically equivalent propositional forms.
SYMBOLIC LOGIC
22. Example
Given the propositional forms Q ⋁ ¬P, ¬Q ⟹ ¬P and ¬P ⋀ ¬Q,
between which pairs of these forms does the relation logical
equivalence exist?
푃 푄 ¬P ¬Q Q ⋁ ¬P ¬Q ⟹ ¬P ¬P ⋀ ¬Q,
0 0 1 1 1 1 0
0 1 1 0 1 1 0
1 0 0 1 0 0 0
1 1 0 0 1 1 1
¬Q ⟹ ¬P and ¬P ⋀ ¬Q are logically equivalent
SYMBOLIC LOGIC
23. The following are logical identities or rules of replacement.
SYMBOLIC LOGIC
30. SYMBOLIC LOGIC
Definition
An argument is a collection of propositions wherein it is
claimed that one of the propositions, called the conclusion,
follows from the other propositions, called the premise of the
argument. the conclusion is usually preceded by such words as
therefore, hence, then, consequently.
Classification of Arguments:
1. Inductive argument is an argument where it is claimed
that within a certain probability of error, the conclusion
follows from a premise; and
2. Deductive argument is an argument where is it claimed
that the conclusion absolutely follows from the premise.
31. A deductive argument is said to be valid if whenever
the premises are all true, then the conclusion is also
true. In other words if 푃1, 푃2, … 푃푛 are premises and Q
is the conclusion of the argument
푃1 푎푛푑 푃2, 푎푛푑 … 푃푛 therefore Q is valid if and only if
the corresponding prepositional form
SYMBOLIC LOGIC
(푃1 푃2 … 푃푛) ⟹ 푄,
is a tautology. Otherwise, the argument is invalid.
32. To show that an argument is invalid, we have to show
an instance where the conclusion is false and the
premises are all true.
Show that the following argument is invalid using
Truth Table.
SYMBOLIC LOGIC
33. To show the validity of arguments, we may use
the truth table. However, this method is
impractical specially if the argument contains
several propositional variables. A more
convenient method is by deducing the
conclusion from the premises by a sequence of
shorter, more elementary arguments known to
be valid.
SYMBOLIC LOGIC
38. Construct a formal proof of validity of the following
arguments:
a) Jack is in Paris only if Mary is in New York. Jack is
in Paris and Fred is in Rome. Therefore, Mary is in
New York.
b) If Mark is correct then unemployment will rise
and if Ann is correct then there will be a hard
winter. Ann is correct. Therefore unemployment
will rise or there will be a hard winter or both.
SYMBOLIC LOGIC
39. SYMBOLIC LOGIC
Solution for (a):
J: Jack is in Paris.
M: Mary is in New York.
F: Fred Is in Rome.
The premises of the argument are J ⟹ M and J ⋀ F. The
conclusion is M.
1. J ⟹ M (premise)
2. J ⋀ F (premise)
3. J (2. Simp)
4. M (1, 3. MP)
40. SYMBOLIC LOGIC
Solution for (b):
M: Mark is correct.
U: Unemployment will rise.
A: Ann is correct.
H: There will be a hard winter.
The premises of the argument are: (M ⟹ U) ⋀ (A ⟹ H) and A. The
conclusion is: U ⋁ H.
1. (M ⟹ U) ⋀ (A ⟹ H) (premise)
2. A (premise)
3. (A ⟹ H) ⋀ (M ⟹ U) (1. Comm)
4. A ⟹ H (3. Simp)
5. H (4, 2. MP)
6. H ⋁ U (5. Add)
7. U ⋁ H (6. Comm)
41. SYMBOLIC LOGIC
Alternative Solution for (b):
M: Mark is correct.
U: Unemployment will rise.
A: Ann is correct.
H: There will be a hard winter.
The premises of the argument are: (M ⟹ U) ⋀ (A ⟹ H) and A. The
conclusion is: U ⋁ H.
1. (M ⟹ U) ⋀ (A ⟹ H) (premise)
2. A (premise)
3. A ⋁ M (2. Add)
4. M ⋁ A (3. Comm)
5. U ⋁ H (1, 4. CD)
43. Definition
A conditional proof is a method of formal proof which is
particularly useful in establishing the validity of an
argument. The argument has a conclusion which can be
expressed as a conditional proposition.
Consider an argument form with premises p1, p2,…,pn and
conclusion q r. Note that this argument form is valid
if and only if (p1 p2…pn ) (q r).
Now the exportation replacement rule states that
p (q r) (p q) r.
So that the validity of the condition
(p1 p2…pn ) (q r) is a tautology can be replaced by
(p1 p2…pn q) r is a tautology.
44. SYMBOLIC LOGIC
Example
Prove the validity of the following arguments using the method
of conditional proof.
1. If we have a party then we’ll invite Lana and Bob. If we invite
Lana or Bob then we must invite Jake. Therefore if we have a
party then we must invite Jake.
Solution
We symbolize the following simple propositions:
P: We have a party B: We’ll invite Bob.
L: We’ll invite Lana. J: We must invite Jake.
45. SYMBOLIC LOGIC
(Continued)
The premises of the argument are:
P ⟹ (L ⋀ B) and (L ⋁ B) ⟹ J
The conclusion is the conditional P ⟹ J.
Proof:
1. P ⟹ (L ⋀ B) (premise)
2. (L ⋁ B) ⟹ J (premise)
3. P (CP)
4. L ⋀ B (1, 3. MP)
5. L (4. Simp)
6. L ⋁ B (5. Add)
7. J (2, 6. MP)
8. P ⟹ J (3 – 7. CP)
46. SYMBOLIC LOGIC
Example
2. If we invite Lana then Jake will sulk, and if we invite Bob then
Alice will leave. So if we invite Lana and Bob then Jake will sulk
and Alice will leave.
Solution
We symbolize the following simple propositions:
L: We invite Lana. B: We invite Bob.
J: Jake will sulk. A: Alice will leave.
The premise of the argument is: (L ⟹ J) ⋀ (B ⟹ A)
and the conclusion is (L ⋀ B) ⟹ (J ⋀ A).
47. SYMBOLIC LOGIC
Solution
Proof:
1. (L ⟹ J) ⋀ (B ⟹ A) (premise)
2. L ⋀ B (CP)
3. L ⟹ J (1. Simp)
4. (B ⟹ A) ⋀ (L ⟹ J) (1. Com)
5. B ⟹ A (4. Simp)
6. L (2. Simp)
7. J (3, 6. MP)
8. B ⋀ L (2. Com)
9. B (8. Simp)
10. A (5, 9. MP)
11. J ⋀ A (7, 10. Conj)
12. (L ⋀ B) ⟹ (J ⋀ A) (2 – 11. CP)