International Journal of Neutrosophic Science IJNS 2690-6805 2692-6148 10.54216/IJNS https://www.americaspg.com/journals/show/428 2020 2020 Departamento Academico de Ciencia da Computacao - Universidade Federal de Rondonia, Brasil Angelo de Oliveira Undergraduate Student in Civil Engineering, Universidade Tecnologica Federal do Parana, Brasil Marina Nogueira Carvalho de Oliveira It is customary in mathematics that almost all new developments maintain compatibility with what is already proved and accepted. Following this way, neutrosophic logic has the classical logic as subset. However, in mathematics, all the affirmations must be proved first to be accepted, so the claim that the neutrosophic logic encompass classical logic must be also proved. Thus, this paper show that the main properties of the classical logic hold when translated to neutrosophic form at propositional level. 2020 2020 22 31 10.54216/IJNS.060104 https://www.americaspg.com/articleinfo/21/show/428