Summary of preceding statements: brief discussion of the primitive ideas "~ p" and "p ∨ q" and "⊦" prefixed to a proposition.
ملخص البيانات السابقة: مناقشة موجزة للأفكار الأولية "~ p" و "p ∨ q" و "⊦" مختصرةً لافتراض.