Loica, logic