SlideShare a Scribd company logo

Translating English to Propositional Logic

•Download as PPT, PDF•
•
Janet Stemwedel
Janet Stemwedel
Education
1 of 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]

Recommended

Propositional logic
Propositional logicPropositional logic
Propositional logicForwardBlog Enewzletter
 
Regular Languages
Regular LanguagesRegular Languages
Regular Languagesparmeet834
 
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 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
 
Turing Machine
Turing MachineTuring Machine
Turing MachineRajendran
 
CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inferenceallyn joy calcaben
 
Truth table
Truth tableTruth table
Truth tableAbdur Rehman
 
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
 

Recommended

Propositional logic
Propositional logicPropositional logic
Propositional logicForwardBlog Enewzletter
 
Regular Languages
Regular LanguagesRegular Languages
Regular Languagesparmeet834
 
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 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
 
Turing Machine
Turing MachineTuring Machine
Turing MachineRajendran
 
CMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of InferenceCMSC 56 | Lecture 4: Rules of Inference
CMSC 56 | Lecture 4: Rules of Inferenceallyn joy calcaben
 
Truth table
Truth tableTruth table
Truth tableAbdur Rehman
 
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
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Abdullah Al Amin
 
Truth table
Truth tableTruth table
Truth tableLiwayway Memije-Cruz
 
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
 
Intro to Discrete Mathematics
Intro to Discrete MathematicsIntro to Discrete Mathematics
Intro to Discrete Mathematicsasad faraz
 
TOC 3 | Different Operations on DFA
TOC 3 | Different Operations on DFATOC 3 | Different Operations on DFA
TOC 3 | Different Operations on DFAMohammad Imam Hossain
 
Fundamental principle of counting- ch 6 - Discrete Mathematics
Fundamental principle of counting- ch 6 - Discrete MathematicsFundamental principle of counting- ch 6 - Discrete Mathematics
Fundamental principle of counting- ch 6 - Discrete MathematicsOmnia A. Abdullah
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contrapositionAbdur Rehman
 
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDAPush Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDAAshish Duggal
 
Context free grammar
Context free grammar Context free grammar
Context free grammar Mohammad Ilyas Malik
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logicendahnurfebriyanti
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
Complexity theory
Complexity theory Complexity theory
Complexity theory Dr Shashikant Athawale
 
A presentation on prim's and kruskal's algorithm
A presentation on prim's and kruskal's algorithmA presentation on prim's and kruskal's algorithm
A presentation on prim's and kruskal's algorithmGaurav Kolekar
 
Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inferenceraksharao
 
LECTURE 2: PROPOSITIONAL EQUIVALENCES
LECTURE 2: PROPOSITIONAL EQUIVALENCESLECTURE 2: PROPOSITIONAL EQUIVALENCES
LECTURE 2: PROPOSITIONAL EQUIVALENCESMLG College of Learning, Inc
 
Number theory
Number theoryNumber theory
Number theorymanikanta361
 
Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete MathematicsMeghaj Mallick
 
NFA or Non deterministic finite automata
NFA or Non deterministic finite automataNFA or Non deterministic finite automata
NFA or Non deterministic finite automatadeepinderbedi
 
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
 
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
 

More Related Content

What's hot

Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Abdullah Al Amin
 
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
 
Intro to Discrete Mathematics
Intro to Discrete MathematicsIntro to Discrete Mathematics
Intro to Discrete Mathematicsasad faraz
 
Fundamental principle of counting- ch 6 - Discrete Mathematics
Fundamental principle of counting- ch 6 - Discrete MathematicsFundamental principle of counting- ch 6 - Discrete Mathematics
Fundamental principle of counting- ch 6 - Discrete MathematicsOmnia A. Abdullah
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contrapositionAbdur Rehman
 
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDAPush Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDAAshish Duggal
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
A presentation on prim's and kruskal's algorithm
A presentation on prim's and kruskal's algorithmA presentation on prim's and kruskal's algorithm
A presentation on prim's and kruskal's algorithmGaurav Kolekar
 
Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inferenceraksharao
 
Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete MathematicsMeghaj Mallick
 
NFA or Non deterministic finite automata
NFA or Non deterministic finite automataNFA or Non deterministic finite automata
NFA or Non deterministic finite automatadeepinderbedi
 
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
 

What's hot (20)

Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
 
Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)Propositional Logic (Descreate Mathematics)
Propositional Logic (Descreate Mathematics)
 
Truth table
Truth tableTruth table
Truth table
 
CMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional LogicCMSC 56 | Lecture 1: Propositional Logic
CMSC 56 | Lecture 1: Propositional Logic
 
Intro to Discrete Mathematics
Intro to Discrete MathematicsIntro to Discrete Mathematics
Intro to Discrete Mathematics
 
TOC 3 | Different Operations on DFA
TOC 3 | Different Operations on DFATOC 3 | Different Operations on DFA
TOC 3 | Different Operations on DFA
 
Fundamental principle of counting- ch 6 - Discrete Mathematics
Fundamental principle of counting- ch 6 - Discrete MathematicsFundamental principle of counting- ch 6 - Discrete Mathematics
Fundamental principle of counting- ch 6 - Discrete Mathematics
 
Proofs by contraposition
Proofs by contrapositionProofs by contraposition
Proofs by contraposition
 
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDAPush Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
 
Context free grammar
Context free grammar Context free grammar
Context free grammar
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Complexity theory
Complexity theory Complexity theory
Complexity theory
 
A presentation on prim's and kruskal's algorithm
A presentation on prim's and kruskal's algorithmA presentation on prim's and kruskal's algorithm
A presentation on prim's and kruskal's algorithm
 
Unit 1 rules of inference
Unit 1 rules of inferenceUnit 1 rules of inference
Unit 1 rules of inference
 
LECTURE 2: PROPOSITIONAL EQUIVALENCES
LECTURE 2: PROPOSITIONAL EQUIVALENCESLECTURE 2: PROPOSITIONAL EQUIVALENCES
LECTURE 2: PROPOSITIONAL EQUIVALENCES
 
Number theory
Number theoryNumber theory
Number theory
 
Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics
 
NFA or Non deterministic finite automata
NFA or Non deterministic finite automataNFA or Non deterministic finite automata
NFA or Non deterministic finite automata
 
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 د. خالد بكرو
 

Similar to 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
 

Similar to 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
 

More from 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
 

More from 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
 

Recently uploaded

Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Celine George
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentInMediaRes1
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxpboyjonauth
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsanshu789521
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting DataJhengPantaleon
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology ( Production , Purification , and Application ) Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology ( Production , Purification , and Application ) Sakshi Ghasle
 
Concept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfConcept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfUmakantAnnand
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17Celine George
 
mini mental status format.docx
mini mental status format.docxmini mental status format.docx
mini mental status format.docxPoojaSen20
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 

Recently uploaded (20)

Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media Component
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptx
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha elections
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology ( Production , Purification , and Application ) Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology ( Production , Purification , and Application )
 
Concept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.CompdfConcept of Vouching. B.Com(Hons) /B.Compdf
Concept of Vouching. B.Com(Hons) /B.Compdf
 
Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝
Model Call Girl in Tilak Nagar Delhi reach out to us at 🔝9953056974🔝
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17How to Configure Email Server in Odoo 17
How to Configure Email Server in Odoo 17
 
mini mental status format.docx
mini mental status format.docxmini mental status format.docx
mini mental status format.docx
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 

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.