Điều này thực sự "chính xác" và rõ ràng không?

Question

Đối với một trong các lớp CS bắt đầu của tôi, chúng ta sẽ đi qua "logic chức năng thật".

Câu hỏi của tôi liên quan đến bản dịch tiếng Anh. Lưu ý rằng^là AND; v là (bao gồm) HOẶC; ~ KHÔNG. -> là NẾU

Vâng, chúng tôi đã thế này: "THUÊ được trả là một điều kiện cần thiết cho việc lưu trú tại KINH DOANH"

 
RENT -> BUSINESS 

Bất cứ khi nào chúng tôi phân loại tất cả mọi thứ này là sai. Tôi hỏi giáo viên tại sao và cô ấy không nói gì thêm rằng "nếu không có then trong câu, thì tiền định luôn luôn là"

Tôi muốn giải thích thêm về cách điều này sai. Và làm thế nào câu không mơ hồ. Một cái gì đó nhiều hơn "không có then vì vậy nó luôn luôn theo cách này."

Ngoài ra, lưu ý phụ: Nhà điều hành boolean IF đến từ đâu? Tôi chưa bao giờ nghe nói về một nhà điều hành như vậy về cơ bản là tương đương trong mã Cish để a==true?b:true. Tôi có một thời gian rất khó nắm bắt được việc sử dụng nó.

chỉnh sửa: Câu trả lời đúng là

 
BUSINESS -> RENT 

Answer 1

Nếu bạn trả tiền thuê nhà, bạn không nhất thiết trong kinh doanh. Thuê! (->) Kinh doanh.

Tuy nhiên, nếu bạn đang kinh doanh, bạn phải trả tiền thuê nhà. Kinh doanh -> Thuê.

Answer 2

Tôi nghĩ rằng nó nên đã được viết:

BUSINESS -> RENT 

"Nếu bạn đang ở trong kinh doanh, sau đó bạn đang trả tiền thuê nhà."

P -> Q 

có thể được tuyên bố "P ngụ ý Q", "Nếu P, sau đó Q" hoặc "Q nếu P."

Answer 3

Cô ấy đúng. Đây là số cổ điển a ngụ ý b nhưng b không hàm ý a. Những gì bạn đang nói kinh doanh là một điều kiện cần thiết của việc trả tiền thuê nhà là sai.

Answer 4

Nhà điều hành boolean IF ở đâu? Tôi chưa bao giờ nghe nói về một nhà điều hành như vậy về cơ bản là tương đương trong mã Cish để a==true?b:true. Tôi có một thời gian rất khó nắm bắt được việc sử dụng nó.

Toán tử này thường được gọi là "ngụ ý". Ý của bạn là "nó đã đến từ đâu"?

Và có, ngụ ý là khó nắm bắt và sai lầm của bạn hoàn toàn điển hình.

Bạn có thể giải thích hàm ý bằng cách chú ý rằng dưới cơ sở giả, có thể được giải thích, thậm chí không có thật (ví dụ, chúng tôi có thể chứng minh toán học 1 = 2 nếu chúng tôi sử dụng tiền đề chia cho 0 là hợp pháp).Vì lý do đó, 0 -> x luôn đúng, bất kể giá trị của x (tức là hàm ý có thể tạo ra kết quả).

Mặt khác, nếu cơ sở của bạn là chính xác, hàm ý sẽ dẫn đến kết quả đúng, do đó, 1 -> 1 là đúng (tiền đề thực sự ngụ ý kết quả thực), và 1 -> 0 là sai (tiền đề thực không thể ám chỉ sai kết quả).

Answer 5

!RENT -> !BUSINESS 

Nếu bạn không trả tiền thuê thì bạn không hoạt động. Đây là "contrapositive" của

BUSINESS -> RENT 

Nếu bạn đang kinh doanh, thì bạn đang trả tiền thuê.

Các cách khác để nói điều này (kể từ a -> b === (!a || b)):

!BUSINESS || RENT 
RENT || !BUSINESS 

Hoặc bạn đang không ở trong kinh doanh hoặc bạn đang trả tiền thuê nhà hoặc cả hai (hoặc ngược lại).

!(!RENT && BUSINESS) 

Bạn không vừa không trả tiền thuê và kinh doanh (hoặc ngược lại).

THÊM: BTW, đây là độ phân giải hoạt động. Đưa tri thức của bạn vào dạng bình thường liên kết, trong đó mỗi mệnh đề bao gồm sự phân tách các thuật ngữ nguyên tử, mỗi mệnh đề có thể bị phủ nhận. Nếu bạn biết bạn không trả tiền thuê, thì đó là một mệnh đề mà bạn có thể giải quyết (nghĩa là hủy bỏ các điều khoản) với hàm ý để suy ra một điều khoản mới, cụ thể là bạn không ở trong kinh doanh.

RENT || !BUSINESS 
!RENT 
-------- 
!BUSINESS 

Tương tự, nếu bạn biết bạn đang kinh doanh, bạn có thể hủy điều khoản để kết luận rằng bạn đang trả tiền thuê.

RENT || !BUSINESS 
BUSINESS 
-------- 
RENT 

Đó là điểm thu hút của các định lý lý thuyết độ phân giải - một quy tắc suy luận bao gồm cả suy luận tiến và lùi.

Nó cũng xử lý trường hợp-lý luận độc đáo, như thế nào nếu A-> C và B-> C, và A || B, nó cho phép bạn kết luận C:

1. !A || C 
2. !B || C 
3. A || B 
---------- 
4. B || C (resolve 3 and 1) 
5. C  (resolve 4 and 2) 

Answer 6

Mấu chốt ở đây là chữ " cần thiết." Chúng tôi có một câu có dạng "X là cần thiết cho Y". Điều này có nghĩa là X phải đúng với Y là đúng. Trong ngôn ngữ hàng ngày, chúng tôi nghĩ về điều này là "Y có thể không đúng trừ khi X là đúng". Và điều này dịch rất rõ ràng thành "nếu X là false thì Y là sai" bởi vì nếu X là false nhưng Y là đúng thì chúng tôi sẽ vi phạm Y có thể không đúng trừ khi X là đúng. Nhưng nếu X là sai thì Y là sai dịch biểu tượng thành !X => !Y có contrapositive Y => X. Đây là lý do tại sao "X là cần thiết cho Y" tương đương với Y => X.

Dưới đây là ví dụ: lẻ là cần thiết để là số nguyên tố và lớn hơn hai. Điều này có nghĩa là nếu một số là số nguyên tố và lớn hơn hai, nó phải là số lẻ vì lẻ là một điều kiện cần thiết để là số nguyên tố và lớn hơn hai. Nói cách khác, nếu một số là số nguyên tố và lớn hơn hai, thì nó phải là số lẻ.Trò chuyện (nếu một số lẻ thì phải là số nguyên tố) là vô lý.

Điều này sẽ thuyết phục bạn rằng X là cần thiết cho Y tương đương với Y => X.

Có một mối quan hệ khác nhau nhưng có liên quan giữa các câu lệnh có dạng như sau: ". X là điều kiện đủ cho Y" Trong ngôn ngữ hàng ngày chúng ta sẽ nói rằng 'biết X đúng là cơ sở để Y đến mức khó tin', hoặc X => Y.

hai implicational (đó là một từ bây giờ!) các mối quan hệ là cá nhân nộp thuế của nhau. trong thực tế, trong toán học, một hình thức rất quan trọng là "X là một điều kiện cần và đủ để Y." điều này có nghĩa rằng X => Y và Y => X hoặc X <=> Y. Chúng tôi nói rằng X và Y tương đương và đôi khi chúng tôi nói "X if and only if Y" và đôi khi viết tắt là "X iff Y."