Lukasiewicz సంజ్ఞామానం పోలిష్ లాజిషియన్ Jan Łukasiewicz చే అభివృద్ధి చేయబడిన సింబాలిక్ లాజిక్ వ్యవస్థను సూచిస్తుంది. ఇది నిరాకరణ, సంయోగం మరియు విభజనతో సహా చిహ్నాలు మరియు ఆపరేటర్‌ల శ్రేణిని ఉపయోగించి తార్కిక ప్రతిపాదనలను సూచించే పద్ధతి.లుకాసివిచ్ సంజ్ఞామానంలో, p, q మరియు r వంటి వేరియబుల్‌లను ఉపయోగించి తార్కిక ప్రతిపాదనలు సూచించబడతాయి. మరియు ¬ (నిరాకరణ), ∧ (సంయోగం) మరియు ∨ (డిజంక్షన్) వంటి ఆపరేటర్లు. సంజ్ఞామానం తరచుగా గణిత తర్కం, తత్వశాస్త్రం మరియు కంప్యూటర్ సైన్స్ అధ్యయనంలో ఉపయోగించబడుతుంది మరియు దాని ఆవిష్కర్త జాన్ లూకాసివిచ్ పేరు పెట్టారు.