בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם. 'לא' הוא אחד משני הקשרים הבסיסיים עליהם בנויה הלוגיקה הפורמלית (השני הוא אם⁻אז). מתוך ויקיפדיה

שליירמכר, שליית פנינים, שליית פתח, שליל, שלילה, שלילת הגלות, שלילת הגשמות, שלילת הגשמיות, שלילת הגשמת האלוהים, שלילת ההגשמה