Log In
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
0 votes
formulas represent the sentence, 'He will come on the 8:15 or the 9:15 train; if the former, he will have time to visit us', where

p means 'He will come on the 8:15'
q means 'He will come on the 9:15'
r means 'He will have time to visit us'
in Mathematical Logic 89 views

1 Answer

0 votes

(pVq) (p r)      

Related questions

2 votes
1 answer
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? $q \rightarrow (r \vee s )$ $(q \rightarrow r) \vee s$
asked Jan 7, 2019 in Mathematical Logic Mk Utkarsh 134 views
0 votes
0 answers
1 vote
0 answers
Que. Consider domain is the set of all people in the world. $F(x,y) =x \text{ is the friend of y}.$ Represent each of the following sentences using first-order logic statements $1.$ Every person has $at most \ 2$ friends. $2.$ Every person has $exactly \ 2$ friends. $3.$ Every ... $3. \forall x \exists y_1\exists y_2(F(x,y_1) \wedge F(x,y_2) \wedge (y_1 \neq y_2))$ Please verify.
asked Dec 6, 2018 in Mathematical Logic Soumya29 113 views
1 vote
0 answers
Some people are Time Travelers and some people are not Time Travelers. P(x) = x is a Person T(x) = x is a Time Traveler Which is/are correct and why? (∀x)(P(x) $\rightarrow$(T(x)∨~T(x))) (∃x)(P(x)^T(x)) ∨ (∃x)(P(x)^~T(x)) (∃x)(P(x)^T(x)) ^ (∃x)(P(x)^~T(x)) (∀x)((P(x)$\rightarrow$T(x)) ∨ (P(x)$\rightarrow$~T(x))) P(x) (∀x)P (∀x)P(x) P
asked Sep 27, 2018 in Mathematical Logic Balaji Jegan 82 views