IKKILIK PRINSIPI, duallik prinsipi, oʻzaro proporsionallik prinsipi — proyektiv geometriyanit asosiy teoremalaridan biri. Isbotlash mumkin boʻlgan bir te-oremadan bevosita ikkinchi teoremani keltirib chiqarishga imkon beradi. Ikkilik prinsipi nazariyada oʻzaro dual (kush) tushunchalar mavjudligiga asoslangan. Nazariyada Ikkilik prinsipi oʻrinli boʻlishi uchun har bir aksiomaga dual jumla yo aksioma, yoki teorema boʻlishi kerak. Shu sababli, biror jumlani isbotlash mumkin boʻlsa, unga dual jumla ham toʻgʻri boʻladi. Mac, tekislik proyektiv geometriyasida «nuqta» va «toʻgʻri» oʻzaro dual tu-shunchalar, quyidagi aksioma va teo-remalar esa dual jumlalardir: Ixtiyoriy turli ikki nuqtadan bir toʻgʻri chiziq oʻtadi. (Paskal teorema-si). Ikkinchi tartibli har qanday chi-ziqqa ichki chizilgan oltiburchaklikda uch juft qaramaqarshi tomonlar ke-sishgan uchta nuqta bir toʻgʻri chiziqda yotadi.
Ixtiyoriy turli ikki toʻgʻri chiziq bir nuqtada kesishadi. (Brianshon teoremasi). Ikkinchi tartibli har qan-day chiziqqa tashqi chizilgan oltiburchaklida uch juft qaramaqarshi uchlarni tutashtiruvchi uchta toʻgʻri chiziq bir nuqtada kesishadi.
Fazo proyektiv geometriyasida «nuk,ta» va «tekislik» tushunchalari, matematik mantikda dizyunksiya (mantiqiy yigʻindi) va konyunksiya (mantiqiy koʻpaytma) mavjudlik va umumiylik kvantorlari ikkilangandir. Ikkilik prinsipi toʻplamlar, kategoriyalar nazariyalarida, topologiyada ham mavjud. Ikkilik prinsipini birinchi marta proyektiv geometriya uchun fransuz olimi J. Ponsele (1788—1867) ifodalab bergan.