論理学において、ニコの公理（ニコのこうり、）とは、フランスの論理学者・哲学者ジャン・ニコにちなんで名付けられた式であり、命題論理の完全性な体系の唯一の公理として用いることができる。ニコの公理の定式化に用いられる唯一の論理結合子は否定論理積である。
この公理は次の形をとる。
ジャン・ニコは、「ニコのモーダスポネンス」と呼ばれる単一の推論規則を用いることで、『プリンキピア・マテマティカ』の命題論理全体をこの公理のみから導出できることを示した。
1931年、ポーランドの論理学者は、同等の能力を持ちながらより扱いやすい代替案を発見した。
出典
外部リンク