SlideShare a Scribd company logo
If vs. if and only if
By
Aurora Computer Studies
(auoracs.lk)
1
Overview
• If (A -> B)
• If and only if (A <-> B)
Aurora Computer Studies 2
If A, then Q
(A -> Q)
3
A -> Q - Meaning
• A -> Q
o If A happens then Q happens
o A implies Q
Aurora Computer Studies 4
A
B
C
D
.
.
P
Q
R
.
.
Means :
Other possibilities :
A -> Q - Truth table
Aurora Computer Studies 5
A Q A->Q
T T T
T F F
F T T
F F T
A
B
C
D
.
.
P
Q
R
.
.
A -> Q - What it means?
• A -> Q
o Yes, I mean;
 Whenever A happens Q happens (or high
probability of Q happen)
One of the reason for Q is A.
Aurora Computer Studies 6

A
B
C
D
.
.
P
Q
R
.
.
A -> Q - What it does not means?
• A -> Q
o No, I do not mean;
• A is the only reason(condition) for Q to happen
• Whenever Q has happened means A has happened
• If A happens, the only effect is Q happening
Aurora Computer Studies 7

A
B
C
D
.
.
P
Q
R
.
.
A -> Q - Example 1
• If it rains, then the ground is wet
Aurora Computer Studies 8
Rain
B
Watering
D
.
.
P
Wet
R
.
.
A -> Q - Example 2
• If you study, you can pass the
assignment
Aurora Computer Studies 9
Study
B
Cheat
D
.
.
P
Pass
R
.
.
if and only A, then Q
(A <-> Q)
10
A <-> Q - Meaning
• A <-> Q
o If and only if A happens then Q happens
o A -> Q and Q -> A
Aurora Computer Studies 11
A
.
P
Q
R
S
Means :
Other possibilities :
A <-> Q - Truth table
Aurora Computer Studies 12
A Q A->Q
T T T
T F F
F T F
F F T
A
.
P
Q
R
S
A <-> Q - What it means?
• A <-> Q
o Yes, I mean;
 Whenever A happens Q happens
 Only when A happens Q happens
 If Q has happened, then A must have happened
Aurora Computer Studies 13

A
.
P
Q
R
S
A <-> Q - What it does not means?
• A <-> Q
o No, I do not mean;
• If A happens then, only Q happens
Aurora Computer Studies 14

A
.
P
Q
R
S
A <-> Q - Example 1
• If and only if the offence is proved,
then accused is declared guilty
Aurora Computer Studies 15
Prove the
offence
.
P
Guilty
Punish
S
A <-> Q - Example 2
• If and only if you understand, then
you can solve this problem
Aurora Computer Studies 16
Understand
.
P
Solve
Happy
S
Thank You !
Presented by
Aurora Computer Studies
(auoracs.lk)
Aurora Computer Studies 17
"We are what we repeatedly do.
Excellence, then, is not an act,
but a habit."
~ Aristotle.
Aurora Computer Studies 18
For more resources visit;
http://www.slideshare.net/auroracslk
Aurora Computer Studies 19
Contact Information
Premier Study Center
Aurora Computer Studies,
Summerset College,
# 135, 3rd Floor,
DFCC Building,
High Level Road,
Maharagama.
0115 690 290
City Study Center
Aurora Computer Studies,
Summerset College,
# 88/2, 2nd Floor,
BOC Building,
High Level Road,
Kirulapone, Colombo 06
0703 001 010
For further details and enquiries :
Call - 0719 842030
E-mail – info@auroracs.lk
Web - www.auroracs.lk
20

More Related Content

PPTX
බුද්ධිමත් බවේ ලක්ෂණ
PPTX
සිරි ලාංකීය වැඩවසම් සමාජය
PPTX
Biografi
PPT
The Top 6 FINTECH TRENDS for 2017
PPTX
Evalucion economica
PPTX
Bridal lehenga collection at shoppyzip
PDF
лицензия сам (сро)
PPTX
Vicky tulsiani lighting assignment On Autocad 3D
බුද්ධිමත් බවේ ලක්ෂණ
සිරි ලාංකීය වැඩවසම් සමාජය
Biografi
The Top 6 FINTECH TRENDS for 2017
Evalucion economica
Bridal lehenga collection at shoppyzip
лицензия сам (сро)
Vicky tulsiani lighting assignment On Autocad 3D

Viewers also liked (9)

KEY
Oscon anatomy of_os_cloud_ecosystem
PDF
The Top 20 Movers & Shakers in UK FinTech
PPTX
PDF
習慣の力
PDF
10 Books That Changed My World
DOCX
Actividad interculturalidad ii
PPTX
Agile Management for business
DOCX
Maj Gen Prasad Samarasinghe - CV 19 May 16
PPTX
Glosarium card teks debat intan dwi dan erna rosita
Oscon anatomy of_os_cloud_ecosystem
The Top 20 Movers & Shakers in UK FinTech
習慣の力
10 Books That Changed My World
Actividad interculturalidad ii
Agile Management for business
Maj Gen Prasad Samarasinghe - CV 19 May 16
Glosarium card teks debat intan dwi dan erna rosita
Ad

Similar to If vs if and only if (16)

PPTX
Operation Research
PDF
4 ch 2 logical reasoning
PPTX
Validity of argument
PDF
Mathematics for data Science Part 2- Analysis of arguments .pdf
PPT
lecture011712 (1).ppt
PPT
Bab 1 proposisi
PPT
Logic Notes
PPTX
Propositional logic
PDF
implication.pdf
PPTX
logicj-160412050513.pptx
PDF
Disc Week 1.pdf
PPT
4535092.ppt
PPT
Propositional Logic and Pridicate logic
PPTX
Slide subtopic 2
PPTX
Slide subtopic 2
Operation Research
4 ch 2 logical reasoning
Validity of argument
Mathematics for data Science Part 2- Analysis of arguments .pdf
lecture011712 (1).ppt
Bab 1 proposisi
Logic Notes
Propositional logic
implication.pdf
logicj-160412050513.pptx
Disc Week 1.pdf
4535092.ppt
Propositional Logic and Pridicate logic
Slide subtopic 2
Slide subtopic 2
Ad

More from Aurora Computer Studies (20)

PPTX
Learning English as a Second Language
PPTX
Characteristics of laders
PPTX
නායකයකුගේ ගුණාංග
PPTX
How to do your Advanced Level (AL) studies successfully
PPTX
Study BIT-UCSC @ Aurora Computer Studies
PPTX
විභාගයට සාර්ථකව මුහුණ දීම
PPTX
How to face exams effectively?
PPTX
How to act like busy in three steps?
PPTX
Classification of human languages
PPTX
බුද්ධිමත් අයකු ගේ චරිත ලක්ෂණ
PPTX
Quotes for life
PPTX
මිනිස්සු ආගම් අදහන්නේ ඇයි?
PPTX
Why do people believe in religions?
PPTX
සිරි ලංකාවේ ව්‍යාජ බයිස්කෝප් සමාජය
PPTX
Agile philosophy for life
PPTX
Career paths in ICT
PPTX
How to build a successfull software
PPTX
Attributes of great programmer
PPTX
මනස සේදීම (Brain washing)
PPTX
Brainwashing - What, why, how and preventing
Learning English as a Second Language
Characteristics of laders
නායකයකුගේ ගුණාංග
How to do your Advanced Level (AL) studies successfully
Study BIT-UCSC @ Aurora Computer Studies
විභාගයට සාර්ථකව මුහුණ දීම
How to face exams effectively?
How to act like busy in three steps?
Classification of human languages
බුද්ධිමත් අයකු ගේ චරිත ලක්ෂණ
Quotes for life
මිනිස්සු ආගම් අදහන්නේ ඇයි?
Why do people believe in religions?
සිරි ලංකාවේ ව්‍යාජ බයිස්කෝප් සමාජය
Agile philosophy for life
Career paths in ICT
How to build a successfull software
Attributes of great programmer
මනස සේදීම (Brain washing)
Brainwashing - What, why, how and preventing

Recently uploaded (20)

PPTX
Cell Structure & Organelles in detailed.
PDF
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
PDF
01-Introduction-to-Information-Management.pdf
PDF
STATICS OF THE RIGID BODIES Hibbelers.pdf
PPTX
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
PDF
Classroom Observation Tools for Teachers
PPTX
Final Presentation General Medicine 03-08-2024.pptx
PPTX
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
PDF
Module 4: Burden of Disease Tutorial Slides S2 2025
PDF
Physiotherapy_for_Respiratory_and_Cardiac_Problems WEBBER.pdf
PPTX
human mycosis Human fungal infections are called human mycosis..pptx
PDF
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
PPTX
Microbial diseases, their pathogenesis and prophylaxis
PDF
Microbial disease of the cardiovascular and lymphatic systems
PDF
RMMM.pdf make it easy to upload and study
PDF
102 student loan defaulters named and shamed – Is someone you know on the list?
PDF
Pre independence Education in Inndia.pdf
PPTX
GDM (1) (1).pptx small presentation for students
PDF
TR - Agricultural Crops Production NC III.pdf
PDF
Abdominal Access Techniques with Prof. Dr. R K Mishra
Cell Structure & Organelles in detailed.
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
01-Introduction-to-Information-Management.pdf
STATICS OF THE RIGID BODIES Hibbelers.pdf
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
Classroom Observation Tools for Teachers
Final Presentation General Medicine 03-08-2024.pptx
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
Module 4: Burden of Disease Tutorial Slides S2 2025
Physiotherapy_for_Respiratory_and_Cardiac_Problems WEBBER.pdf
human mycosis Human fungal infections are called human mycosis..pptx
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
Microbial diseases, their pathogenesis and prophylaxis
Microbial disease of the cardiovascular and lymphatic systems
RMMM.pdf make it easy to upload and study
102 student loan defaulters named and shamed – Is someone you know on the list?
Pre independence Education in Inndia.pdf
GDM (1) (1).pptx small presentation for students
TR - Agricultural Crops Production NC III.pdf
Abdominal Access Techniques with Prof. Dr. R K Mishra

If vs if and only if

  • 1. If vs. if and only if By Aurora Computer Studies (auoracs.lk) 1
  • 2. Overview • If (A -> B) • If and only if (A <-> B) Aurora Computer Studies 2
  • 3. If A, then Q (A -> Q) 3
  • 4. A -> Q - Meaning • A -> Q o If A happens then Q happens o A implies Q Aurora Computer Studies 4 A B C D . . P Q R . . Means : Other possibilities :
  • 5. A -> Q - Truth table Aurora Computer Studies 5 A Q A->Q T T T T F F F T T F F T A B C D . . P Q R . .
  • 6. A -> Q - What it means? • A -> Q o Yes, I mean;  Whenever A happens Q happens (or high probability of Q happen) One of the reason for Q is A. Aurora Computer Studies 6  A B C D . . P Q R . .
  • 7. A -> Q - What it does not means? • A -> Q o No, I do not mean; • A is the only reason(condition) for Q to happen • Whenever Q has happened means A has happened • If A happens, the only effect is Q happening Aurora Computer Studies 7  A B C D . . P Q R . .
  • 8. A -> Q - Example 1 • If it rains, then the ground is wet Aurora Computer Studies 8 Rain B Watering D . . P Wet R . .
  • 9. A -> Q - Example 2 • If you study, you can pass the assignment Aurora Computer Studies 9 Study B Cheat D . . P Pass R . .
  • 10. if and only A, then Q (A <-> Q) 10
  • 11. A <-> Q - Meaning • A <-> Q o If and only if A happens then Q happens o A -> Q and Q -> A Aurora Computer Studies 11 A . P Q R S Means : Other possibilities :
  • 12. A <-> Q - Truth table Aurora Computer Studies 12 A Q A->Q T T T T F F F T F F F T A . P Q R S
  • 13. A <-> Q - What it means? • A <-> Q o Yes, I mean;  Whenever A happens Q happens  Only when A happens Q happens  If Q has happened, then A must have happened Aurora Computer Studies 13  A . P Q R S
  • 14. A <-> Q - What it does not means? • A <-> Q o No, I do not mean; • If A happens then, only Q happens Aurora Computer Studies 14  A . P Q R S
  • 15. A <-> Q - Example 1 • If and only if the offence is proved, then accused is declared guilty Aurora Computer Studies 15 Prove the offence . P Guilty Punish S
  • 16. A <-> Q - Example 2 • If and only if you understand, then you can solve this problem Aurora Computer Studies 16 Understand . P Solve Happy S
  • 17. Thank You ! Presented by Aurora Computer Studies (auoracs.lk) Aurora Computer Studies 17
  • 18. "We are what we repeatedly do. Excellence, then, is not an act, but a habit." ~ Aristotle. Aurora Computer Studies 18
  • 19. For more resources visit; http://www.slideshare.net/auroracslk Aurora Computer Studies 19
  • 20. Contact Information Premier Study Center Aurora Computer Studies, Summerset College, # 135, 3rd Floor, DFCC Building, High Level Road, Maharagama. 0115 690 290 City Study Center Aurora Computer Studies, Summerset College, # 88/2, 2nd Floor, BOC Building, High Level Road, Kirulapone, Colombo 06 0703 001 010 For further details and enquiries : Call - 0719 842030 E-mail – info@auroracs.lk Web - www.auroracs.lk 20