Recent questions tagged mathematical-logic

Recent questions tagged mathematical-logic

3 votes

1 answer

1

GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 2

GO Classes asked in Mathematical Logic May 12

163 views

2 votes

1 answer

2

GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 3

GO Classes asked in Mathematical Logic May 12

106 views

2 votes

1 answer

3

GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 8

GO Classes asked in Mathematical Logic May 12

78 views

3 votes

1 answer

4

GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 9

GO Classes asked in Mathematical Logic May 12

81 views

3 votes

1 answer

5

GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 10

GO Classes asked in Mathematical Logic May 12

75 views

3 votes

1 answer

6

GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 11

GO Classes asked in Mathematical Logic May 12

74 views

1 vote

1 answer

7

GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 4
How many rows appear in a truth table for this compound proposition? $p \rightarrow \neg p$

GO Classes asked in Mathematical Logic May 2

64 views

1 vote

2 answers

8

GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 5
How many rows appear in a truth table for this compound proposition? $(p \wedge r \wedge t) \leftrightarrow (q \wedge t)$

GO Classes asked in Mathematical Logic May 2

80 views

2 votes

3 answers

9

GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 6
Let $p$ be the statement Maria learns discrete mathematics and $q$ the statement Maria will find a good job. Which of the following English Statement expresses the statement $p \rightarrow q$ ? If Maria learns ... good job. For Maria to get a good job, it is sufficient for her to learn discrete mathematics.

GO Classes asked in Mathematical Logic May 2

107 views

1 vote

2 answers

10

GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 11

GO Classes asked in Mathematical Logic May 2

94 views

0 votes

1 answer

11

kenneth h rosen chapter 1 section 1.5 PRENEX NORMAL FORM in excercise 1.5
can this topic “PRENEX NORMAL FORM(PNF) ” is necsesary for gate or just i skip this topic.

ykrishnay asked in Mathematical Logic Apr 20

52 views

0 votes

0 answers

12

kenneth h rosen chapter 1 section section 1.5 nested quatnifiers excercise 49
49. a) Show that ∀xP (x) ∧ ∃xQ(x) is logically equivalent to ∀x∃y (P (x) ∧ Q(y)), where all quantifiers have the same nonempty domain. b) Show that ∀xP (x) ∨ ∃xQ(x) is equivalent to ∀x∃y (P (x) ∨ Q(y)), where all quantifiers have the same nonempty domain. please anybody tell how to prove this logical equivalency ?

ykrishnay asked in Mathematical Logic Apr 20

57 views

0 votes

0 answers

13

kenneth h rosen chapter 1 section 1.5 nested quantifiers excercise 1.5 question 48

ykrishnay asked in Mathematical Logic Apr 20

83 views

0 votes

0 answers

14

kenneth h rosen chapter 1 section nested quantifers excercise 1.5 question 40
Find a counterexample, if possible, to these universally quantified statements, where the domain for all variables consists of all integers. a) ∀x∃y(x = 1/y) b) ∀x∃y(y^2 − x < 100)

ykrishnay asked in Mathematical Logic Apr 19

46 views

0 votes

0 answers

15

kenneth h rosen chapter 1 section "Nested quantifers" excercise 1.5 question 26's g

ykrishnay asked in Mathematical Logic Apr 18

40 views

0 votes

0 answers

16

kenneth h rosen chapter 1 section 1.5 excercise 1.5 question 18 e
Express each of these system specifications using predi- cates, quantifiers, and logical connectives, if necessary. e) No one knows the password of every user on the sys- tem except for the system administrator, who knows all passwords.

ykrishnay asked in Mathematical Logic Apr 16

60 views

0 votes

0 answers

17

kenneth h rosen chapter 1 section 1.5 nested quantifiers excercise no 17, b
Express each of these system specifications using predi- cates, quantifiers, and logical connectives, if necessary. b)There is a process that continues to run during all error conditions only if the kernel is working correctly.

ykrishnay asked in Mathematical Logic Apr 16

31 views

Page:

1
2
3
4
5
6
...
27
next »

Follow @gateoverflow

Recent questions tagged mathematical-logic

Search GATE Overflow for GATE CSE