ромашкой»). I (i) – символ частноутвердительного суждения («Некоторые люди миллионеры»). О (о) – символ частноотрицательного суждения («Некоторые студенты не есть спортсмены»). ∀ – символ квантора общности, в языке выражается словом «для всякого», «для любого» и т. п. ∃ – символ квантора существования, в языке выражается словом «некоторые», «существуют такие» и т. п.
∧ – символ, или знак, соединительного логического союза «и» (конъюнкция). ∨ – символ (знак) разделительного логического союза «или» (дизъюнкция). → – символ условного логического союза «если, то» (импликация). ↔ – символ логического союза тождества, эквивалентности, «тогда и только тогда, когда». «Не» – отрицательная частица, выражается тильдой (∼), например ∼В.