implicational propositional calculus
danh từ (noun)
Nghĩa chính
- Phiên bản tối giản của phép tính mệnh đề chỉ sử dụng các liên kết logic → ("ngụ ý") và ⊥ ("sai")danh từkhông đếm được (uncountable)A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").
Họ từ (word family)
Từ liên quan (related word)