Mantık, felsefenin temel disiplinlerinden biridir ve doğru düşünmenin ilkelerini inceler. Bilgisayar bilimlerinde kullanılan algoritmalar ve programlama dilleri, mantıksal ilkelere dayanmaktadır.
Bu durum felsefe-bilgisayar bilimi ilişkisi için aşağıdakilerden hangisini kanıtlar?
