0 Up votes0 Down votes

51 views31 pagesJan 25, 2012

© Attribution Non-Commercial (BY-NC)

PPT, PDF, TXT or read online from Scribd

Attribution Non-Commercial (BY-NC)

51 views

Attribution Non-Commercial (BY-NC)

- The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life
- Sapiens: A Brief History of Humankind
- The Alchemist
- How To Win Friends and Influence People
- Good Omens
- Alexander Hamilton
- Same Kind of Different As Me: A Modern-Day Slave, an International Art Dealer, and the Unlikely Woman Who Bound Them Together
- America's First Daughter: A Novel
- The Mother Tongue: English and How it Got that Way
- The Screwtape Letters: Annotated Edition
- The Secret
- Principles: Life and Work
- Principles: Life and Work
- The Intelligent Investor, Rev. Ed
- Never Split the Difference: Negotiating As If Your Life Depended On It
- The Things They Carried
- Jesus Calling

You are on page 1of 31

(Aristotelian Classification)

Conditional Proposition

The conditional is the if - then proposition. It expresses a relation in virtue of which one judgment or proposition necessarily flows from the other. Example. If you are a Catholic, then you are a Christian. Parts: Antecedent Consequent

If it rains

Antecedent: condition, cause, reason Consequent: conditioned, effect, result There is a necessary or logical connection between the antecedent and consequent.

Terms of conditional:

If then,

unless

when

Not all if then statements are conditional, example: If you need money then go to the bank. Both antecedent and consequent must be statements

Disjunctive Proposition

The disjunctive is the either - or statement It expresses that two things cannot be false at the same time; one at least must be true. Example: A person is either a male or female. You are either for or against Christ. Parts are called disjuncts

Proper Disjunctive - when the component parts are mutually exclusive or contradictories, they cannot be both true. Pass or fail Dead or alive Today is either Monday or Tuesday. A parent is either a father or a mother. Improper Disjunctive - when the component parts are not mutually exclusive. Doctor or engineer Red or blue

I will visit my friend either on Monday or Tuesday. The parent who will attend the meeting is either the father or the mother.

Conjunctive Proposition

The conjunctive proposition expresses that two alternatives cannot be true simultaneously. Example: One cannot be in Davao and in Cebu at the same time. You cannot inhale and exhale at the same time. Parts are called conjuncts

Two-part conjunctive the conjuncts are limited to two alternatives only. The suspect cannot be guilty and not guilty. A parent cannot be a father and a mother at the same time. More than two-part conjunctive the conjuncts are not limited to two alternatives. One cannot study and play at the same time The president cannot be a conservative and liberal at the same time.

Simple statement - does not contain any other statement as its component. Examples: John is a student. Manila is a city.

Complex or compound statement contains logical components. (hypothetical and negative propositions in the Aristotelian

logic are considered complex.)

Additional examples::

John is a student and John is honest. It is not the case that Marie is the best student in the class. Either the rebels surrender or they die in battle. If there is a weather disturbance, then classes will be suspended.

For statements to be compound, it is necessary that the components are statements in themselves and that they are sensical on their own. The man who killed Ninoy was a murderer.

Not a complex statement

The truth-value of a complex/compound statement depends of the truth-value of its components. The truth value of the statement: Manila is a city and AMV is a college. depends on the truth value of the components: . Manila is a city AMV is a college. A compound statement is a truth-functional statement. A truth-function is an expression whose truth-value (truth or falsity) is completely determined by the truth values of its component statements.

Additional Examples:

*The

is a function of its component simple propositions: "The sun is shining" "the boys are playing."

* It is not the case that Marie is the most beautiful girl in the world. The truth value of this proposition is determined by the truth-value of the logical component: Marie is the most beautiful girl in the world.

Negation

The negation of a statement is formed by using "not in the original statement or by prefixing the phrases

"it is false that.." "it is not the case that.."

Examples: John is not the president of the class. It is not the case that the Philippines is the poorest country in Asia. It is false that life is tragic.

The symbol for negation is the curl . Examples: Students are responsible. - S It is not the case that students are -~S responsible.

'~'

This is a simple statement the negative statement

The curl denies or contradicts the statement it preceeds. The definition of negation may be presented in this truth table: If p is true then

p ~p --------T F F T ~p is false If p is false then ~p is true

Material Implication

Material implication is an if then statement. Example: If the Philippines is a democratic country, then Vatican is a state. Parts: Antecedent Consequent - If.. - then..

Material Implication

This is another type of implication where there is no real or causal connection between the antecedent and the consequent. Example: If man could be have wings, then our ancestors are pigs. Material implication is an emphatic way of denying the antecedent. symbol of material implication - the horse shoe

If Manila is a city then UST is a university. Philosophy is not myth then science is empirical.

M ~P

U S

The horse shoe is a truth functional connective material implication is true if it is not the case that the antecedent of the statement is true and its consequence is false. The only way it can be false is if the antecedent is true and the consequent is false

Five is an odd number number.

This is true (T)

one is an even

This is false (F)

Disjunction

The disjunctive is the either - or statement. Two things cannot be false at the same time one at least must be true. The disjunction of two statements is formed by inserting the word "or" between them. Examples: An A proposition is affirmative or O is negative. The antecedent is condition or consequent is cause.

The symbol for disjunction (inclusive) is the wedge v Examples: I either run or I get hit. pvq Logic is not fiction or arts is not magic.

~p v ~q

The wedge is a truth-functional connective. It connotes that a disjunctive statement is true if at least one of the components it connects is true.

Five is an odd number v one is an even number.

This is true (T) This is false (F)

Conjunction

The conjunctive is formed by placing the word and between two statements. The conjunction in Aristotelian is not a conjunction in modern logic. Examples: An I proposition is affirmative and E is negative. Three is a odd number and six is divisible by two. PNB is a bank and SM is a department.

.)

Examples: p.q PNB is a bank and SM is a mall. Politics is not showbiz and painting is an art. ~p . q Snakes are reptiles and birds are not wild. p . ~q

The dot is a truth-functional connective. It connotes that a conjunctive statement is true if both components it connects are true.

Five is an odd number . one is an even number.

This is true (T) This is false (F)

Material Equivalence

Material equivalence is the bi-conditional statement The phrase if and only if is placed between two statements. Examples: UST is a university if and only if a university is a big school. Ten is an even number if and only if an even number is divisible by two.

Examples: PNB is a bank if and only if and SM is a mall. p q Politics is showbiz if and only if painting is p ~q not an art. Metal is not air if and only if lightning is electrical ~p q

The is a truth-functional connective. It connotes that a materially equivalent statement is true if both components are true or both are false.

Five is an odd number

This is true (T)

This is false (F)

Application

~(If critical thinking is important then Logic is required in college) or

T T T v T

(St. Thomas is a philosopher and St. Dominic is the founder of the Order of

Preachers.)

~ ( T T ) v ( T . T) ~ (T) v T

F v T

[(one is less than any even number and two is divisible by two) or (five is an odd number or six is less than seven)] then ~(ten is equal to five times two or nine is eleven minus five).

Determine the truth-value AT BF C-? ~[(A . B) > (C v A)] [ ~(B > C) v (A . B)]

- Hypothetical Syllogism (Full version)Uploaded byroy_dubouzet
- Categorical PropositionUploaded byPepz Montuya Lupeba
- Qual Good LawyerUploaded byYktash
- DiscreteUploaded byleomek
- ConvergenceUploaded byConvergence2014
- IT160 Final ExamUploaded byTres Demontaño
- Discrete-Structures.pptxUploaded byDaisy Mangahas Balerite
- An Introduction to Higher MathematicsUploaded byOscar Tobar
- ConvergenceUploaded byJanvi Palan
- ai vivaUploaded byKartik Jadhav
- 10101sols1Uploaded byPi
- LogicWeek1Lecture1.pdfUploaded byPi
- Truth and Faithfulness is Using Utility of Genuine-unjust PairUploaded byAnonymous 8erOuK4i
- Discrete Str NotesUploaded byhas_zindarod8495
- Unit 1 Propositional LogicUploaded byPatrick Padolina
- Wason 1959.pdfUploaded byjorge9000000
- Yang X - Approximations for Constant e and Their Applications - J. Math. Anal. & Appl. 262 (2001) 651-659Uploaded byRenee Bravo
- MockTestSolved.docUploaded byIvana Stanicic
- Section 13Uploaded byham.karim
- *2 APToP a Practical Theory of ProgrammingUploaded byAlpheios Alpha
- Sarah Logic PrelimUploaded byPantalunan Garry
- Unit-2_Boolean Eq. SimplifiactionUploaded byRutvij Shah
- 1fauconnier Gilles Mental Spaces 1994Uploaded byusmezuly
- Logic of Phantasy 10Uploaded byChun-hsiung Chen
- JMET-2010Uploaded bySwaroop Rocking
- UNIT-1 Questions & AnswersUploaded byAI
- Timetable SEM2 2011-2012Uploaded byhannahbanana1
- SS0605 Logic Devices and CircuitsUploaded byBenjamin Martin
- refutationparagraphUploaded byapi-264656588
- c0826d6228966096076f16cb2677b62dUploaded bySaud Hussain

- 99568832-Ch-2-Theory-and-Method.docxUploaded byRos Shinie Balan
- Tutorial 8.1Uploaded byapi-3772213
- Design CalculationsUploaded byrafialan
- BARC CE_ Transportation Engineering Quiz 2Uploaded byAbhijeet Kumar
- FF0098 01 Free Layered Diagram 16x9Uploaded bySyazani Yuswir
- Bma4723 Vehicle Dynamics Chap 5Uploaded byFu Hong
- Understand MultistagepumpUploaded byRizalzi Bachtiar
- Problema 7 Cable cUploaded byTamiaelizabeth
- Sorption Studies of Heavy Metal Ions on a Novel Chelating Resin [Stripping of Mercury II]Uploaded byAllan Literato
- Management of Impacted TeethUploaded bydr_nilofervevai2360
- Physics QuestionsUploaded bykaushik247
- B-code Generation for a Cnc Dentistry Wire Bending MechanismUploaded byw403712
- Manual Me ProUploaded byJavier Gaete Obreque
- Ponchon-Savarit Method Solved ProblemUploaded byRomel Leo Alojado
- DX200_RAUploaded byAriel Brito
- Eldo TutorialUploaded bySaurabh Chakravarty
- INSTRUCTOR-SUPPORT-A320Uploaded byNik Martin
- DeveloperUploaded bysvaneesh
- 15_GEOG245_Tutorial8.pdfUploaded bykarmvir27
- IPTC-10994-MS.pdfUploaded byAlPrince007
- Decoupling MethodologyUploaded byahzhun2000
- MSCE StructuralUploaded byfreanne_0527
- Security in MANET Against DDoS AttackUploaded byseventhsensegroup
- machining tutorial_04.pdfUploaded bywfo78
- A&P- Digestive System & Metabolism powerpoint (nursing)Uploaded byLinsey Bowen
- Identifying Parts of SpeechUploaded byKim Moody Sims
- E 246 - 10 (2015)Uploaded byruben carcamo
- Music of Brian BladeUploaded bykinclongest
- 05.SixSigma.pdfUploaded byMohamed Elfawal
- New Technologies for the Drying of CoffeeUploaded byMohamed Negm

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.