SlideShare une entreprise Scribd logo

Translating English to Propositional Logic

•Télécharger en tant que PPT, PDF•
•
Janet Stemwedel
Janet Stemwedel
Formation
1  sur  26
Translating English to Propositional Logic Phil 57 section 3 San Jose State University Fall 2010
Does order always matter? ,[object Object],[object Object],[object Object],[object Object],[object Object]
Does order always matter? ,[object Object],[object Object],[object Object],[object Object],[object Object]
Conjunction and disjunction are commutative. ,[object Object],P Q (P  Q) (Q  P) T T T T T F F F F T F F F F F F
Conjunction and disjunction are commutative. ,[object Object],P Q (P  Q) (Q  P) T T T T T F T T F T T T F F F F
Conjunction and disjunction are also associative. ,[object Object],[object Object]
With mixed operators, order does matter. ,[object Object],[object Object],[object Object],[object Object]
With mixed operators, order does matter. ,[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object]
Material conditionals and necessary conditions. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Material conditionals and necessary conditions. ,[object Object],[object Object],[object Object],P Q Q  P T T T T F T F T F F F T
Material conditionals and sufficient conditions. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Material conditionals and sufficient conditions. ,[object Object],[object Object],[object Object],P Q P  Q T T T T F F F T T F F T
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating material conditionals. Construction Translation If P, then Q (P  Q ) P, if Q ( Q  P ) P only if Q (P  Q ) Only if P, Q ( Q  P )
Translating biconditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Translating biconditionals. ,[object Object],[object Object],[object Object],[object Object],[object Object]
A biconditional is the conjunction of two material conditionals. ,[object Object],[object Object],[object Object],[object Object]
Biconditionals are commutative. ,[object Object],[object Object],[object Object],[object Object]
Biconditionals are associative. ,[object Object],[object Object],[object Object],[object Object],[object Object]
Order matters translating conditionals. ,[object Object],[object Object],[object Object],[object Object]
Order matters translating conditionals. ,[object Object],[object Object],P Q (P  Q) (Q  P) T T T T T F F T F T T F F F T T
Translating English to PL. ,[object Object],[object Object],[object Object]

Recommandé

Propositional logic
Propositional logicPropositional logic
Propositional logicForwardBlog Enewzletter
 
Logic&proof
Logic&proofLogic&proof
Logic&proofFathan Hakim
 
Formal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical EquivalenceFormal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical EquivalenceLaguna State Polytechnic University
 
Discrete math Truth Table
Discrete math Truth TableDiscrete math Truth Table
Discrete math Truth TableUniversity of Potsdam
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical LogicJoey Valdriz
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofIT Engineering Department
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDr. Khaled Bakro
 

Recommandé

Propositional logic
Propositional logicPropositional logic
Propositional logicForwardBlog Enewzletter
 
Logic&proof
Logic&proofLogic&proof
Logic&proofFathan Hakim
 
Formal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical EquivalenceFormal Logic - Lesson 5 - Logical Equivalence
Formal Logic - Lesson 5 - Logical EquivalenceLaguna State Polytechnic University
 
Discrete math Truth Table
Discrete math Truth TableDiscrete math Truth Table
Discrete math Truth TableUniversity of Potsdam
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical LogicJoey Valdriz
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofIT Engineering Department
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDr. Khaled Bakro
 
Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inferenceraksharao
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Abdullah Al Amin
 
Implication And Biconditional
Implication And Biconditional Implication And Biconditional
Implication And Biconditional VishalVishwakarma59
 
Rules of inference
Rules of inferenceRules of inference
Rules of inferenceharman kaur
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematicsUniversity of Potsdam
 
Automata theory
Automata theoryAutomata theory
Automata theoryPardeep Vats
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Ikhtiar Khan Sohan
 
Truth table
Truth tableTruth table
Truth tableAbdur Rehman
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiersallyn joy calcaben
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalencesallyn joy calcaben
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics LectureGenie Rose Santos
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logicgiki67
 
Proposition (Logic)
Proposition (Logic)Proposition (Logic)
Proposition (Logic)EFREN ARCHIDE
 
Unit I discrete mathematics lecture notes
Unit I discrete mathematics lecture notesUnit I discrete mathematics lecture notes
Unit I discrete mathematics lecture notesGIRIM8
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logicallyn joy calcaben
 
Propositional Logic and Pridicate logic
Propositional Logic and Pridicate logicPropositional Logic and Pridicate logic
Propositional Logic and Pridicate logicRoorkee College of Engineering, Roorkee
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategyallyn joy calcaben
 
Lesson 1 - Logic
Lesson 1 - LogicLesson 1 - Logic
Lesson 1 - LogicDoug Vass
 
logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etcAbdur Rehman
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsZenLooper
 

Contenu connexe

Tendances

Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inferenceraksharao
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Abdullah Al Amin
 
Rules of inference
Rules of inferenceRules of inference
Rules of inferenceharman kaur
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Ikhtiar Khan Sohan
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiersallyn joy calcaben
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalencesallyn joy calcaben
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics LectureGenie Rose Santos
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logicgiki67
 
Unit I discrete mathematics lecture notes
Unit I discrete mathematics lecture notesUnit I discrete mathematics lecture notes
Unit I discrete mathematics lecture notesGIRIM8
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logicallyn joy calcaben
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategyallyn joy calcaben
 
Lesson 1 - Logic
Lesson 1 - LogicLesson 1 - Logic
Lesson 1 - LogicDoug Vass
 

Tendances (20)

Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inference
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)
 
Implication And Biconditional
Implication And Biconditional Implication And Biconditional
Implication And Biconditional
 
Rules of inference
Rules of inferenceRules of inference
Rules of inference
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
 
Automata theory
Automata theoryAutomata theory
Automata theory
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
 
Truth table
Truth tableTruth table
Truth table
 
CMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & QuantifiersCMSC 56 | Lecture 3: Predicates & Quantifiers
CMSC 56 | Lecture 3: Predicates & Quantifiers
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
Discrete Mathematics Lecture
Discrete Mathematics LectureDiscrete Mathematics Lecture
Discrete Mathematics Lecture
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logic
 
Proposition (Logic)
Proposition (Logic)Proposition (Logic)
Proposition (Logic)
 
Unit I discrete mathematics lecture notes
Unit I discrete mathematics lecture notesUnit I discrete mathematics lecture notes
Unit I discrete mathematics lecture notes
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
Propositional Logic and Pridicate logic
Propositional Logic and Pridicate logicPropositional Logic and Pridicate logic
Propositional Logic and Pridicate logic
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
Lesson 1 - Logic
Lesson 1 - LogicLesson 1 - Logic
Lesson 1 - Logic
 

Similaire à Translating English to Propositional Logic

logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etcAbdur Rehman
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsZenLooper
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawanTouhidul Shawan
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptxRavind8
 
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Ria Micor
 
Logic Notes
Logic NotesLogic Notes
Logic Notesacavis
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdfsmarwaneid
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematicsSyed Umair
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematicsSyed Umair
 
AND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtionalAND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtionalRajon
 
Conditional statement and material implication
Conditional statement and material implicationConditional statement and material implication
Conditional statement and material implicationMajid Orakzai
 

Similaire à Translating English to Propositional Logic (20)

logic, preposition etc
logic, preposition etclogic, preposition etc
logic, preposition etc
 
Laws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applicationsLaws of Logic in Discrete Structures and their applications
Laws of Logic in Discrete Structures and their applications
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
 
Bab 1 proposisi
Bab 1 proposisiBab 1 proposisi
Bab 1 proposisi
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
Propositional logic by shawan
Propositional logic by shawanPropositional logic by shawan
Propositional logic by shawan
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
 
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction, Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
Logic (LESSON) - Truth Table, Negation, Conjunction, Dis junction,
 
Logic Notes
Logic NotesLogic Notes
Logic Notes
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
Assignement of discrete mathematics
Assignement of discrete mathematicsAssignement of discrete mathematics
Assignement of discrete mathematics
 
AND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtionalAND | OR |XOR | Conditional | Bi-condtional
AND | OR |XOR | Conditional | Bi-condtional
 
Jomer (semi final)
Jomer (semi final)Jomer (semi final)
Jomer (semi final)
 
1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
 
Logic.pdf
Logic.pdfLogic.pdf
Logic.pdf
 
Conditional statement and material implication
Conditional statement and material implicationConditional statement and material implication
Conditional statement and material implication
 
CS202Ch1.ppt
CS202Ch1.pptCS202Ch1.ppt
CS202Ch1.ppt
 
LOGIC
LOGICLOGIC
LOGIC
 

Plus de Janet Stemwedel

Climategate and scientific methodology
Climategate and scientific methodologyClimategate and scientific methodology
Climategate and scientific methodologyJanet Stemwedel
 
P160 Kuhn and his Critics
P160 Kuhn and his CriticsP160 Kuhn and his Critics
P160 Kuhn and his CriticsJanet Stemwedel
 
P160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and InductionP160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and InductionJanet Stemwedel
 
Lect10 Human Subjects: History
Lect10 Human Subjects: HistoryLect10 Human Subjects: History
Lect10 Human Subjects: HistoryJanet Stemwedel
 
Lect11 Human Subjects: Regulations
Lect11 Human Subjects: RegulationsLect11 Human Subjects: Regulations
Lect11 Human Subjects: RegulationsJanet Stemwedel
 
Lec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global IssuesLec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global IssuesJanet Stemwedel
 
Lec13 Scientific Papers and Communications
Lec13 Scientific Papers and CommunicationsLec13 Scientific Papers and Communications
Lec13 Scientific Papers and CommunicationsJanet Stemwedel
 
Lec 14 Authorship Issues
Lec 14 Authorship IssuesLec 14 Authorship Issues
Lec 14 Authorship IssuesJanet Stemwedel
 
Lec15 Patents and Intellectual Property
Lec15 Patents and Intellectual PropertyLec15 Patents and Intellectual Property
Lec15 Patents and Intellectual PropertyJanet Stemwedel
 
Lec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific DialogueLec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific DialogueJanet Stemwedel
 
Explanation classroomversion
Explanation classroomversionExplanation classroomversion
Explanation classroomversionJanet Stemwedel
 
P160 antirealismclassroomversion
P160 antirealismclassroomversionP160 antirealismclassroomversion
P160 antirealismclassroomversionJanet Stemwedel
 
P160 naturalismclassroomlect
P160 naturalismclassroomlectP160 naturalismclassroomlect
P160 naturalismclassroomlectJanet Stemwedel
 
Feminist Critiques of Science
Feminist Critiques of ScienceFeminist Critiques of Science
Feminist Critiques of ScienceJanet Stemwedel
 
P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2Janet Stemwedel
 
Kuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal ScienceKuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal ScienceJanet Stemwedel
 

Plus de Janet Stemwedel (20)

Climategate and scientific methodology
Climategate and scientific methodologyClimategate and scientific methodology
Climategate and scientific methodology
 
P160 Kuhn and his Critics
P160 Kuhn and his CriticsP160 Kuhn and his Critics
P160 Kuhn and his Critics
 
P160 Duhem and Quine
P160 Duhem and QuineP160 Duhem and Quine
P160 Duhem and Quine
 
P160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and InductionP160 Hempel, Hume, Deduction, and Induction
P160 Hempel, Hume, Deduction, and Induction
 
Lect10 Human Subjects: History
Lect10 Human Subjects: HistoryLect10 Human Subjects: History
Lect10 Human Subjects: History
 
Lect11 Human Subjects: Regulations
Lect11 Human Subjects: RegulationsLect11 Human Subjects: Regulations
Lect11 Human Subjects: Regulations
 
Lec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global IssuesLec12 Human Subjects:Global Issues
Lec12 Human Subjects:Global Issues
 
Lec13 Scientific Papers and Communications
Lec13 Scientific Papers and CommunicationsLec13 Scientific Papers and Communications
Lec13 Scientific Papers and Communications
 
Lec 14 Authorship Issues
Lec 14 Authorship IssuesLec 14 Authorship Issues
Lec 14 Authorship Issues
 
Lec15 Patents and Intellectual Property
Lec15 Patents and Intellectual PropertyLec15 Patents and Intellectual Property
Lec15 Patents and Intellectual Property
 
Lec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific DialogueLec16 International Strategies for Scientific Dialogue
Lec16 International Strategies for Scientific Dialogue
 
Explanation classroomversion
Explanation classroomversionExplanation classroomversion
Explanation classroomversion
 
P160 antirealismclassroomversion
P160 antirealismclassroomversionP160 antirealismclassroomversion
P160 antirealismclassroomversion
 
P160 naturalismclassroomlect
P160 naturalismclassroomlectP160 naturalismclassroomlect
P160 naturalismclassroomlect
 
Feminist Critiques of Science
Feminist Critiques of ScienceFeminist Critiques of Science
Feminist Critiques of Science
 
Indirect-table Analysis
Indirect-table AnalysisIndirect-table Analysis
Indirect-table Analysis
 
Truth table analysis
Truth table analysisTruth table analysis
Truth table analysis
 
P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2P160 Kuhn classroom Lecture 2
P160 Kuhn classroom Lecture 2
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Kuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal ScienceKuhn: Paradigms and Normal Science
Kuhn: Paradigms and Normal Science
 

Dernier

ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfVanessa Camilleri
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfJemuel Francisco
 
How to Add Barcode on PDF Report in Odoo 17
How to Add Barcode on PDF Report in Odoo 17How to Add Barcode on PDF Report in Odoo 17
How to Add Barcode on PDF Report in Odoo 17Celine George
 
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)lakshayb543
 
Daily Lesson Plan in Mathematics Quarter 4
Daily Lesson Plan in Mathematics Quarter 4Daily Lesson Plan in Mathematics Quarter 4
Daily Lesson Plan in Mathematics Quarter 4JOYLYNSAMANIEGO
 
Earth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice greatEarth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice greatYousafMalik24
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptxmary850239
 
4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptx4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptxmary850239
 
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptxMusic 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptxleah joy valeriano
 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Celine George
 
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...JojoEDelaCruz
 
Activity 2-unit 2-update 2024. English translation
Activity 2-unit 2-update 2024. English translationActivity 2-unit 2-update 2024. English translation
Activity 2-unit 2-update 2024. English translationRosabel UA
 
Karra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxKarra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxAshokKarra1
 
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Celine George
 
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxMULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxAnupkumar Sharma
 
Barangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptxBarangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptxCarlos105
 
Q4-PPT-Music9_Lesson-1-Romantic-Opera.pptx
Q4-PPT-Music9_Lesson-1-Romantic-Opera.pptxQ4-PPT-Music9_Lesson-1-Romantic-Opera.pptx
Q4-PPT-Music9_Lesson-1-Romantic-Opera.pptxlancelewisportillo
 
4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptx4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptxmary850239
 

Dernier (20)

ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdf
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
 
How to Add Barcode on PDF Report in Odoo 17
How to Add Barcode on PDF Report in Odoo 17How to Add Barcode on PDF Report in Odoo 17
How to Add Barcode on PDF Report in Odoo 17
 
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
 
Daily Lesson Plan in Mathematics Quarter 4
Daily Lesson Plan in Mathematics Quarter 4Daily Lesson Plan in Mathematics Quarter 4
Daily Lesson Plan in Mathematics Quarter 4
 
Earth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice greatEarth Day Presentation wow hello nice great
Earth Day Presentation wow hello nice great
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx
 
4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptx4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptx
 
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptxMusic 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17
 
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
 
Activity 2-unit 2-update 2024. English translation
Activity 2-unit 2-update 2024. English translationActivity 2-unit 2-update 2024. English translation
Activity 2-unit 2-update 2024. English translation
 
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptxYOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
 
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptxLEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
 
Karra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxKarra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptx
 
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 3 STEPS Using Odoo 17
 
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxMULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
 
Barangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptxBarangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptx
 
Q4-PPT-Music9_Lesson-1-Romantic-Opera.pptx
Q4-PPT-Music9_Lesson-1-Romantic-Opera.pptxQ4-PPT-Music9_Lesson-1-Romantic-Opera.pptx
Q4-PPT-Music9_Lesson-1-Romantic-Opera.pptx
 
4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptx4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptx
 

Translating English to Propositional Logic

  • 1. Translating English to Propositional Logic Phil 57 section 3 San Jose State University Fall 2010
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18. Translating material conditionals. Construction Translation If P, then Q (P  Q ) P, if Q ( Q  P ) P only if Q (P  Q ) Only if P, Q ( Q  P )
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.