In/Out Conditionals Translation Exercise Flashcards
Tom does not eat the Durian only when he does not eat the Guava.
/D–>/G
G–>D
Tom eats the Durian or the Acai.
/A–>D
/D–>A
Truth Table explanation:
Tom must eat one of the two and can eat both.
-knowing that he eats one (e.g. ‘D’) does not mean anything for A.
Tom does not eat the Acai unless he eats the Jocote.
/J–>/A
A–>J
Tom does not eat both the Jocote and Fig.
J, F, neither
F–>/J
J–>/F
-we gain something with positive knowledge (e.g. ‘J’) in a ‘not both’ statement and negative knowledge (e.g. ‘/J’) in an ‘or’ statement.
If Tom eats the Loquat, he does not eat the Fig.
L–>/F
F–>/L
Only when Tom eats Loquat, does he not eat the Hawthorne.
/H–>L
/L–>H
Tom eats the Elderberry only if he does not eat the Hawthorne.
E–>/H
H–>/E
Tom eats the Currant or the Elderberry.
/C–>E
/E–>C
Tom always eats the Babaco when he does not eat the Hawthorne.
/H–>B
/B–>H
The only time Tom eats the Babaco is when he eats the Imbe.
B–>I
/I–>/B
Tom eats the Kumquat if but only if he eats the Mango.
K<–>M
KM or /K/M
Tom must eat the Acai if he does not eat the Kumquat.
/K–>A
/A–>K
sufficient failed
rule falls away
J–>S
/J
—
Nothing. Could be S or /S
necessary satisfied
rule falls away
Q–>P
P
—-
Nothing. Could be Q or /Q
sufficient satisfied
rule triggers, move right
C–>E
C
—
E
