Sign in

Libre University uses your GitHub account. Signing in is only needed to sit a final test, so the score is kept on your profile.

The language of propositions

1.[2p]

What is the main connective of ¬(PQ)(RS)?

Correct
The answer is: The arrow
The answer is: The arrow
The answer is: The arrow

2.[3p]

"You may board only if you hold a ticket" translates as

Correct
The answer is: $B \rightarrow T$
The answer is: $B \rightarrow T$
The answer is: $B \rightarrow T$

3.[1p]

In this notation, "P or Q" is true when both P and Q are true.

Correct
The answer is: True

4.[3p]

Which English connective is not truth-functional?

Correct
The answer is: She resigned because the audit failed
The answer is: She resigned because the audit failed
The answer is: She resigned because the audit failed

5.[3p]

Match each English form to its translation.

  • Neither P nor Q

  • Not both P and Q

  • P unless Q

  • P if Q

  • ¬P¬Q

  • ¬(PQ)

  • QP

  • ¬QP

Show the answer

Neither P nor Q: ¬P¬Q Not both P and Q: ¬(PQ) P unless Q: ¬QP P if Q: QP

6.[2p]

Which of these are correctly translated as a conjunction?

Select all that apply

Correct
Correct
Correct
The answer is: She is qualified but inexperienced, The engine started, although the oil was low, The report is late; the figures are wrong

7.[2p]

What is the term for the part of PQ that P occupies?

CorrectNot quite: antecedent

8.[2p]

¬PQ and ¬(PQ) say the same thing.

The answer is: False
Correct

9.[2p]

Why does propositional logic treat "Socrates is a man" as a single letter?

Correct
The answer is: It contains no smaller statement, so this language can see no structure in it
The answer is: It contains no smaller statement, so this language can see no structure in it
The answer is: It contains no smaller statement, so this language can see no structure in it