convert statement to logical connectives

**zerodigit** · September 21st 2008, 09:57 PM

pls help me with this problem

let p ,q, r denote the following atomic statements

p:today is monday
q:the grass is wet
r: the dish ran away with the spoon

write the following in terms of p,q,r and logical connectives

1.Today is monday and the dish did not run away with the spoon

2.Either the grass is wet or today is monday.

3.Today is not monday and the grass is dry

4.The dish ran away with the spoon, but the grass is wet

I thank anybody who answers this post in advance
By the way sorry for posting 2 threads consecutively.

**Soroban** · September 22nd 2008, 12:21 PM

Hello, zerodigit!

$p\!:\;\text{Today is Monday}$
$q\!:\;\text{The grass is wet}$
$r\!:\;\text{The dish ran away with the spoon}$

Write the following in terms of $p,q,r$ and logical connectives

$1)\;\;\underbrace{\text{Today is Monday}}_{p}\; \underbrace{\text{and}}_{\wedge}\; \underbrace{\text{the dish did not run away with the spoon}}_{\sim r} \qquad p \;\wedge \sim r$

$2)\;\text{Either }\underbrace{\text{the grass is wet}}_{q}\:\underbrace{\text{or}}_{\vee}\:\underbr ace{\text{today is Monday}}_{p} \qquad q \vee p$

$3)\; \underbrace{\text{Today is not Monday}}_{\sim p}\:\underbrace{\text{and}}_{\wedge}\:\underbrace{ \text{the grass is dry}}_{\sim q} \qquad \sim p \;\wedge \sim q$

$4)\; \underbrace{\text{The dish ran away with the spoon}}_{r}\: \underbrace{\text{but}}_{\wedge}\: \underbrace{\text{the grass is wet}}_{q} \qquad r \wedge q$

Thread: convert statement to logical connectives

LinkBack

Thread Tools

Display

convert statement to logical connectives

Similar Math Help Forum Discussions

[SOLVED] set of connectives

Logical statement translation?

Prove/disprove using logical using logical arguments

Using truth tables to show logical consistancy between logical expressions

Geometry - Rays, logical statement

Search Tags