Dark Mode

Recent questions and answers in Mathematical Logic

0 votes

1 answer

1

is this argument valid: {P->Q , Q->R}-> R'

Rajatagrawal answered in Mathematical Logic 1 day ago

by Rajatagrawal

61 views

0 votes

0 answers

2

Poisson distribution
An 800 page book has 400 misprints. If the misprints are distributed uniformly throughout the book and the Poisson approximation to the binomial distribution is used to calculate the probability of exactly 2 misprints on page 16, which of the following represents the correct use of the Poisson approximation?

kathan Mistry asked in Mathematical Logic 2 days ago

by kathan Mistry

48 views

0 votes

1 answer

3

Ace Book for Discreet Mathematics , Combinatorics.
Number of ways to assign 5 different people in 3 different rooms, so that each room contains at least one person?

Pranavpurkar answered in Mathematical Logic Sep 23

by Pranavpurkar

99 views

1 vote

2 answers

4

PhD Admissions Written Test (Basic)
Let x1, x2, ...x8 be 8 propositional variables. Let · represent AND connective ⊕ represent the Exclusive-or connective. The number of satisfying assignments of the formula x1 ⊕ x2 ⊕ ...x8 is _________________ The number of satisfying assignments of the formula (x1·x2) ⊕ (x3·x4)... ⊕ (x7·x8) is __________________

maverick answered in Mathematical Logic Sep 12

109 views

0 votes

2 answers

5

Predicate Translation
S(x): x is a Student P(x): x is a Professor A(x, y): x has asked a question to y Domain not given, so we have to think about default domain Q1) Translate There is a student who has asked every professor a question Q2) Translate ... a professor who has been asked a question by every student Q4) Translate There is a student who has been asked a question by every professor

shishir__roy answered in Mathematical Logic Sep 6

by shishir__roy

98 views

42 votes

6 answers

6

GATE CSE 2003 | Question: 72
The following resolution rule is used in logic programming. Derive clause $(P \vee Q)$ from clauses $(P\vee R),(Q \vee ¬R)$ Which of the following statements related to this rule is FALSE? $((P ∨ R)∧(Q ∨ ¬R))⇒(P ∨ Q)$ ... if $(P ∨ R)∧(Q ∨ ¬R)$ is satisfiable $(P ∨ Q)⇒ \text{FALSE}$ if and only if both $P$ and $Q$ are unsatisfiable

prithatiti answered in Mathematical Logic Sep 5

9.1k views

0 votes

0 answers

7

Linear Algebra
MX = O is a homogeneous equation and such an equation when |M| = 0 has non trivial solution. M: Square Matrix O: Null Matrix Kindly help me with the above statement.

ryandany07 asked in Mathematical Logic Aug 30

77 views

0 votes

0 answers

8

Engineering Mathematics
How the value of a1 = 3, a2 = 2 is calculated.

GateOverflow04 asked in Mathematical Logic Aug 25

by GateOverflow04

62 views

0 votes

1 answer

9

Mathematics for Natural Science
Suppose $x, y, z > 1$ are integers, let: $p(x,y)$ : $x$ is a factor of $y$ $q(x,y,z)$ : $z$ = $\text{GCD}(x,y)$ $r(x)$ : $x$ is prime. Check if the following argument is valid or not. $(\forall x \exists y)p(x,y) \implies r(x)$ ... $(\exists x)(\forall y)(p(x,y) \lor r(x))$ $\therefore (\forall y)(\exists z)(\exists x)q(x,y,z)$

Roshakaw answered in Mathematical Logic Aug 23

99 views

0 votes

2 answers

10

Kenneth h rosen chapter 1 excercise 1.2 question 15 on page 23
Each inhabitant of a remote village always tells the truth or always lies. A villager will give only a Yes or a No response to a question a tourist asks. Suppose you are a tourist visiting this area and come to a ... you say 'yes'? how this question arise and please explain the reason about this answer to above question thank you

Vishal_kumar98 answered in Mathematical Logic Aug 19

by Vishal_kumar98

232 views

4 votes

2 answers

11

GO Classes 2023 | Weekly Quiz 3 | Question: 12
An island has two kinds of inhabitants, knights, who always tell the truth, and knaves, who always lie. You encounter two people $A$ and $B$. What are $A$ and $B$ if: $A$ says $B$ is a knight and $B$ says The two of us are opposite types ? $A$ is ... , $B$ is knight $B$ is knight, $B$ is knave. $A$ is knave, $B$ is knave. $A$ is knave, $B$ is knight

Udhay_Brahmi answered in Mathematical Logic Aug 19

by Udhay_Brahmi

177 views

2 votes

2 answers

12

GO Classes 2023 | Weekly Quiz 3 | Question: 20
The implies connective $\rightarrow$ is one of the stranger connectives in propositional logic. Below are a series of statements regarding implications. Which of the following statements is/are TRUE? For any propositions $P$ and $Q,$ the following is ... $R,$ the following statement is always true: $(P \rightarrow Q) \vee (R \rightarrow Q)$.

P SHANMUKHA SHARMA answered in Mathematical Logic Aug 6

by P SHANMUKHA SHARMA

178 views

1 vote

1 answer

13

Made Easy Test Series
How to solve this question?

Aditya_ answered in Mathematical Logic Jul 25

178 views

1 vote

3 answers

14

GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 11
Let $P,S,R$ be three statements(propositions). Let $S$ be a sufficient condition for $P$, Let $R$ is a necessary condition for $P$ then which of the following is/are true? $S$ is a sufficient condition ... is neither sufficient, nor a necessary condition for $R.$ $S$ is a sufficient and necessary condition for $R$.

Argharupa Adhikary answered in Mathematical Logic Jul 25

by Argharupa Adhikary

243 views

2 votes

2 answers

15

GO Classes 2023 | Weekly Quiz 3 | Question: 3
Here are some very useful ways of characterizing propositional formulas. Start by constructing a truth table for the formula and look at the column of values obtained. We say that the formula is: satisfiable if there is at least one $T$ ... Necessarily false: $F2$ is tautology $F3$ is tautology $F1$ is a contingency. $F1\wedge F3$ is contradiction.

Abhrajyoti00 answered in Mathematical Logic Jul 16

by Abhrajyoti00

283 views

0 votes

1 answer

16

Discrete mathematics C.L.Liu Solutions
Can I have solutions of ELEMENTS OF DISCRETE MATHEMATICS by C.L.Liu Solutions. Pls help

Bikram 1 answered in Mathematical Logic Jul 15

1.5k views

0 votes

2 answers

17

can any one suggest resources for discrete mathematics for gate
suggest some good resources for discrete mathematics

Bikram 1 answered in Mathematical Logic Jul 14

402 views

0 votes

0 answers

18

quantifiers to express each of these statements.
Let P(x) be the statement x has a cell phone and M(x,y) be the statement x and y have texted over the cell phone, where the domain for the variables x and y consists of all students in your class. Use quantifiers to ... other student in your class. c) Someone in your class has a cell phone but has not texted with anyone else in your class.

hussain yasir asked in Mathematical Logic Jul 7

by hussain yasir

185 views

1 vote

1 answer

19

kenneth h rosen excercise 1.4 predicates and quantifiers question 22
22. For each of these statements find a domain for which the statement is true and a domain for which the statement is false. a) Everyone speaks Hindi. b) There is someone older than 21 years. c) Every two people have the same first name. d) Someone knows more than two other people.

Bikarm23 answered in Mathematical Logic Jul 2

104 views

2 votes

2 answers

20

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)$

abhikool answered in Mathematical Logic Jun 24

202 views

2 votes

1 answer

21

GO Classes 2023 | Weekly Quiz 5 | Question: 7
Consider the following arguments. $\text{Argument 1:}$ Kerry errs or Myrna fails to show. If Kerry errs, then he does not break the record. Myrna fails to show. Therefore, Kerry does break the record. $\text{Argument 2:}$ If Tasha leaves, ... is true? Only Argument $1$ is valid. Only Argument $2$ is valid. Both Arguments are valid. No Argument is valid.

Hareesh22 answered in Mathematical Logic Jun 22

137 views

3 votes

1 answer

22

GO Classes 2023 | Weekly Quiz 3 | Question: 19
Let $F$ and $G$ be two propositional formula. Which of the following is/are TRUE? If $F \rightarrow G$ is satisfiable and $F$ is satisfiable, then $G$ is satisfiable. If two statements(propositions) are logically equivalent, then so are their ... . If a statement $q$ is true, then, for any statement $p$, the statement $p \rightarrow q$ is true.

Godlike answered in Mathematical Logic Jun 22

326 views

1 vote

2 answers

23

GO Classes 2023 | Weekly Quiz 3 | Question: 16
Suppose that the statement $p \rightarrow \neg q$ is false. What is the number of all possible combinations of truth values of $r$ and $s$ for which $(\neg q \rightarrow r) \wedge (\neg p \vee s)$ is true?

Hareesh22 answered in Mathematical Logic Jun 21

381 views

0 votes

1 answer

24

Can someone please explain how "I am lying" is a Liars paradox? and how the truth values are toggling here?

AngshukN answered in Mathematical Logic Jun 10

106 views

3 votes

3 answers

25

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.

samarpita answered in Mathematical Logic May 18

343 views

1 vote

2 answers

26

No of solution of the given equation
The Number of Points $x \in \Re$ for which $\sin ^{2} x-3x=5$ is , 0 1 more than one but finite $\infty$

Amar45 answered in Mathematical Logic May 16

by Amar45

98 views

3 votes

1 answer

27

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

GO Classes answered in Mathematical Logic May 12

279 views

2 votes

1 answer

28

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

GO Classes answered in Mathematical Logic May 12

204 views

2 votes

1 answer

29

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

GO Classes answered in Mathematical Logic May 12

175 views

3 votes

1 answer

30

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

GO Classes answered in Mathematical Logic May 12

155 views

3 votes

1 answer

31

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

GO Classes answered in Mathematical Logic May 12

138 views

3 votes

1 answer

32

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

GO Classes answered in Mathematical Logic May 12

146 views

1 vote

1 answer

33

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 answered in Mathematical Logic May 2

173 views

5 votes

5 answers

34

GATE CSE 2021 Set 1 | Question: 7
Let $p$ and $q$ be two propositions. Consider the following two formulae in propositional logic. $S_1: (\neg p\wedge(p\vee q))\rightarrow q$ $S_2: q\rightarrow(\neg p\wedge(p\vee q))$ Which one of the following choices is correct? Both $S_1$ and ... but $S_2$ is not a tautology $S_1$ is not a tautology but $S_2$ is a tautology Neither $S_1$ nor $S_2$ is a tautology

Vishalk17 answered in Mathematical Logic May 1

3.6k views

0 votes

1 answer

35

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

103 views

0 votes

0 answers

36

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

101 views

0 votes

0 answers

37

kenneth h rosen chapter 1 section 1.5 nested quantifiers excercise 1.5 question 48
Show that ∀xP (x) ∨ ∀xQ(x) and ∀x∀y(P (x) ∨ Q(y)), where all quantifiers have the same nonempty domain, are logically equivalent. (The new variable y is used to combine the quantifications correctly.)

ykrishnay asked in Mathematical Logic Apr 20

134 views

0 votes

0 answers

38

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

77 views

0 votes

0 answers

39

kenneth h rosen chapter 1 section 1.5 nested quantifers question 34
Find a common domain for the variables x, y, and z for which the statement ∀x∀y((x = y) → ∀z((z = x) ∨ (z = y))) is true and another domain for which it is false.

ykrishnay asked in Mathematical Logic Apr 18

74 views

0 votes

0 answers

40

kenneth h rosen chapter 1 section "Nested quantifers" excercise 1.5 question 26's g
Let Q(x, y) be the statement “x + y = x − y.” If the do- main for both variables consists of all integers, what are the truth values? g) ∃y∀xQ(x, y) Basically i done all the subquestions (a,b,c,d,e,f,h,i) from this question but confused in g subquestion please give answer

ykrishnay asked in Mathematical Logic Apr 18

62 views

To see more, click for all the questions in this category.

Recent questions and answers in Mathematical Logic