Aksjomat Nicoda-Łukasiewicza – aksjomat rachunku zdań sformułowany przez Jeana Nicoda, uproszczony przez Jana Łukasiewicza. Jest to aksjomat dzięki któremu zbudować można jednoaksjomatowy system rachunku zdań oparty wyłącznie na dysjunkcji Sheffera, zwany dysjunkcyjnym systemem logiki zdań.
Aksjomat Nicoda Nicod sformułował dysjunkcyjny system rachunku zdań w pracy A Reduction in the number of the Primitive Propositions of Logic opublikowanej w 19 tomie "Proceedings of the Cambridge Philosohical Society" z 1917. Interesujące w aksjomacie jest to, że umożliwia zbudowanie jednoaksjomatowego systemu rachunku zdań, i to, że aksjomat taki sformułowany został przy użyciu tylko jednego terminu pierwotnego, który stanowi znak dysjunkcji. Stosując regułę odrywania dla dysjunkcji i regułę podstawiania dla dysjunkcji z aksjomatu Nicoda (i z uproszczonej wersji Łukasiewicza) można uzyskać każdą tezę dysjunkcyjnego rachunku zdań. Dzięki użyciu wyłącznie dysjunkcji można także zdefiniować wszystkie pozostałe spójniki rachunku zdań.
Aksjomat Nicoda ma (we współczesnym zapisie) postać: