Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Fun with Logic!

No description
by

Michelle Hirschboeck

on 26 August 2017

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Fun with Logic!

Fun with Logic!
Implication means that if the antecedent (first proposition) of the conditional is true, then the consequent (last proposition) must also be true.

A conditional is true when this relationship is so.
AND

Connects two or more atomic propositions to make a conjunction
&
IMPLIES
aka 'if/then'

Connects two or more propositions to make a conditional.
v


Any number of atomic propositions may be connected by 'if/then' to make a conditional,

AS LONG AS the antecedent always implies the consequent.
Any number of atomic propositions may be connected in any order by 'or' to make a disjunction.
A disjunction is true if at least one part of it is true.

When 'or' is used in an inclusive sense, more than one part may be true.

When 'or' is used in an exclusive sense, only one part may be true.
Any number of atomic propositions may be connected in any order by '&' to make a conjunction.
A conjunction is true only if ALL of its parts are true.

If one part is false, then the whole conjunction is false.
P,Q...
Variables which stand in for any atomic proposition:

sentence or statement of fact
OR

Connects two or more propositions to make a disjunction

NOT BOTH

Connects two propositions to make a disjunction in which at least one part must be false

~
NOT

Negates a proposition; gives it the opposite truth value
THEREFORE

signifies a conclusion

IFF aka
'if and only if'

Connects two propositions to make a bi-conditional
And when this relationship is so, and the consequent is FALSE, then the antecedent must also be false.
If the antecedent and consequent are so related that they are always either both true or both false,

then their relationship is called a bi-conditional.
Full transcript