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

אם נסמן את הביטוי "ירד גשם" ב R ואת "רוני יקח מטריה" ב U, אזי ההצרנה של "אם ירד גשם, רוני ייקח מטריה" היא <math>\ R \rightarrow U</math>.

כעת נצרין את התשובות:

# <math>\ \lnot R \rightarrow \lnot U </math>

# <math>\ \lnot R \rightarrow U </math>