Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Webpage for Mathematical Logic
Important Question Types:
Checking validity of First Order Logic Statements
Checking validity of Propositional Logic
Recent questions tagged mathematical-logic
1
votes
1
answer
601
Zeal Test Series 2019: Mathematical Logic - First Order Logic
Prince Sindhiya
430
views
Prince Sindhiya
asked
Dec 21, 2018
Mathematical Logic
discrete-mathematics
mathematical-logic
first-order-logic
zeal
zeal2019
+
–
6
votes
2
answers
602
TIFR CSE 2019 | Part B | Question: 4
Let $\varphi$ be a propositional formula on a set of variables $A$ and $\psi$ be a propositional formula on a set of variables $B$ , such that $\varphi \Rightarrow \psi$ . A $\textit{Craig interpolant}$ of $\varphi$ and $\psi$ is a propositional formula $\mu$ ... interpolant for $\varphi$ and $\psi$ ? $q$ $\varphi$ itself $q \vee s$ $q \vee r$ $\neg q \wedge s$
Let $\varphi$ be a propositional formula on a set of variables $A$ and $\psi$ be a propositional formula on a set of variables $B$ , such that $\varphi \Rightarrow \p...
Arjun
1.3k
views
Arjun
asked
Dec 18, 2018
Mathematical Logic
tifr2019
mathematical-logic
propositional-logic
+
–
0
votes
1
answer
603
Kenneth Rosen Edition 6th Exercise 1.3 Question 37c (Page No. 49)
Express these statement using predicates and quantifiers. A student must take at least 60 course hours ,or atleast 45 course hours and write a master’s thesis, and receive a grade no lower than a B in all required courses, to receive a master’s degree.
Express these statement using predicates and quantifiers.A student must take at least 60 course hours ,or atleast 45 course hours and write a master’s thesis, and recei...
kd.....
583
views
kd.....
asked
Dec 16, 2018
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
+
–
0
votes
0
answers
604
Quantifiers
Translate into the predicate logic One has to drink water in order to survive D(x) = x drinks water S(x) = x survives
Translate into the predicate logicOne has to drink water in order to surviveD(x) = x drinks waterS(x) = x survives
kd.....
476
views
kd.....
asked
Dec 9, 2018
Mathematical Logic
mathematical-logic
discrete-mathematics
propositional-logic
+
–
0
votes
1
answer
605
Propositional Logic
Which of the following is the best English translation for All humans eat alligator Alligator eats only human Every Alligator Eats Human Only Alligator eats Human
Which of the following is the best English translation for All humans eat alligatorAlligator eats only humanEvery Alligator Eats HumanOnly Alligator eats Human
Na462
418
views
Na462
asked
Dec 8, 2018
Mathematical Logic
propositional-logic
discrete-mathematics
mathematical-logic
+
–
0
votes
0
answers
606
Tautology
Consider the following statements: $P_1$: Sachin Tendulkar gets out before the tea break only if Ishant Sharma comes out to bat. $P_2$: Ishant Sharma won't come out to bat, if Lasith Malinga is not called to bowl. $P_3$: Sachin Tendulkar got out before the tea break. Which ... Keeping A, B, C option as X one by one, and all follows, thus option D is correct but given answer is C.
Consider the following statements:$P_1$: Sachin Tendulkar gets out before the tea break only if Ishant Sharma comes out to bat.$P_2$: Ishant Sharma won’t come out to ba...
Shubhanshu
410
views
Shubhanshu
asked
Nov 29, 2018
Mathematical Logic
propositional-logic
mathematical-logic
+
–
0
votes
1
answer
607
why is the conclusion incorrect for the below premises ?
I am getting the conclusion to be true by Proof by Contradiction , what's wrong in the approach ?
I am getting the conclusion to be true by Proof by Contradiction , what's wrong in the approach ?
radha gogia
703
views
radha gogia
asked
Nov 13, 2018
Mathematical Logic
mathematical-logic
+
–
2
votes
1
answer
608
Zeal Test Series 2019: Mathematical Logic - First Order Logic
Its answer is D) can anyone explain what is difference between a) and d)
Its answer is D) can anyone explain what is difference between a) and d)
Prince Sindhiya
381
views
Prince Sindhiya
asked
Nov 11, 2018
Mathematical Logic
zeal
mathematical-logic
zeal2019
discrete-mathematics
+
–
1
votes
0
answers
609
Zeal Workbook: Mathematical Logic - First Order Logic
Its answer is a) but here more(x,y) is given means it should be like this -- x is more than y then isn't a) is wrong
Its answer is a) but here more(x,y) is given means it should be like this x is more than y then isn't a) is wrong
Prince Sindhiya
538
views
Prince Sindhiya
asked
Nov 9, 2018
Mathematical Logic
zeal
mathematical-logic
first-order-logic
zeal-workbook
+
–
0
votes
1
answer
610
Zeal Workbook: Mathematical Logic - First Order Logic
How to write the last line of Qno. 19 - irrespective of whether the system has been armed the alarm should go off when there is fire For Qno 20 I am getting iii) and iv) as true but answer is a) please check the 5th one
How to write the last line of Qno. 19 - irrespective of whether the system has been armed the alarm should go off when there is fireFor Qno 20 I am getting iii) and iv) a...
Prince Sindhiya
808
views
Prince Sindhiya
asked
Nov 9, 2018
Mathematical Logic
zeal
mathematical-logic
first-order-logic
zeal-workbook
+
–
0
votes
1
answer
611
Zeal Test Series: Mathematical Logic - First Order Logic
1)How to do question no. 34,36
1)How to do question no. 34,36
Prince Sindhiya
552
views
Prince Sindhiya
asked
Nov 9, 2018
Mathematical Logic
zeal
mathematical-logic
first-order-logic
zeal-workbook
+
–
0
votes
0
answers
612
Zeal Workbook: Mathematical Logic - First Order Logic
I am getting b) but right option is a) please check it
I am getting b) but right option is a) please check it
Prince Sindhiya
509
views
Prince Sindhiya
asked
Nov 9, 2018
Mathematical Logic
zeal-workbook
mathematical-logic
first-order-logic
zeal
+
–
0
votes
0
answers
613
Zeal Workbook: Mathematical Logic - First Order Logic
Answer for this is a) but m getting d) as right option please check it
Answer for this is a) but m getting d) as right option please check it
Prince Sindhiya
647
views
Prince Sindhiya
asked
Nov 9, 2018
Mathematical Logic
zeal
mathematical-logic
first-order-logic
zeal-workbook
+
–
0
votes
1
answer
614
Zeal Workbook: Mathematical Logic - First Order Logic
answer for this is A) My doubt is why D) can't be the answer
answer for this is A) My doubt is why D) can't be the answer
Prince Sindhiya
735
views
Prince Sindhiya
asked
Nov 9, 2018
Mathematical Logic
discrete-mathematics
mathematical-logic
first-order-logic
zeal-workbook
+
–
1
votes
1
answer
615
proposition logic
CONVERT IN TO LOGIC No one who loves some one is not loved by anyone lets S(x):x is somebody L(x,y):x loves y
CONVERT IN TO LOGICNo one who loves some one is not loved by anyonelets S(x):x is somebodyL(x,y):x loves y
Anurag Tiwari 1
291
views
Anurag Tiwari 1
asked
Oct 30, 2018
Mathematical Logic
mathematical-logic
first-order-logic
+
–
0
votes
0
answers
616
TANCET 2016 Mathematical Logic
Balaji Jegan
137
views
Balaji Jegan
asked
Oct 23, 2018
Mathematical Logic
tancet
mathematical-logic
+
–
0
votes
0
answers
617
Quantifiers
Given that B(x) means "x is a bear" F(x) means "x is a fish" and E(x,y) means "x eats y" What is the best English translation of $\forall x [F(x)\rightarrow \forall y(E(y,x)\rightarrow B(y))]$ A) All fish eat bears B) Every bears can eat fish C) Only bears eat fish D) Bears eat only fish
Given thatB(x) means "x is a bear"F(x) means "x is a fish" and E(x,y) means "x eats y"What is the best English translation of$\forall x [F(x)\rightarrow \forall y(E(y,x)\...
Lakshman Bhaiya
503
views
Lakshman Bhaiya
asked
Oct 2, 2018
Mathematical Logic
discrete-mathematics
mathematical-logic
+
–
0
votes
1
answer
618
First Order Logic: GATE2005-41 ( From gate Overflow volume 1)
Can the answer to this be "∀x ∃y (teacher (x) ∧ student (y) ∧ likes (y,x))" ?
Can the answer to this be "∀x ∃y (teacher (x) ∧ student (y) ∧ likes (y,x))" ?
rambo1987
654
views
rambo1987
asked
Sep 29, 2018
Mathematical Logic
mathematical-logic
first-order-logic
+
–
0
votes
0
answers
619
Nested Quantifiers
If we have ∀x(p(x)) then in boolean algebra form we can write this statement as (P1 + P2) where + signifies OR which makes it very easy to deal with. So likewise is there any way to have a view of a statement like ∀x∀y(R(x,y)) into boolean form?
If we have ∀x(p(x)) then in boolean algebra form we can write this statement as (P1 + P2) where + signifies OR which makes it very easy to deal with. So likewise is the...
sushil1997
463
views
sushil1997
asked
Sep 28, 2018
Mathematical Logic
mathematical-logic
discrete-mathematics
kenneth-rosen
block-nested-loop-join
propositional-logic
+
–
0
votes
0
answers
620
No idea about what to study in FIRST ORDER LOGIC
Hello, please kindly tell from where to study topic FIRST ORDER LOGIC? Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!
Hello, please kindly tell from where to study topic FIRST ORDER LOGIC?Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!
iarnav
527
views
iarnav
asked
Sep 28, 2018
Mathematical Logic
mathematical-logic
propositional-logic
first-order-logic
+
–
0
votes
1
answer
621
PREDICATE LOGIC DOUBT
Only Area 51 has Extra-Terresstrials A(x) = x is Area 51 E(x) = x has Extra-Terresstrials Which of the following is correct? (∀x)(A(x) -> E(x)) (∀x)(E(x) -> A(x)) (∀x)(A(x) <-> E(x))
Only Area 51 has Extra-TerresstrialsA(x) = x is Area 51E(x) = x has Extra-TerresstrialsWhich of the following is correct?(∀x)(A(x) - E(x))(∀x)(E(x) - A(x))(∀x)(A(x)...
Balaji Jegan
477
views
Balaji Jegan
asked
Sep 27, 2018
Mathematical Logic
mathematical-logic
first-order-logic
+
–
0
votes
0
answers
622
Propositional Logic
Are the following first order logic formulae equivalent?
Are the following first order logic formulae equivalent?
srestha
401
views
srestha
asked
Sep 25, 2018
Mathematical Logic
propositional-logic
mathematical-logic
discrete-mathematics
+
–
0
votes
1
answer
623
Mathematical Logic
prove $(¬A→¬B)∧(A→C)→(B→C)$
prove $(¬A→¬B)∧(A→C)→(B→C)$
Vishnathan
208
views
Vishnathan
asked
Sep 20, 2018
Mathematical Logic
mathematical-logic
discrete-mathematics
+
–
0
votes
0
answers
624
Predicate logic gatebook test on logic Q18
Sandy Sharma
481
views
Sandy Sharma
asked
Sep 8, 2018
Mathematical Logic
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
+
–
0
votes
0
answers
625
Predicate logic gatebook test on logic Q13
Consider the following statement where parent(x,y) means x is a parent of y. Which of the following statement is true about above first order logic statement ? A. Ramu has at least one parent B. Ramu has at least two parents C. Ramu has at most one parent D. Ramu has at most two parents
Consider the following statement where parent(x,y) means x is a parent of y. Which of the following statement is true about above first order logic statement ? A. Ramu ha...
Sandy Sharma
404
views
Sandy Sharma
asked
Sep 8, 2018
Mathematical Logic
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
+
–
0
votes
0
answers
626
Predicate logic gatebook test on logic Q4
Minesweeper is a single-player computer game invented by Robert Donner in 1989. A unary predicate mine, where mine(x) means that the cell x contains a mine Which of the following statements is the correct interpretation of the above formula? A. There are ... are at least n mines in the game C. There are at most n mines in the game D. None of the above
Minesweeper is a single-player computer game invented by Robert Donner in 1989.A unary predicate mine, where mine(x) means that the cell x contains a mineWhich of the fol...
Sandy Sharma
452
views
Sandy Sharma
asked
Sep 8, 2018
Mathematical Logic
mathematical-logic
propositional-logic
first-order-logic
discrete-mathematics
+
–
0
votes
1
answer
627
How to validate below proposition ?
(p->q) ^ (r->s) ~q OR ~s Conclusion is ~p OR ~r How to see if the conclusion is valid or not ?
(p->q) ^ (r->s)~q OR ~s Conclusion is ~p OR ~r How to see if the conclusion is valid or not ?
radha gogia
207
views
radha gogia
asked
Sep 7, 2018
Mathematical Logic
mathematical-logic
+
–
0
votes
1
answer
628
How to derive conclusion of below premises ?
P->R Q->R How is the conclusion is (P^Q)->R ? I could only derive that both P and Q are true .
P->RQ->R How is the conclusion is (P^Q)->R ?I could only derive that both P and Q are true .
radha gogia
439
views
radha gogia
asked
Aug 26, 2018
Mathematical Logic
mathematical-logic
+
–
0
votes
0
answers
629
What is the conclusion of below premises ?
radha gogia
244
views
radha gogia
asked
Aug 25, 2018
Mathematical Logic
mathematical-logic
+
–
1
votes
2
answers
630
Mathematical Logic
Consider the following well formed formula: The maximum number of rows in truth table of above formula which evaluate to true are ________. $\left ( p\vee \sim q\vee\vee \sim r\vee s \right )\rightarrow t\vee \sim u$ __________________________________________________________________________ I got 5 and ans given 49
Consider the following well formed formula: The maximum number of rows in truth table of above formula which evaluate to true are ________.$\left ( p\vee \sim q\vee\vee \...
srestha
938
views
srestha
asked
Aug 22, 2018
Mathematical Logic
mathematical-logic
discrete-mathematics
+
–
Page:
« prev
1
...
16
17
18
19
20
21
22
23
24
25
26
...
35
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register