formal logic

biçimsel mantık

1. • bilişim
   Akıl yürütmelerin salt yapı ve biçimini göz önüne alan, anlam içeriğini göz ardı eden soyut mantık.
   İngilizce formal logic

   Fransızca logique formelle

   Almanca formale Logik