biçimsel mantık ne demek?

Teknoloji dünyasında biçimsel mantık ne anlama gelir? biçimsel mantık kelimesinin sözlük anlamı, biçimsel mantık ne anlama geliyor?

biçimsel mantık kelimesinin anlamı:

Almanca: formale Logik
Fransızca: logique formelle
İngilizce: formal logic  

Bilişim Dünyasındaki Anlamı:  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.

biçimsel mantık kelimesi 15 harften oluşmaktadır.

biçimsel mantık kelimesi tersten kıtnam lesmiçib olarak yazılır.