Recent questions tagged mathematical-logic

0 votes

0 answers

1

Self-Doubt-Logic
What is the negation of ∃x(x2=2) I think it is ∀x(x2$\neq$2)

asked Jun 9 in Mathematical Logic by Ayush Upadhyaya Loyal (8.8k points) | 42 views

+1 vote

1 answer

2

Kennth Rosen,ch:1,Ex:1.3,Qn:51
Find a compound proposition logically equivalent to $p \rightarrow q$ using only the logical operator $\downarrow$?

asked Jun 5 in Mathematical Logic by siva140191 (63 points) | 39 views

0 votes

0 answers

3

Kennth Rosen Ch:1,Ex:1.2, Qn:38.
Solve this famous logic puzzle, attributed to Albert Einstein, and known as the zebra puzzle.Five men with different nationalities and with different jobs live in consecutive houses on a street. These houses are painted different colors. The men ... , their pets, and their favorite drinks and use logical reasoning to determine the correct entries in the table.]?

asked Jun 3 in Mathematical Logic by siva140191 (63 points) | 51 views

+1 vote

1 answer

4

Mathematical logic
Suppose the numbers $1$ to $20$ are placed in any order around a circle . Show that the sum of some three consecutive numbers must be atleast $32$.

asked May 30 in Mathematical Logic by Sammohan Ganguly (417 points) | 34 views

0 votes

1 answer

5

Mathematical logic
Which of the following is(are) not logical implications? p<->q => p->q p^q => p<->q p<-> => p->~q p<->~q => p->q

asked May 30 in Mathematical Logic by Mr khan 3 (127 points) | 33 views

+1 vote

2 answers

6

Mathematical logic
[~p ^ (p->q)] - > ~p is., satisfiable unsatisfiable tautology invalid

asked May 29 in Mathematical Logic by Mr khan 3 (127 points) | 47 views

0 votes

2 answers

7

Rosen page 17
"You can access the Internet from campus only if you are a computer science major or you are not a freshman" According to Rosen, its equivalent compound proposition is a $→ (c ∨¬f )$. Should it not be the other way round? $(c ∨¬f ) → a$

asked May 28 in Mathematical Logic by Warlock lord Active (3.4k points) | 78 views

+1 vote

1 answer

8

Self doubt
In a group of five people one is either a friend or enemy of the others. It is given that no three of them are friends and no three of them are enemies. Prove that every member in that group has exactly two friends

asked May 28 in Mathematical Logic by Sammohan Ganguly (417 points) | 28 views

0 votes

1 answer

9

Gate Previous year
Consider the following formula and its two interpretations $I1$ and $I2$. $α:(∀x)[Px⇔(∀y)[Qxy⇔¬Qyy]]⇒(∀x)[¬Px]$ $I1 :$ Domain: the set of natural numbers $Px =$ $\text{'x is a prime number'}$ $Qxy =\text{ 'y divides x'}$ $I2 :$ same as ... for all $x$ quantifier is going to pick every composite number value from the set and the domain of $Y:\text{{set of all natural numbers}}$

asked May 27 in Mathematical Logic by Arnab Mandal (165 points) | 46 views

0 votes

1 answer

10

IITK Sample written test
I Think answer should be $C$. Let , India is a stronger team than australia is $X$ and India will loose the series is $Y$ so ,$X\rightarrow Y$ can be wriiten as $Y^{'}\rightarrow X^{'}$ or $Y+X^{'}$ So answer is coming out to be $C$. Am i right?

asked May 15 in Mathematical Logic by Anand. Active (1.2k points) | 44 views

0 votes

0 answers

11

How can this English sentence be translated into a logical expression?

asked Apr 26 in Mathematical Logic by hem chandra joshi Active (4.4k points) | 60 views

+1 vote

2 answers

12

PGEE 2018
p: n is a prime number q: n mod 30 is prime number 1) p implies q 2) q implies p 3) p implies q or q implies p 4) If p implies q then q implies p

asked Apr 21 in Mathematical Logic by Tesla! Boss (16.1k points) | 182 views

+1 vote

2 answers

13

PGEE 2018
One one evening sita and gita were sitting in a park with there back facing each other sita was able to see her shadow on left at what direction was gita sitting ? A) North-East B) North C) West D) South

asked Apr 21 in Mathematical Logic by Tesla! Boss (16.1k points) | 108 views

+1 vote

2 answers

14

PGEE 2018
Two trucks are 150 KM apart on the main road, Truck one start and go 25km straight then 15 km right 25 km left and finally turn towards the main road however due to breakage truck two only go 35 km straight what is the total distance between them now? A) 150 KM B) 50 Km C) 65 Km D) 85 Km

asked Apr 21 in Mathematical Logic by Tesla! Boss (16.1k points) | 102 views

+1 vote

1 answer

15

PGEE 2018
Which of the following tell us which day is on 14th of a particular month I) 17th is on 3rd Saturday II) the last date of the month is on Wednesday A) Only 1 is sufficient B) Only 2 is sufficient C) Both are required D) Both are insufficient

asked Apr 21 in Mathematical Logic by Tesla! Boss (16.1k points) | 80 views

+1 vote

1 answer

16

PGEE 2018
Which of the statement is sufficient to determine children of x 1) Q and U are brothers of T 2) P is the sister of U and S 3) P and T are daughters of X A) 1 and 2 B) 1,2 and 3 C) 2 and 3 D) data insufficient

asked Apr 21 in Mathematical Logic by Tesla! Boss (16.1k points) | 191 views

0 votes

2 answers

17

PGEE 2018
Which of the following statement is true? 1) Exactly one of the statement is false 2) Exactly two statements are false 3) Exactly three statements are false 4) Exactly four statements are false A) II B) !V C) III D) I

asked Apr 21 in Mathematical Logic by Tesla! Boss (16.1k points) | 64 views

0 votes

1 answer

18

Propositional logic
Sagar will marry Sheela only if She is a graduate and a good cook. Which is True ? 1.Sheela is a good cook but not a graduate hence Sagar will not marry sheela. 2.Sagar will marry sheela since she is a good cook though she is not a graduate. 3 ... and a good cook implies Sagar will marry Sheela 4.Sagar did not marry Sheela implies that she is neither a graduate nor a good cook.

asked Apr 16 in Mathematical Logic by Na462 Active (3.3k points) | 87 views

0 votes

1 answer

19

Rosen Ex1.1 Q No. 45
Each inhabitant of a remote village always tells the truth or always lies. A villager will only give a "Yes" or a "No" response to a question a tourist asks. Suppose you are a tourist visiting this area and come to a fork in the ... A villager is standing at the fork in the road. What one question can you ask the villager to determine which branch to take?

asked Feb 26 in Mathematical Logic by Harshita (123 points) | 84 views

+6 votes

3 answers

20

GATE2018-28
Consider the first-order logic sentence $$\varphi \equiv \exists \: s \: \exists \: t \: \exists \: u \: \forall \: v \: \forall \: w \forall \: x \: \forall \: y \: \psi(s, t, u, v, w, x, y)$$ where $\psi(s, t, u, v, ... size less than or equal to $3$ There exists no model of $\varphi$ with universe size of greater than $7$ Every model of $\varphi$ has a universe of size equal to $7$

asked Feb 14 in Mathematical Logic by gatecse Boss (18k points) | 2.1k views

+2 votes

1 answer

21

Mathematical Logic
All Tautologies are valid and all Valid arguments are tautologies True/ False

asked Feb 11 in Mathematical Logic by Mk Utkarsh Boss (12.6k points) | 82 views

0 votes

1 answer

22

Rosen Rules of Inference
Can someone please explain the highlighted text?

asked Feb 11 in Mathematical Logic by Mk Utkarsh Boss (12.6k points) | 79 views

+1 vote

0 answers

23

Universal Quantifier (Basics)
Which one of the expression of universal quantifier is ambiguous? For all For every all of for each for any for arbitrary

asked Feb 9 in Mathematical Logic by Mk Utkarsh Boss (12.6k points) | 105 views

+1 vote

1 answer

24

CMI2017-A-03
Four siblings go shopping with their father. If Abhay gets shoes, then Asha does not get a necklace. If Arun gets a T-shirt, then Aditi gets bangles. If Abhay does not get shoes or Aditi gets bangles, the mother will be happy. Which of the following is TRUE? If the ... shoes. If the mother is not happy, then Asha did not get a necklace and Arun did not get a T-shirt. None of the above.

asked Feb 5 in Mathematical Logic by Tesla! Boss (16.1k points) | 100 views

+2 votes

1 answer

25

Mathematical Logic
I think here B) and C) both could be answer, Isnot it??

asked Jan 28 in Mathematical Logic by srestha Veteran (86.8k points) | 84 views

+1 vote

1 answer

26

Propositional Logic
Not Valid does it mean not False ? also how to solve it ?

asked Jan 26 in Mathematical Logic by Salazar Active (1.1k points) | 84 views

+2 votes

1 answer

27

[Discrete maths] Predicate logic
Which of the following is true about below predicate logic P? A) P is satisfiable B) P is tautology C) P is contradiction D) None This expression in the end reduces to:- ~ ∀z { True } Now this should mean => ∃z { False} So, how can it be contradiction as given answer is contradiction

asked Jan 25 in Mathematical Logic by rahul sharma 5 Boss (24.1k points) | 86 views

+2 votes

0 answers

28

ACE Test Series
Can we verify such examples using truth tables? Using truth table answer comes as the contingency.(Since for pqr==011 it comes 0 and for all other combinations answer is 1). But the answer given is Option(A). I am so confused. Ans also how to verify if given expression is satisfiable or valid or both or none.

asked Jan 20 in Mathematical Logic by ankit_thawal Active (2.1k points) | 62 views

+5 votes

0 answers

29

DM: Propositional Logic
$\text{Given option is (A), but I think option (B) is correct?}$

asked Jan 20 in Mathematical Logic by Vijay Thakur Boss (17.1k points) | 127 views

+2 votes

1 answer

30

Contingency or Not ?
~ $\forall$ x [ P(x) -> (Q(x) v P(x) ) ]

asked Jan 11 in Mathematical Logic by VS Loyal (8.7k points) | 118 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 tagged mathematical-logic

Recent Posts

Recent Blog Comments