Rečenična logika