Which of the following can be mapped to formulas in propositional logic? Consider ‘John has X’ as one atomic sentence, and a compound sentence can be broken into equivalent simple sentences.
John has a red hat.
John has a red hat and a red jacket.
If John has a red jacket then he has a red hat too.
John has either a red jacket or a red hat.
John either has a red hat or a red jacket but not both.
