Recent questions and answers in Mathematical Logic

0 votes

0 answers

1

made easy test series
Consider the following predicates: S(x): x is a student GATE(x,y): x has written gate in stream y. Which of the following is equivalent predicate logic for the statement : There doesnt exist a student who has written GATE in every stream. (a) ... $\exists y\exists x[\sim S(x)\Lambda \sim GATE(x,y)]$

asked 4 hours ago in Mathematical Logic by Somoshree Datta 5 Active (3.8k points) | 25 views

0 votes

1 answer

2

GATE Combinatorics
Can someone suggest me a good read material for combinatorics (recurrence relation and generating function specially) which will be helpful in solving the kind of questions asked previously on this topic.

answered 4 hours ago in Mathematical Logic by `JEET Active (3.2k points) | 7 views

0 votes

0 answers

3

Doubt in Regular expression
how to prove $(x^{*}y)^{*}x^{*}y = x^{*}(yx^{*})^{*}y$ I have already checked https://gateoverflow.in/290653/me_test_series?show=290690 It contains extra y. x*y(yx*)*y and I am not able to solve this , please help

asked 21 hours ago in Mathematical Logic by mehul vaidya Active (2.7k points) | 8 views

0 votes

0 answers

4

Probability from Gateforum Test series
Please anyone help me to solve this problem… It would be really helpful!

asked 1 day ago in Mathematical Logic by BabluNaren (11 points) | 13 views

0 votes

0 answers

5

SELF DOUBT
The number of totally ordered sets compatible to the given POSET are_________ IS IT TOPOLOGICAL SORT POSSIBLE OR TOTAL CHAINS POSSIBLE IN DIAGRAM

asked 2 days ago in Mathematical Logic by Deepanshu Loyal (6.2k points) | 37 views

0 votes

0 answers

6

#madeeasy
A group G having O(G)= 200 is known to be cyclic with g being one of its generator.It is given that O(g^x)=100 for some x€Z. Then value of x is?

asked 3 days ago in Mathematical Logic by BHOJARAM (135 points) | 24 views

0 votes

0 answers

7

ME TEST
Which of the choice best describes the above FOL statement ? a)Every alligators eats humans b)only alligators eats human

asked 3 days ago in Mathematical Logic by junaid ahmad Loyal (9.4k points) | 20 views

0 votes

2 answers

8

permutation and combination
1 2 10 16

answered 3 days ago in Mathematical Logic by Vikas123 (355 points) | 32 views

+16 votes

2 answers

9

GATE2005-40
Let $P, Q$ and $R$ be three atomic propositional assertions. Let $X$ denote $( P ∨ Q ) → R$ and Y denote $(P → R) ∨ (Q → R).$ Which one of the following is a tautology? $X ≡ Y$ $X → Y$ $Y → X$ $¬Y → X$

answered 4 days ago in Mathematical Logic by Verma Ashish Active (3.8k points) | 1.4k views

0 votes

0 answers

10

Permutation and combination
In how many different ways can a set of 3n elements be partitioned into 3 subsets of equal number of elements? Isn't this case of distributing distinguishable objects and distinguishable boxes, so the answer should be $(3n)! / ((n!)^3 )$. But ... Can anybody explain? Or post a link where to study all concepts of permutation and combination and counting

asked 4 days ago in Mathematical Logic by bts1jimin (185 points) | 36 views

0 votes

1 answer

11

Permutation and Combination
The number of ways can 5 letters be put into 3 letter boxes A,B,C. If letter box A must contain atleast 2 letters ?

answered 4 days ago in Mathematical Logic by arvin Boss (11.7k points) | 48 views

0 votes

1 answer

12

CUT VERTEX
plz solve this problem..

answered 5 days ago in Mathematical Logic by SAUMYA2019 (39 points) | 30 views

+15 votes

4 answers

13

GATE2009-24
The binary operation □ is defined as follows P Q P □ Q T T T T F T F T F F F T Which one of the following is equivalent to $P \vee Q$? $\neg Q □ \neg P$ $P□\neg Q$ $\neg P□Q$ $\neg P□ \neg Q$

answered 5 days ago in Mathematical Logic by Verma Ashish Active (3.8k points) | 1.6k views

+3 votes

1 answer

14

madeeasy workbook
how option a is correct

answered 5 days ago in Mathematical Logic by tezzsingh88 (29 points) | 1.5k views

+22 votes

3 answers

15

GATE2006-27
Consider the following propositional statements: $P_1: ((A ∧ B) → C)) ≡ ((A → C) ∧ (B → C))$ $P_2: ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C))$ Which one of the following is true? $P_1$ is a tautology, but not $P_2$ $P_2$ is a tautology, but not $P_1 $P_1$ and $P_2$ are both tautologies Both $P_1$ and $P_2$ are not tautologies

answered 5 days ago in Mathematical Logic by tezzsingh88 (29 points) | 1.6k views

+27 votes

4 answers

16

GATE2006-IT-21
Consider the following first order logic formula in which $R$ is a binary relation symbol. $∀x∀y (R(x, y) \implies R(y, x))$ The formula is satisfiable and valid satisfiable and so is its negation unsatisfiable but its negation is valid satisfiable but its negation is unsatisfiable

answered 5 days ago in Mathematical Logic by tezzsingh88 (29 points) | 3.3k views

0 votes

1 answer

17

GATEBOOK-2019-DM1-3
Which of the following formulae is a formalization of the sentence: "There is a $\text{Computer}$ which is not used by any $\text{Student}$" $ \exists x (\text{Computer}(x) \wedge \forall y. (\sim \text{Student}(y) \wedge \sim \text{Uses}(y,x))) $ ... $ \exists x (\text{Computer} (x) \rightarrow \forall y . (\sim \text{Student} (y) \wedge \sim \text{Uses}(y,x)))$

answered 6 days ago in Mathematical Logic by Sourabh Keshri (291 points) | 71 views

0 votes

1 answer

18

GATEBOOK-2019-DM1-12
Translate the following logic statement to English where, $A(x)$: $x$ is African, $F(x,y)$: x and y are friends. The universe for $x$ and $y$ is all the people in the world. $\forall x \exists y((A(x) \vee (F(x,y)))$ Every African has some African friend Every person who is not African has at least one friend Every person who has friend is not African None of these

answered 6 days ago in Mathematical Logic by Sourabh Keshri (291 points) | 130 views

0 votes

1 answer

19

GATEBOOK-2019-DM1-17
Every true Indian thinks about politics and Jayaprakash Narayana thinks about politics Which of the following is valid conclusion? Jayaprakash Narayana is true Indian Jayaprakash Narayana is politician Jayaprakash Narayana is not true Indian None of the above

answered 6 days ago in Mathematical Logic by dharmendratest (183 points) | 62 views

0 votes

0 answers

20

Gate-2000
A relation R is defined on the set of integers as xRy iff (x+y) is even. Which of the following statements is true? A R is not an equivalence relation B R is an equivalence relation having 1 equivalence class C R is an equivalence relation having 2 equivalence classes D R is an equivalence relation having 3 equivalence classes Engineering Mathematics Sets and Relations [closed]

asked 6 days ago in Mathematical Logic by balchandar reddy san Junior (565 points) | 19 views

0 votes

0 answers

21

self_doubt
S1:Every subgroup of an abelian group is also abelian? True or false

asked 6 days ago in Mathematical Logic by Shivam Kasat Active (1.6k points) | 32 views

0 votes

0 answers

22

Graph theory
How to find possible number of MST'S in a star graph

asked 6 days ago in Mathematical Logic by Mohana Krishna (7 points) | 18 views

0 votes

0 answers

23

uppcl_2018
need explaination [closed]

asked 6 days ago in Mathematical Logic by SAUMYA2019 (39 points) | 12 views

0 votes

0 answers

24

Composition of a relation- Madeeasy 2019
How to take composition of a Relation? here used concept of function but when to go with the transitivity rule concept as mentioned below? Please clarify in general when to use which method

asked 6 days ago in Mathematical Logic by Markzuck (393 points) | 18 views

0 votes

0 answers

25

Kenneth Rosen Nested Quantifiers Self Doubt
Q) There is somebody whom no one loves L(x,y) : x loves y. Doubt:- Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are different please give explaination

asked Jan 10 in Mathematical Logic by kd..... Junior (689 points) | 21 views

0 votes

0 answers

26

What is a good resource to learn all the rules of modular arithmetic?
For example, is there a way to calculate the value of $(7 \times 11 \times 13 \times 17) \% 5$ in terms of the values of $7\%5, 11\%5, 13\%5,$ and $17\%5 $ ?

asked Jan 10 in Mathematical Logic by rawan Junior (605 points) | 15 views

0 votes

0 answers

27

made easy test series
let f(x,y)=(x+y,x-y) what is f^-1(x,y) is [closed]

asked Jan 10 in Mathematical Logic by suneetha Junior (513 points) | 25 views

0 votes

0 answers

28

Maths
HOW MANY ways we can distribute 10 objects to 3 children so that every child gets atleast one object?

asked Jan 9 in Mathematical Logic by Raghav Khajuria Junior (601 points) | 45 views

0 votes

0 answers

29

probability
Twelve balls are distributed at random among three boxes. The probability that the first box will contain three balls is ________. (Upto 2 decimal places) expalin in detail...

asked Jan 9 in Mathematical Logic by Lone Wolf Active (1.5k points) | 16 views

0 votes

0 answers

30

Probablity
Is this P(p/q’)P(q’)=P(q’/p).P(p) means probability of happening p when q’ has already happened =probability of not happening q’ when p is already happened way of doing is always correct ?? and i copied this from @sanjay sharma answer here

asked Jan 9 in Mathematical Logic by Gurdeep Saini Loyal (7.6k points) | 8 views

0 votes

0 answers

31

ME TEST
How to get the idea that we have to use Binaomial distribution or Hypergeometric Distribution. I know that if probabality is not changing(i.e with replacement) than we go Binomial otherwise Hypergeometric.But in question it is not indicating anything about replacement. So is there any by default approach that we have to use Binomial if nothing is mention about replacement.

asked Jan 9 in Mathematical Logic by junaid ahmad Loyal (9.4k points) | 10 views

0 votes

0 answers

32

logic
what is the truth value of this if x,y belong to real numbers $\exists x\forall y(y\neq 0 \rightarrow xy=1)$ am getting true,but given answer is false.

asked Jan 8 in Mathematical Logic by Gate Fever Active (4.4k points) | 18 views

0 votes

1 answer

33

ME Test
Can any one give a proper method to solve such questions ? It will be really appreciable.. Pardon for the screenshot though. No idea of latex.

answered Jan 8 in Mathematical Logic by Shobhit Joshi Active (4.5k points) | 64 views

0 votes

1 answer

34

Fog and gof function

answered Jan 8 in Mathematical Logic by Alakhator (51 points) | 81 views

0 votes

1 answer

35

Reflexive Relation
Can anyone help …. where I am wrong…??

answered Jan 8 in Mathematical Logic by adarsh_1997 Active (3.2k points) | 26 views

0 votes

0 answers

36

gate zeal test
Isn’t the 3) statement is wrong it should be [(p->r)^(q->r)]->[(p∨q)->r] \

asked Jan 7 in Mathematical Logic by Prince Sindhiya Loyal (6.1k points) | 23 views

+1 vote

1 answer

37

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$

answered Jan 7 in Mathematical Logic by Lakshman Patel RJIT Boss (26.4k points) | 35 views

0 votes

0 answers

38

Self Doubt
What is difference between B and C Option.

asked Jan 6 in Mathematical Logic by iamdeepakji (195 points) | 36 views

0 votes

0 answers

39

made easy
Consider the following predicate logic statements: “Everyone has exactly one favorite language” Which of the following represents the logical translation of above statement where M(y, x) represent y is favorite language of x ?

asked Jan 6 in Mathematical Logic by pream sagar Active (1.1k points) | 24 views

0 votes

1 answer

40

This question is from graph theory
What is the total number of vertices in a tree if there are 3n vertices of degree 2 and 2n vertices of degree n?

answered Jan 6 in Mathematical Logic by Purva Taranekar (91 points) | 48 views

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 questions and answers in Mathematical Logic

Recent Posts

Recent Blog Comments