Apl dengan ciri 'Logik yang diakui'