Recent questions tagged mathematical-logic - GATE CSE Doubts

0 votes

0 answers

Madeeasy test-seriese
Consider the following first order logic statements: I: $\forall_x\forall_y p(x,y)$ II: $\forall_x\exists_y p(x,y)$ III: $\exists_y\exists_x p(x,y)$ IV: $\exists_y\forall_x p(x,y)$ Which of the following is not true about above statements? (A) if I is ... $y$ but in this case III will be false. So, options C is also false and hence answer too. Is my argument correct or not?

asked Sep 30 in Mathematical Logic by Vimal Patel (387 points) | 17 views

0 votes

2 answers

self doubt - Can we replace
Can we replace bi-directional operator by ex-nor operator in mathematical logic, when bi-directional operator gives tautology? e.g if there is A <=> B, then can we write it as (~a)(~b) + ab? plzz elaborate

asked Sep 1 in Mathematical Logic by Shubhm (23 points) | 20 views

0 votes

1 answer

kenneth rosen -inference rules
Show that the premises It is not sunny this afternoon and it is colder than yesterday, We will go swimming only if it is sunny, If we do not go swimming, then we will take a canoe trip, and If we take a canoe trip, then we will ... -->t . which is always true hence the argument is true But the conclusion is not true. Am I correct with the above statement??

asked Aug 18 in Mathematical Logic by Doraemon (89 points) | 15 views

0 votes

0 answers

Grimaldi rules of inference
Question If the argument is valid than identify which inference rule is used and if invalid than the error. For part b,c,e

asked Aug 13 in Mathematical Logic by Yatharth_123 (6 points) | 8 views

To see more, click for the full list of questions or popular tags.

2,313 questions

1,294 answers

6,587 comments

89,719 users