عرض مصطلح معلوماتية

منطقٌ صوريّ | formal logic
دراسةُ التعابير المنطقية والتتاليات والبناء الإجمالي لحجة صالحة، دون النظر في صحة الحجة. يُستعمَلُ المنطقُ الصوريُّ في برهان صحة البرامج.