Another important logical equivalen

Another important logical equivalence is very helpful when we seek to manipulate truth-functional connectives. Material implication “ ” was defined (in Section 8.3) as an abbreviated way of saying ~ (p.~q). That is, “p materially implies q” simply means, by definition, that it is not the case that p is true while q is false. In this definition we see that the definiens, ~ (p.~q) is the denial of a conjunction.

Kết quả (Việt) 1:

Một tương đương quan trọng hợp lý là rất hữu ích khi chúng tôi tìm cách để thao tác thật chức năng connectives. Vật liệu ngụ ý "" được định nghĩa (trong phần 8.3) như là một cách viết tắt của nói ~ (p. ~ q). Có nghĩa là, "p vật chất ngụ ý q" chỉ đơn giản có nghĩa là, theo định nghĩa, nó không phải là trường hợp p đó là sự thật trong khi q là false. Trong định nghĩa này, chúng ta thấy rằng definiens, ~ (p. ~ q) là sự từ chối của cùng một.

Kết quả (Việt) 2:

Một sự tương đương logic quan trọng là rất hữu ích khi chúng ta tìm kiếm để thao tác từ nối thật chức năng. ý nghĩa vật chất "" đã được xác định (tại mục 8.3) như là một cách viết tắt của nói ~ (p. ~ q). Đó là, "p vật chất bao hàm q" chỉ có nghĩa là, theo định nghĩa, rằng nó không phải là trường hợp đó p là đúng khi q là sai. Trong định nghĩa này, chúng ta thấy rằng Definiens, ~ (p. ~ Q) là từ chối một sự liên kết.