buyruklar mantığı anlamı İng. logic of commands
İçinde en az bir buyruk geçen çıkarımların geçerliliğini konu edinen önermesel olmayan mantık dizgesi.