Opis logiki.