The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+1 vote
68 views

q = you can access the library

r = you have a valid ID

s = you have paid subscription fee of that day

Consider the following English sentence

“You cannot access the library if you don’t have a valid ID unless you have paid subscription fee of that day”

which of the following is the correct logical expression?

  1. $q \rightarrow (r \vee s )$
  2. $(q \rightarrow r) \vee s$
asked in Mathematical Logic by Boss (34.5k points)
edited by | 68 views
0
why do you add $s$ variable?
0
0
Now see the answer.

1 Answer

+1 vote

$“$You cannot access the library if you don’t have a valid ID unless you have paid subscription fee of that day$”$

we can write like this

$“$You cannot access the library if you don’t have a valid ID and you  don't have paid subscription fee of that day$”$

$\neg q$   if   $\neg r$     unless   s

$\neg q$   if   $\neg r$    and $\neg s$

$\neg q$   if $\neg r \wedge \neg s$

$(\neg r \wedge \neg s)\rightarrow \neg q$

Implication:$P\rightarrow Q\equiv \neg P\vee Q$

Contrapositive Positive$:\neg Q\rightarrow \neg P\equiv \neg(\neg Q)\vee \neg P\equiv Q\vee \neg P\equiv\neg P\vee Q$

$Q$  if $P\equiv P\rightarrow Q$

$(\neg r \wedge \neg s)\rightarrow \neg q\equiv \neg(\neg q)\rightarrow\neg(\neg r \wedge \neg s)\equiv q\rightarrow(r\vee s)$

answered by Boss (41.8k points)
0

unless is or right?

0
$P$ Unless $Q\equiv \neg Q\rightarrow P\equiv \neg(\neg Q)\vee P\equiv P\vee Q$
0

¬q   if   ¬r     unless s

¬q   if   ¬r    and ¬s

why you have replaced 

¬r     unless   s

with 

¬r    and ¬s

 

 

 

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
49,814 questions
54,518 answers
188,351 comments
75,294 users