Đặc tả hình thức - Các cơ sở của đặc tả

Thực hiện các phép toán trên mệnh đề.
Lập bảng chân trị của 1 dạng mệnh đề.
Chứng minh dạng mệnh đề là hằng đúng/sai.
Chứng minh 2 dạng mệnh đề tương đương logic.
Chứng minh các phép suy diễn trên mệnh đề.

Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học , xây dựng hệ thống, Ngôn ngữ tự nhiên