The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
Facebook Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
Self Doubt
0
votes
46
views
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'
propositionallogic
asked
Oct 29, 2018
in
Mathematical Logic
by
manisha11
Active
(
2.3k
points)

46
views
answer
comment
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
0
votes
(pVq)
(p
r)
answered
Oct 29, 2018
by
Manas Mishra
Active
(
3k
points)
comment
Please
log in
or
register
to add a comment.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
+2
votes
1
answer
1
Propositional logic self doubt
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
by
Mk Utkarsh
Boss
(
36.4k
points)

85
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
0
votes
0
answers
2
Propositional logic self doubt
asked
Dec 19, 2018
in
Mathematical Logic
by
Na462
Loyal
(
7k
points)

65
views
propositionallogic
discretemathematics
+1
vote
0
answers
3
Self doubt Propositional Logic
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 firstorder logic statements $1.$ Every person has $at most \ 2$ friends. $2.$ Every person has $exactly \ 2$ ... $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
by
Soumya29
Boss
(
16.3k
points)

93
views
discretemathematics
firstorderlogic
propositionallogic
+1
vote
0
answers
4
PREDICATE LOGIC SELF DOUBT
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
by
Balaji Jegan
Active
(
5k
points)

57
views
propositionallogic
firstorderlogic
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
Recent Posts
ISRO CSE 2020 PAPER ANALYSE
BARC OCES/DGFS 2020
ISI CMI PDF by GATE Overflow
Management Trainee Recruitment COAL INDIA 2020
ECIL Interview Experience
All categories
General Aptitude
1.9k
Engineering Mathematics
7.5k
Discrete Mathematics
5.2k
Mathematical Logic
2.1k
Set Theory & Algebra
1.4k
Combinatory
916
Graph Theory
824
Probability
1k
Linear Algebra
723
Calculus
592
Digital Logic
2.9k
Programming and DS
4.9k
Algorithms
4.4k
Theory of Computation
6.2k
Compiler Design
2.1k
Operating System
4.5k
Databases
4.1k
CO and Architecture
3.4k
Computer Networks
4.2k
Non GATE
1.4k
Others
1.4k
Admissions
595
Exam Queries
573
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent Blog Comments
CIL is a mining company and there is no CS/IT job...
Here is the ISRO2020 question paper with...
On an all, IT branch is not eligible then,or is...
What was the answer for checksum field in tcp...
@CSHuB You need to choose "systems" as post...
50,737
questions
57,257
answers
198,086
comments
104,735
users