הגיון פורמלי

כן נטענות שקולות.

הן זהות ושקולות

"רק" באמצע משפט - אין לו משמעות, אפשר למחוק אותו.

כל הפיות יפות אלא אם כן הן אינן חצופות -

פיה חצופה --> יפה
פיה לא חצופה --> ?


חתול צועק רק אם הוא מותקף -
חתול צועק --> מותקף  (כמו קודם - רק באמצע משפט אפשר למחוק אותו)


פיל הוא ורוד אם הוא מעופף, ורק אז -
פיל מעופף  <-->  פיל ורוד

לגבי החץ הכפול - אין צורך לשנות את סדר האיברים מכיוון שהחץ הוא דו-כיווני.

פיל מעופף  <-->  פיל ורוד     =     לא פיל מעופף  <-->  לא פיל ורוד


לגבי המפשט עם הפיות - פשוט היגיון.
אם כל הפיות יפות, אז כולן יפות.
אבל, רגע!
אם יש פיה שהיא לא חצופה, אז אני לא יכול להגיד שהיא יפה, ולכן:
פיה שהיא כן חצופה היא בהכרח יפה
פיה שהיא לא חצופה - אי אפשר לומר שהיא יפה (אבל אני לא יודע אם היא יפה או לא, אולי יש תנאים אחרים)