W logice, która jest często spotykana na wielu kierunkach studiów jako przedmiot do zaliczenia, są jasne reguły. Nauka ta dotyczy klarowności i stosowania określonych wzorców. To właśnie dlatego w języku potocznym utarło się stwierdzenie, że coś jest czy może być logiczne. Pewne nazwy można negować, wtedy ma miejsce tak zwana negacja. Określone nazwy w logice to wyrazy czy wyrażenia. Pełnią one funkcje zazwyczaj taką, jak podmiot lub orzecznik.