Ax:
Bx: Cx: d: e: f: |
x is an aardvark x is a bullfrog x is a camel Dick Cheney Emo Phillips Francis the talking mule |
![]() |
All things in the universe are bullfrogs | |
![]() |
At least one camel exists | |
![]() |
It's not true that everything in the universe is a bullfrog | |
![]() |
Not even one aardvark exists |
![]() |
![]() |
![]() |
![]() |
![]() |
A bullfrog exists | ![]() |
is made true by | ![]() |
See the "k" (whatever "k" stands for) in the bullfrog space |
All things are aarrdvarks | ![]() |
is made false by | ![]() |
See the "b" (whatever "b" stands for) in the non-aardvark space |
A bullfrog exists | ![]() |
is made false by | ![]() |
Notice the bullfrog space is empty. |
All things are aardvarks | ![]() |
is made true by | ![]() |
Notice the non-aardvark space is empty. |
This formula: | Is made true by: | And made false by: |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
This formula: |
Is made true by: |
And made false by: |
![]() |
![]() |
![]() |
This formula: |
Is made true by: |
And made false by: |
![]() |
![]() |
![]() |
This formula: |
Is made true by: |
And made false by: |
![]() |
![]() |
![]() |
This formula: |
Is made true by: |
And made false by: |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
![]() |