Logica. Ce tip de propozitie este :
Liliacul este un mamifer zburator ?