From English To Propositional Logic
From English To Propositional Logic
Science
1. Read the passage in English and determine all significant units within the
passage.
1. Identify atomic propositions
2. Determine appropriate logical connectives based on recognizable keywords in
the English sentences
2. Set a scheme of abbreviation by assigning propositional letters of PL, such as p,
q, r,… to sentences of the passage you are translating, such as “John is tall.” or
“Mary is smart.”
3. Using the translation guides (to be presented in this lecture), translate the
sentences of English into formulas of PL.
Example
(1)
a. Clint went to the Chatterbox Cafe. If (1a) is represented as p,
b. Clint did not go to the Chatterbox Then (1b) is represented
Cafe. as ¬p
c. It is not the case that CO2-emissions are
being cut.
This PPT is adapted from Scott Martin, Ohio State University and Volker
Negati
on
Negation is easy to recognize because it almost always
includes the word not or morphemes like un-, ir-, etc.
This PPT is adapted from Scott Martin, Ohio State University and Volker
Negati
on
Negation is easy to recognize because it almost always
includes the word not or morphemes like un-, ir-, etc.
This PPT is adapted from Scott Martin, Ohio State University and Volker
Negati
on
Negation is easy to recognize because it almost always
includes the word not or morphemes like un-, ir-, etc.
Step 1: Identify the main propositions: She likes coffee, She likes tea.
Step 2: Identify negation: "doesn't," "or"
Step 3: Formulate the propositional logic:
This PPT is adapted from Scott Martin, Ohio State University and Volker
Negati
on
Negation is easy to recognize because it almost always
includes the word not or morphemes like un-, ir-, etc.
This PPT is adapted from Scott Martin, Ohio State University and Volker
Negati
on
Negation is easy to recognize because it almost always
includes the word not or morphemes like un-, ir-, etc.
This PPT is adapted from Scott Martin, Ohio State University and Volker
Negati
on
Negation is easy to recognize because it almost always
includes the word not or morphemes like un-, ir-, etc.
This PPT is adapted from Scott Martin, Ohio State University and Volker
Maximum Logical
Revelation
The Principle of Maximal Logical Revelation: Always
translate to reveal as much logical structure as the taget
language allows for.
Example
Step 1: Identify the main propositions: John likes chocolate ice cream, John likes vanilla
ice cream.
Example 2: She enjoys both swimming and hiking, but she doesn’t like cycling.
Step 1: Identify the main propositions: She enjoys swimming, She enjoys hiking, She
doesn’t like cycling.
Example 4: She can play the piano, but she cannot play the guitar.
Step 1: Identify the main propositions: She can play the piano, She cannot play the
guitar.
Example 2: She will go to the concert, but only if she finishes her assignment or her friend picks her up.
The intended meaning could be either:
• G∧(F∨P) (She will go to the concert, but only if she finishes her assignment or her friend picks her up.)
• (G∧F)∨P (She will go to the concert and finish her assignment, or her friend will pick her up.)
Here, the placement of parentheses determines whether both conditions (finishing the assignment and
her friend picking her up) are necessary for her to go to the concert or if each condition can
independently lead to her attending the concert.
Complex Sentences
Example: If I eat before the movie and the movie is too long, I might fall asleep.
(E∧L)→A
(If I eat before the movie and the movie is too long, then I might fall asleep.)
E∧(L→A)
(If I eat before the movie, and if the movie is too long, then I might fall asleep.)
In the first interpretation, both conditions (eating before the movie and the movie being too long) must be
true for the possibility of falling asleep.
In the second interpretation, eating before the movie is a definite condition, and whether the movie being too
long leads to falling asleep is uncertain.
In each of these examples, adding parentheses clarifies the intended meaning, ensuring that the logical
relationships between the propositions are accurately represented.
Conjuncti
on
Both (usually together with and) can also be an indicator of
conjunction
Example
Both Chao and Fred have credit
cards
Let p = “Chao has a credit
card” Let q = “Fred has a
credit card”
Then the claim is
represented as p ∧ q
Consider the
Following
UI beat ISU in basketball, but ISU won in football.
Words like but, moreover, however also join individual claims whose truth is
asserted (i.e., they can be translated as and), but they also “shade” the
interpretation for the listener/reader.
Example
but need to distinguish between exclusive-or and
inclusive-or
Example (exclusive-or)
(3) a. You will either pass 301 or fail 301.
Let p = “You will pass Alternatively, we could infer
301” Let q = “You will that pass is the opposite of
fail 301” fail, and have a single
proposition.
Then (3a) is
represented as (p ∨ q)
∧ ¬(p ∧ q), in other
Example (inclusive-or)
words, only one of
these two propositions • In many English
(3) b. 301 is open either in Spring
can be true.
semester or Fall sentences, exclusive-or
semester. is intended
Let p = “301 is open in Spring
• However, in PL, the “or”
semester” Let q = “301 is open in connective is inclusive (so
Fall semester” the exclusion condition
Then (3b) is represented as p ∨ q, must be explicitly
in other words, both p and q can added).
This PPT is adapted from Scott Martin, Ohio State
Disjuncti
onDisjunction usually involves the word or
but need to distinguish between exclusive-or and
inclusive-or
but need to distinguish between exclusive-or and inclusive-or
Step 1: Identify the main propositions: She likes cats, She likes dogs.
Step 2: Formulate the propositional logic:
Note:
• It might be more natural to write ¬q → p (sensor not failing implies
system working).
• Since A → B is equivalent to ¬A ∨ B, so ¬q → p is
equivalent to ¬¬q ∨ p, which is equivalent to p ∨ q
Implicati
on
Implication is used to capture conditionality. The
following words can also be translated as implications:
if … then … , provided … that …, assuming, only if, given …
Example
a. Wally eats Powdermilk biscuits only if Evelyn makes Intuitively, this is actually
them. an “iff” condition, so our
English language
Let p = “Wally eats Powdermilk characterization of the
biscuits” Let q = “Evelyn makes situation is not adequate.
them” Assuming the literal
reading of the sentence
Then, intuitively, q → p is the intended one, the
b. You can login CS lab computer if you have a CS policy allows login also
account. in situations other than
having a CS account
Let p = “You can login CS lab (e.g., having an
computer” Let q = “You have a Engineering account)
CS account”
Then (4b) is represented as q → p
Adapted from Scott Martin, Ohio State
Double
implication
Double implication makes a stronger claim than the
conditional.
The following words can be translated as double
implications:
if and only if, just in case, exactly when, …
Example
¬(p ∨ q)
¬(p ∧ q)
Adapted from Scott Martin, Ohio State
Combinations of
Connectives
Example