SlideShare ist ein Scribd-Unternehmen logo

Translating English to Propositional Logic

•Als PPT, PDF herunterladen•
•
Janet Stemwedel
Janet Stemwedel
Bildung
1 von 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]

Empfohlen

Propositional logic
Propositional logicPropositional logic
Propositional logicForwardBlog Enewzletter
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logicgiki67
 
Truth tables
Truth tablesTruth tables
Truth tableswalkerlj
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)D Nayanathara
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notationsNikhil Sharma
 
Logic&proof
Logic&proofLogic&proof
Logic&proofFathan Hakim
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logicJanet Stemwedel
 
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyLaguna State Polytechnic University
 

Empfohlen

Propositional logic
Propositional logicPropositional logic
Propositional logicForwardBlog Enewzletter
 
Predicate Logic
Predicate LogicPredicate Logic
Predicate Logicgiki67
 
Truth tables
Truth tablesTruth tables
Truth tableswalkerlj
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)D Nayanathara
 
Asymptotic notations
Asymptotic notationsAsymptotic notations
Asymptotic notationsNikhil Sharma
 
Logic&proof
Logic&proofLogic&proof
Logic&proofFathan Hakim
 
Syntax and semantics of propositional logic
Syntax and semantics of propositional logicSyntax and semantics of propositional logic
Syntax and semantics of propositional logicJanet Stemwedel
 
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyLaguna State Polytechnic University
 
Regular expressions
Regular expressionsRegular expressions
Regular expressionsRatnakar Mikkili
 
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
 
PROLOG: Introduction To Prolog
PROLOG: Introduction To PrologPROLOG: Introduction To Prolog
PROLOG: Introduction To PrologDataminingTools Inc
 
First order logic
First order logicFirst order logic
First order logicRushdi Shams
 
Lecture: Regular Expressions and Regular Languages
Lecture: Regular Expressions and Regular LanguagesLecture: Regular Expressions and Regular Languages
Lecture: Regular Expressions and Regular LanguagesMarina Santini
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 
Rules of inference
Rules of inferenceRules of inference
Rules of inferenceharman kaur
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical LogicJoey Valdriz
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematicsRachana Pathak
 
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
 
Regular expression to NFA (Nondeterministic Finite Automata)
Regular expression to NFA (Nondeterministic Finite Automata)Regular expression to NFA (Nondeterministic Finite Automata)
Regular expression to NFA (Nondeterministic Finite Automata)Niloy Biswas
 
Prolog basics
Prolog basicsProlog basics
Prolog basicsshivani saluja
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1Angel Martinez
 
Regular expressions
Regular expressionsRegular expressions
Regular expressionsShiraz316
 
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
 
pushdown automata
pushdown automatapushdown automata
pushdown automataSujata Pardeshi
 
Intro automata theory
Intro automata theory Intro automata theory
Intro automata theory Rajendran
 
Context free grammar
Context free grammar Context free grammar
Context free grammar Mohammad Ilyas Malik
 
Logic programming (1)
Logic programming (1)Logic programming (1)
Logic programming (1)Nitesh Singh
 
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
 

Weitere ähnliche Inhalte

Was ist angesagt?

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
 
Lecture: Regular Expressions and Regular Languages
Lecture: Regular Expressions and Regular LanguagesLecture: Regular Expressions and Regular Languages
Lecture: Regular Expressions and Regular LanguagesMarina Santini
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 
Rules of inference
Rules of inferenceRules of inference
Rules of inferenceharman kaur
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical LogicJoey Valdriz
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematicsRachana Pathak
 
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
 
Regular expression to NFA (Nondeterministic Finite Automata)
Regular expression to NFA (Nondeterministic Finite Automata)Regular expression to NFA (Nondeterministic Finite Automata)
Regular expression to NFA (Nondeterministic Finite Automata)Niloy Biswas
 
Regular expressions
Regular expressionsRegular expressions
Regular expressionsShiraz316
 
Intro automata theory
Intro automata theory Intro automata theory
Intro automata theory Rajendran
 
Logic programming (1)
Logic programming (1)Logic programming (1)
Logic programming (1)Nitesh Singh
 

Was ist angesagt? (20)

Regular expressions
Regular expressionsRegular expressions
Regular expressions
 
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
 
PROLOG: Introduction To Prolog
PROLOG: Introduction To PrologPROLOG: Introduction To Prolog
PROLOG: Introduction To Prolog
 
First order logic
First order logicFirst order logic
First order logic
 
Lecture: Regular Expressions and Regular Languages
Lecture: Regular Expressions and Regular LanguagesLecture: Regular Expressions and Regular Languages
Lecture: Regular Expressions and Regular Languages
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 
Rules of inference
Rules of inferenceRules of inference
Rules of inference
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematics
 
CMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional EquivalencesCMSC 56 | Lecture 2: Propositional Equivalences
CMSC 56 | Lecture 2: Propositional Equivalences
 
Regular expression to NFA (Nondeterministic Finite Automata)
Regular expression to NFA (Nondeterministic Finite Automata)Regular expression to NFA (Nondeterministic Finite Automata)
Regular expression to NFA (Nondeterministic Finite Automata)
 
Prolog basics
Prolog basicsProlog basics
Prolog basics
 
Chapter1p1
Chapter1p1Chapter1p1
Chapter1p1
 
Regular expressions
Regular expressionsRegular expressions
Regular expressions
 
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 Proof
 
pushdown automata
pushdown automatapushdown automata
pushdown automata
 
Intro automata theory
Intro automata theory Intro automata theory
Intro automata theory
 
Context free grammar
Context free grammar Context free grammar
Context free grammar
 
Logic programming (1)
Logic programming (1)Logic programming (1)
Logic programming (1)
 

Ähnlich wie 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
 
Lecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxLecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxHomer53
 

Ähnlich wie 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
 
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
 
Lecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxLecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptx
 

Mehr von 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
 

Mehr von 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
 

Kürzlich hochgeladen

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
 
AUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptx
AUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptxAUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptx
AUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptxiammrhaywood
 
Virtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdf
Virtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdfVirtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdf
Virtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdfErwinPantujan2
 
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
 
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSGRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSJoshuaGantuangco2
 
Culture Uniformity or Diversity IN SOCIOLOGY.pptx
Culture Uniformity or Diversity IN SOCIOLOGY.pptxCulture Uniformity or Diversity IN SOCIOLOGY.pptx
Culture Uniformity or Diversity IN SOCIOLOGY.pptxPoojaSen20
 
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
 
ACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfSpandanaRallapalli
 
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
 
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...Nguyen Thanh Tu Collection
 
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
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONHumphrey A Beña
 
Choosing the Right CBSE School A Comprehensive Guide for Parents
Choosing the Right CBSE School A Comprehensive Guide for ParentsChoosing the Right CBSE School A Comprehensive Guide for Parents
Choosing the Right CBSE School A Comprehensive Guide for Parentsnavabharathschool99
 
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfAMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfphamnguyenenglishnb
 
Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Jisc
 
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPHow to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPCeline George
 
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️9953056974 Low Rate Call Girls In Saket, Delhi NCR
 
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...JhezDiaz1
 

Kürzlich hochgeladen (20)

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
 
AUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptx
AUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptxAUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptx
AUDIENCE THEORY -CULTIVATION THEORY - GERBNER.pptx
 
Virtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdf
Virtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdfVirtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdf
Virtual-Orientation-on-the-Administration-of-NATG12-NATG6-and-ELLNA.pdf
 
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
 
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSGRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
 
Culture Uniformity or Diversity IN SOCIOLOGY.pptx
Culture Uniformity or Diversity IN SOCIOLOGY.pptxCulture Uniformity or Diversity IN SOCIOLOGY.pptx
Culture Uniformity or Diversity IN SOCIOLOGY.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
 
ACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdfACC 2024 Chronicles. Cardiology. Exam.pdf
ACC 2024 Chronicles. Cardiology. Exam.pdf
 
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
 
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
 
Raw materials used in Herbal Cosmetics.pptx
Raw materials used in Herbal Cosmetics.pptxRaw materials used in Herbal Cosmetics.pptx
Raw materials used in Herbal Cosmetics.pptx
 
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
 
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
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
 
Choosing the Right CBSE School A Comprehensive Guide for Parents
Choosing the Right CBSE School A Comprehensive Guide for ParentsChoosing the Right CBSE School A Comprehensive Guide for Parents
Choosing the Right CBSE School A Comprehensive Guide for Parents
 
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdfAMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
AMERICAN LANGUAGE HUB_Level2_Student'sBook_Answerkey.pdf
 
Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...Procuring digital preservation CAN be quick and painless with our new dynamic...
Procuring digital preservation CAN be quick and painless with our new dynamic...
 
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPHow to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERP
 
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
 
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
 

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.