Литералом называется атомарная формула ,
а атомарная формула с отрицанием называется отрицательным литералом .
Литералом называется атомарная формула , а атомарная формула с отрицанием называется отрицательным литералом .
Литералом называется атомарная формула , а атомарная формула с отрицанием называется отрицательным литералом .