Symbolization Review.

Slides:

Advertisements

Similar presentations

Paper 2-Section B WRITING. You will be asked to…. Persuade Argue Advise Inform Explain Describe.

Advertisements

SentenceCombining The art of writing beautiful sentences.

TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation.

Logic & Critical Reasoning Translation into Propositional Logic.

Symbolic Logic: The Language of Modern Logic

Chapter Two Symbolizing in Sentential Logic This chapter is a preliminary to the project of building a model of validity for sentential arguments. We.

TRANSITIONAL MARKERS Compiled by Ms. Terri Yueh Formality Levels for transition Words and Expressions.

Notation for Arguments Vertical Notation: S>T T>U S>U.

Use a truth table to determine the validity or invalidity of this argument. First, translate into standard form “Martin is not buying a new car, since.

CONNECTORS Connectors link sentences or parts of sentences and have different meanings.

Today’s Topics n Symbolizing conditionals and bi-conditionals n Other complex symbolizations. n Unless.

1 Section 1.1 Logic. 2 Proposition Statement that is either true or false –can’t be both –in English, must contain a form of “to be” Examples: –Cate Sheller.

Critical Thinking: A User’s Manual

CONJUNCTIONS Aka The Joiners. Conjunctions are words used as joiners. Different kinds of conjunctions join different kinds of grammatical structures.

Chapter 20: Simple and Compound Statements. Compound Statements (pp )  A compound statement contains another statement as a proper part. Nontruth-functionally.

Logical Arguments. Strength 1.A useless argument is one in which the truth of the premisses has no effect at all on the truth of the conclusion. 2.A weak.

Copyright 2013, 2010, 2007, Pearson, Education, Inc. Objectives 1. Statements, quantifiers, and compound statements 2. Statements involving the words not,

The Inverse Error Jeffrey Martinez Math 170 Dr. Lipika Deka 10/15/13.

Translating Conditionals Some more advanced issues: 1. ‘only if ’ 2. necessary and sufficient conditions 3. dealing with time.

Conjunctions connect ideas and lengthen sentences.

Identifying Dependent & Independent Clauses. Independent Clause An independent clause is a group of words that contains a subject and verb and expresses.

Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.

Study Questions for Quiz 4 The exam has four parts: 1. (16 points) Consistency and Completeness 2. (18 points) Translation 3. (34 points) Proving Rules.

Discrete Mathematics Lecture # 4. Conditional Statements or Implication  If p and q are statement variables, the conditional of q by p is “If p then.

For Friday, read Chapter 2, section 5. As nongraded homework, do the problems at the end of the section. I sent out graded HW#2 yesterday. It’s due on.

More Sentence Types Just a couple. Clauses Clause a group of words with a subject and a predicate. Independent Clause subject + predicate. Functions as.

Translating Or A unless B The simplest translation: AvB.

Identifying Independent and Dependent Clauses.  An independent clause is a group of words that contains a subject and verb and expresses a complete thought.

Independent and Dependent Clauses An independent clause is a group of words that contains a subject and verb and expresses a complete thought. An independent.

Today’s Topics Symbolizing conditionals and bi-conditionals

Understanding Transitions

A Crash Course in Logic : Introduction to Philosophy

Review – 3 Types of Sentences

Translating ‘and’ and its synonyms is fairly easy.

Independent/dependent clauses

Independent and Dependent Clauses

Truth Tables – Logic (Continued)

Discrete Mathematics Lecture # 6.

Translating Iff ‘Iff’ abbreviates ‘if and only if’ A iff B

Review – 3 Types of Sentences

The Foundations: Logic and Proofs

Methods for Evaluating Validity

Connects words and phrases

Translating Negation Not A -A Some Synonyms in English:

Review – 3 Types of Sentences

The Power of Critical Thinking

Independent and Dependent Clauses

Review – 3 Types of Sentences

Technical English Welcome .

Review To check an argument with a tree:.

Conjunctions connect ideas and lengthen sentences.

Let us build the tree for the argument Q>-P | P>Q.

Coordinating Conjunctions FANBOYS

Conjunctions By: Mary S. Roland.

Understanding Transitions

How to identify conjunctions and their functions

CHAPTER 3 Logic.

Statements and Logical Connectives

Sentence Patterns IC = Independent Clause (can stand alone and expresses a complete thought) DC = Dependent Clause (cannot stand alone and does not express.

Foundations of Discrete Mathematics

Coordinating Conjunctions: For And Nor But Or Yet So

Using Transitions Correctly

Conjunctions Parts of Speech.

Propositional Logic 5) And Copyright 2008, Scott Gray.

If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.

If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.

Summary of the Rules A>B -A B -(A>B) A -B --A A AvB A B

Presentation transcript:

Symbolization Review

Translating Conditionals Antecedent Indicators if provided that should sufficient conditions Consequent Indicators then results in only if necessary conditions

Translating Arguments Premise Indicators: Since Because For : Conclusion Indicators: So Therefore Hence Thus Consequently :

English synonyms for ‘and’: Translating And English synonyms for ‘and’: But However Although Nevertheless Moreover Yet Even though

Translating Negation Some Synonyms for not A in English: It is false that A A is mistaken A is not the case Negative prefixes: Un unintelligent In indescribable Im immoral

For more click here Translating Or A unless B AvB Neither A nor B -A&-B or -(AvB) Inclusive or: A or B or both (A and B) AvB or (AvB)v(A&B) Exclusive or: A or B but not both (A and B) (AvB) & -(A&B) For more click here