I am not asking for a specific answer, as I assume this would be against the rules of this group, just instructions to the correct approach for the following question:
In CS50AI 2020 - Quiz 1, we have the following question:
The following question will ask you about the following logical sentences.
If Hermione is in the library, then Harry is in the library.
Hermione is in the library.
Ron is in the library and Ron is not in the library.
Harry is in the library.
Harry is not in the library or Hermione is in the library.
Ron is in the library or Hermione is in the library.
Which of the following logical entailments is true? *
Sentence 6 entails Sentence 3
Sentence 1 entails Sentence 4
Sentence 2 entails Sentence 5
Sentence 1 entails Sentence 2
Sentence 6 entails Sentence 2
Sentence 5 entails Sentence 6
As far as I can see, none of these statements (by themselves) entail any of the other statements.
E.g., the first option is: Sentence 6 entails Sentence 3
That is impossible, because Statement 3 is False, so cannot be entailed.
The second option is: Sentence 1 entails Sentence 4, this also appears to be non-proven (i.e. not entailed), because we do not know if Hermione is in the library (i.e if we did know that Hermione was in the library then we could say, we know Harry is in the library, because Hermione is there, but we do not know Hermione is there in the first place).
And so on.
Any pointers in the right direction would be appreciated.