2.01 Translating logic statements
Interactive practice questions
Let
| $p$p: | A zebra has a mane. | |
| $q$q: | A dog can bark. |
What are the following statements in symbolic form?
"A zebra does not have a mane."
$\sim$~$p$p
$p$p$\wedge$∧$q$q
$p$p$\vee$∨$q$q
$\sim$~$q$q
"A zebra has a mane and a dog can bark."
$p$p$\vee$∨$q$q
$p$p$\Rightarrow$⇒$q$q
$p$p$\Leftrightarrow$⇔$q$q
$p$p$\wedge$∧$q$q
"A dog cannot bark or a zebra does not have a mane."
$\sim$~$q$q$\vee$∨$\sim$~$p$p
$\sim$~$q$q$\wedge$∧$p$p
$q$q$\vee$∨$p$p
$q$q$\Rightarrow$⇒$\sim$~$p$p
"A dog cannot bark if and only if a zebra does not have a mane."
$q$q$\Leftrightarrow$⇔$\sim$~$p$p
$\sim$~$q$q$\Rightarrow$⇒$\sim$~$p$p
$\sim$~$q$q$\Leftrightarrow$⇔$\sim$~$p$p
$\sim$~$p$p$\Rightarrow$⇒$\sim$~$q$q
"If a zebra does not have a mane, then a dog cannot bark."
$p$p$\Rightarrow$⇒$q$q
$\sim$~$q$q$\Rightarrow$⇒$\sim$~$p$p
$\sim$~$p$p$\Leftrightarrow$⇔$\sim$~$q$q
$\sim$~$p$p$\Rightarrow$⇒$\sim$~$q$q
"A dog cannot bark, but a zebra has a mane."
$\sim$~$q$q$\wedge$∧$\sim$~$p$p
$\sim$~$q$q$\wedge$∧$p$p
$\sim$~$q$q$\Rightarrow$⇒$p$p
$\sim$~$q$q$\vee$∨$\sim$~$p$p
Let
| $p$p: | Dave has a laptop. | |
| $q$q: | Quentin has a smartphone. |
What are the following statements in words?
Answer the following.
Which of the following is correct?
Select ONE of the statements.