formal logic [İngilizce]

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, f

   Almanca formale Logik