פורמליזם (מתמטיקה) – הבדלי גרסאות

:# '''הפיכת טענות לשליליות או לחיוביות''': כל הילדים שלשותים פטל ל- כל כל מי שלא ילד לא שותה פטל הוא לא ילד.