menu
Login
Register
search
Log In
account_circle
Log In
Email or Username
Password
Remember
Log In
Register
I forgot my password
Register
Username
Email
Password
Register
add
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
Quick search syntax
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 Posts
Barc Interview Experience 2020- CSE stream
JEST 2021 registrations are open
TIFR GS-2021 Online Application portal
IIT Jodhpur Mtech AI - Interview Expierence (Summer Admission)
Interview experience at IIT Tirupati for MS program winter admission
Subjects
All categories
General Aptitude
(2.1k)
Engineering Mathematics
(8.5k)
Digital Logic
(3k)
Programming and DS
(5.1k)
Algorithms
(4.5k)
Theory of Computation
(6.3k)
Compiler Design
(2.2k)
Operating System
(4.7k)
Databases
(4.3k)
CO and Architecture
(3.5k)
Computer Networks
(4.3k)
Non GATE
(1.2k)
Others
(1.3k)
Admissions
(595)
Exam Queries
(838)
Tier 1 Placement Questions
(16)
Job Queries
(71)
Projects
(19)
Unknown Category
(1.1k)
Recent questions tagged mathematical-logic
Recent Blog Comments
yeah right!
@atulbrk IISc is mentioned only...
@nephron Please share the link of the PDF of the...
I think The JEST website rercently updated the...
hi this pdf have gate prevoius year questions or...
Network Sites
GO Mechanical
GO Electrical
GO Electronics
GO Civil
CSE Doubts
Webpage for Mathematical Logic
Important Question Types:
Checking validity of First Order Logic Statements
Checking validity of Propositional Logic
Recent questions tagged mathematical-logic
0
votes
1
answer
1
UGCNET-Oct2020-II: 3
Which of the following pairs of propositions are not logically equivalent? $((p \rightarrow r) \wedge (q \rightarrow r))$ and $((p \vee q) \rightarrow r)$ $p \leftrightarrow q$ and $(\neg p \leftrightarrow \neg q)$ $((p \wedge q) \vee (\neg p \wedge \neg q))$ and $p \leftrightarrow q$ $((p \wedge q) \rightarrow r)$ and $((p \rightarrow r) \wedge (q \rightarrow r))$
Which of the following pairs of propositions are not logically equivalent? $((p \rightarrow r) \wedge (q \rightarrow r))$ and $((p \vee q) \rightarrow r)$ $p \leftrightarrow q$ and $(\neg p \leftrightarrow \neg q)$ $((p \wedge q) \vee (\neg p \wedge \neg q))$ and $p \leftrightarrow q$ $((p \wedge q) \rightarrow r)$ and $((p \rightarrow r) \wedge (q \rightarrow r))$
asked
Nov 20, 2020
in
Discrete Mathematics
jothee
142
views
ugcnet-oct2020-ii
discrete-mathematics
mathematical-logic
0
votes
1
answer
2
UGCNET-Oct2020-II: 37
If $f(x)=x$ is my friend, and $p(x) =x$ is perfect, then correct logical translation of the statement “some of my friends are not perfect” is ______ $\forall _x (f(x) \wedge \neg p(x))$ $\exists _x (f(x) \wedge \neg p(x))$ $\neg (f(x) \wedge \neg p(x))$ $\exists _x (\neg f(x) \wedge \neg p(x))$
If $f(x)=x$ is my friend, and $p(x) =x$ is perfect, then correct logical translation of the statement “some of my friends are not perfect” is ______ $\forall _x (f(x) \wedge \neg p(x))$ $\exists _x (f(x) \wedge \neg p(x))$ $\neg (f(x) \wedge \neg p(x))$ $\exists _x (\neg f(x) \wedge \neg p(x))$
asked
Nov 20, 2020
in
Discrete Mathematics
jothee
54
views
ugcnet-oct2020-ii
discrete-mathematics
mathematical-logic
0
votes
1
answer
3
UGCNET-Oct2020-II: 38
What kind of clauses are available in conjunctive normal form? Disjunction of literals Disjunction of variables Conjunction of literals Conjunction of variables
What kind of clauses are available in conjunctive normal form? Disjunction of literals Disjunction of variables Conjunction of literals Conjunction of variables
asked
Nov 20, 2020
in
Discrete Mathematics
jothee
36
views
ugcnet-oct2020-ii
discrete-mathematics
mathematical-logic
0
votes
1
answer
4
NIELIT 2016 MAR Scientist C - Section C: 25
Which of the following is FALSE? $Read\ \wedge as\ AND, \vee\ as\ OR, \sim as\ NOT, \rightarrow$ as one way implication and $\leftrightarrow$ as two way implication? $((x\rightarrow y)\wedge x)\rightarrow y$ $((\sim x\rightarrow y)\wedge (\sim x\wedge \sim y))\rightarrow x$ $(x\rightarrow (x\vee y))$ $((x\vee y)\leftrightarrow (\sim x\vee \sim y))$
Which of the following is FALSE? $Read\ \wedge as\ AND, \vee\ as\ OR, \sim as\ NOT, \rightarrow$ as one way implication and $\leftrightarrow$ as two way implication? $((x\rightarrow y)\wedge x)\rightarrow y$ $((\sim x\rightarrow y)\wedge (\sim x\wedge \sim y))\rightarrow x$ $(x\rightarrow (x\vee y))$ $((x\vee y)\leftrightarrow (\sim x\vee \sim y))$
asked
Apr 2, 2020
in
Mathematical Logic
Lakshman Patel RJIT
117
views
nielit2016mar-scientistc
discrete-mathematics
mathematical-logic
0
votes
3
answers
5
NIELIT 2016 MAR Scientist C - Section C: 65
In propositional logic, which of the following is equivalent to $p \rightarrow q$? $\sim p\rightarrow q$ $ \sim p \vee q$ $ \sim p \vee \sim q$ $p\rightarrow \sim q$
In propositional logic, which of the following is equivalent to $p \rightarrow q$? $\sim p\rightarrow q$ $ \sim p \vee q$ $ \sim p \vee \sim q$ $p\rightarrow \sim q$
asked
Apr 2, 2020
in
Mathematical Logic
Lakshman Patel RJIT
157
views
nielit2016mar-scientistc
discrete-mathematics
mathematical-logic
1
vote
2
answers
6
NIELIT 2017 July Scientist B (IT) - Section B: 13
Which of the following statements is false? $(P\land Q)\lor(\sim P\land Q)\lor(P \land \sim Q)$ is equal to $\sim Q\land \sim P$ $(P\land Q)\lor(\sim P\land Q)\lor(P \wedge \sim Q)$ is equal to $Q\lor P$ ... $(P\land Q)\lor(\sim P\land Q)\lor (P \land \sim Q)$ is equal to $P\lor (Q\land \sim P)$
Which of the following statements is false? $(P\land Q)\lor(\sim P\land Q)\lor(P \land \sim Q)$ is equal to $\sim Q\land \sim P$ $(P\land Q)\lor(\sim P\land Q)\lor(P \wedge \sim Q)$ is equal to $Q\lor P$ $(P\wedge Q)\lor (\sim P\land Q)\lor(P \wedge \sim Q)$ is equal to $Q\lor (P\wedge \sim Q)$ $(P\land Q)\lor(\sim P\land Q)\lor (P \land \sim Q)$ is equal to $P\lor (Q\land \sim P)$
asked
Mar 30, 2020
in
Mathematical Logic
Lakshman Patel RJIT
159
views
nielit2017july-scientistb-it
mathematical-logic
propositional-logic
0
votes
2
answers
7
NIELIT 2017 July Scientist B (CS) - Section B: 16
Which of the following propositions is tautology? $(p\lor q)\to q$ $p\lor (q\to p)$ $p\lor (p\to q)$ Both (B) and (C)
Which of the following propositions is tautology? $(p\lor q)\to q$ $p\lor (q\to p)$ $p\lor (p\to q)$ Both (B) and (C)
asked
Mar 30, 2020
in
Mathematical Logic
Lakshman Patel RJIT
182
views
nielit2017july-scientistb-cs
mathematical-logic
0
votes
3
answers
8
NIELIT 2017 DEC Scientist B - Section B: 43
Which one is the correct translation of the following statement into mathematical logic? “None of my friends are perfect.” $\neg\:\exists\:x(p(x)\land q(x))$ $\exists\:x(\neg\:p(x)\land q(x))$ $\exists\:x(\neg\:p(x)\land\neg\:q(x))$ $\exists\:x(p(x)\land\neg\:q(x))$
Which one is the correct translation of the following statement into mathematical logic? “None of my friends are perfect.” $\neg\:\exists\:x(p(x)\land q(x))$ $\exists\:x(\neg\:p(x)\land q(x))$ $\exists\:x(\neg\:p(x)\land\neg\:q(x))$ $\exists\:x(p(x)\land\neg\:q(x))$
asked
Mar 30, 2020
in
Mathematical Logic
Lakshman Patel RJIT
328
views
nielit2017dec-scientistb
discrete-mathematics
mathematical-logic
first-order-logic
0
votes
1
answer
9
UGCNET-Jan2017-III: 59
Which of the following statements is true? The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2} \wedge \dots \wedge S_{n}\rightarrow S$ is satisfiable. The sentence $S$ ... of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2}\wedge \dots \wedge S_{n}\wedge S$ is inconsistent.
Which of the following statements is true? The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2} \wedge \dots \wedge S_{n}\rightarrow S$ is satisfiable. The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if ... logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2}\wedge \dots \wedge S_{n}\wedge S$ is inconsistent.
asked
Mar 24, 2020
in
Discrete Mathematics
jothee
467
views
ugcnetjan2017iii
discrete-mathematics
mathematical-logic
0
votes
2
answers
10
UGCNET-Jan2017-II: 2
Match the following : ...
Match the following : ...
asked
Mar 24, 2020
in
Mathematical Logic
jothee
174
views
ugcnetjan2017ii
mathematical-logic
5
votes
3
answers
11
ISRO2020-73
Given that $B(a)$ means “$a$ is a bear” $F(a)$ means “$a$ is a fish” and $E(a,b)$ means “$a $ eats $b$” Then what is the best meaning of $\forall x [F(x) \to \forall y(E(y,x)\rightarrow b(y))]$ Every fish is eaten by some bear Bears eat only fish Every bear eats fish Only bears eat fish
Given that $B(a)$ means “$a$ is a bear” $F(a)$ means “$a$ is a fish” and $E(a,b)$ means “$a $ eats $b$” Then what is the best meaning of $\forall x [F(x) \to \forall y(E(y,x)\rightarrow b(y))]$ Every fish is eaten by some bear Bears eat only fish Every bear eats fish Only bears eat fish
asked
Jan 13, 2020
in
Mathematical Logic
Satbir
785
views
isro-2020
discrete-mathematics
mathematical-logic
propositional-logic
normal
1
vote
1
answer
12
CMI2019-B-5
In the land of Twitter, there are two kinds of people: knights (also called outragers), who always tell the truth, and knaves (also called trolls), who always lie. It so happened that a person with handle @anand tweeted something offensive. It was not known ... $3:$ My lawyer always tells the truth. Which of the above suspects are innocent, and which are guilty? Explain your reasoning.
In the land of Twitter, there are two kinds of people: knights (also called outragers), who always tell the truth, and knaves (also called trolls), who always lie. It so happened that a person with handle @anand tweeted something offensive. It was not known ... Suspect $3:$ My lawyer always tells the truth. Which of the above suspects are innocent, and which are guilty? Explain your reasoning.
asked
Sep 13, 2019
in
Mathematical Logic
gatecse
190
views
cmi2019
mathematical-logic
logical-reasoning
descriptive
3
votes
1
answer
13
Mathematical Logic Ques:Self doubt
“Not every satisfiable logic is valid” Representation of it will be $1)\sim \left ( \forall S(x)\rightarrow V(x) \right )$ or $2)\sim \left ( \forall S(x)\vee V(x) \right )$ Among $1)$ and $2)$, which one is correct? and why?
“Not every satisfiable logic is valid” Representation of it will be $1)\sim \left ( \forall S(x)\rightarrow V(x) \right )$ or $2)\sim \left ( \forall S(x)\vee V(x) \right )$ Among $1)$ and $2)$, which one is correct? and why?
asked
Jun 4, 2019
in
Mathematical Logic
srestha
360
views
discrete-mathematics
mathematical-logic
2
votes
1
answer
14
Doubt on GATE Question
Read the statements: All women are entrepreneurs. Some women are doctors. Which of the following conclusions can be logically inferred from the above statements? All women are doctors All doctors are entrepreneurs All entrepreneurs are women Some entrepreneurs are doctors ... Is it because , if we make set of doctor as 0, then All doctors are entrepreneurs is meaningless.
Read the statements: All women are entrepreneurs. Some women are doctors. Which of the following conclusions can be logically inferred from the above statements? All women are doctors All doctors are entrepreneurs All entrepreneurs are women Some entrepreneurs are doctors Why here $2)$ ... ans?? Is it because , if we make set of doctor as 0, then All doctors are entrepreneurs is meaningless.
asked
Jun 1, 2019
in
Mathematical Logic
srestha
166
views
discrete-mathematics
mathematical-logic
1
vote
1
answer
15
Mathematical Logic: Doubt on meaning of statement
The notation $\exists ! x P(x)$ denotes the proposition there exists a unique $x$ such that $P(x)$ ... What will be answer here?? Is the assumption only for left hand side and not right hand side??
The notation $\exists ! x P(x)$ denotes the proposition “there exists a unique $x$ such that $P(x)$ is true”. Give the truth values of the following statements : I)${\color{Red} {\exists ! x P(x)}} \rightarrow \exists x P(x)$ II)${\color{Red} {\exists ! x\sim P(x)}} \rightarrow \neg \forall x P(x)$ What will be answer here?? Is the assumption only for left hand side and not right hand side??
asked
May 31, 2019
in
Mathematical Logic
srestha
262
views
mathematical-logic
discrete-mathematics
0
votes
1
answer
16
Proposition Logic Question
Are these propositions? 1.This sentence is true 2.This sentence is false Aren’t these liar paradox?
Are these propositions? 1.This sentence is true 2.This sentence is false Aren’t these liar paradox?
asked
May 30, 2019
in
Mathematical Logic
Reshu $ingh
351
views
mathematical-logic
propositional-logic
discrete-mathematics
1
vote
0
answers
17
Self Doubt:Mathematical Logic
Represent these two statement in first order logic: $A)$ Only Alligators eat humans $B)$ Every Alligator eats humans Is Every represents $\equiv \exists$ and Only represents $\equiv \forall$ ?? Can we differentiate it with verb ‘eat’ and ‘eats’??
Represent these two statement in first order logic: $A)$ Only Alligators eat humans $B)$ Every Alligator eats humans Is Every represents $\equiv \exists$ and Only represents $\equiv \forall$ ?? Can we differentiate it with verb ‘eat’ and ‘eats’??
asked
May 18, 2019
in
Mathematical Logic
srestha
181
views
discrete-mathematics
mathematical-logic
first-order-logic
0
votes
1
answer
18
Made Easy Test Series:Discrete Math-Mathematical Logic
Consider the following first order logic statement $I)\forall x\forall yP\left ( x,y \right )$ $II)\forall x\exists yP\left ( x,y \right )$ $III)\exists x\exists yP\left ( x,y \right )$ $III)\exists x\forall yP\left ( x,y \right )$ Which one ... true , then $III),IV)$ is true $B)$ If $IV)$ is true , then $II),III)$ is true $C)$ None of these
Consider the following first order logic statement $I)\forall x\forall yP\left ( x,y \right )$ $II)\forall x\exists yP\left ( x,y \right )$ $III)\exists x\exists yP\left ( x,y \right )$ $III)\exists x\forall yP\left ( x,y \right )$ ... $II)$ is true , then $III),IV)$ is true $B)$ If $IV)$ is true , then $II),III)$ is true $C)$ None of these
asked
Apr 27, 2019
in
Mathematical Logic
srestha
199
views
mathematical-logic
discrete-mathematics
made-easy-test-series
3
votes
1
answer
19
Kenneth Rosen Edition 7th Exercise 2.1 Question 9 (Page No. 125)
Determine whether each of these statements is true or false. $0$ $ \epsilon$ $\phi$ $\phi$ $\epsilon$ {$0$} {$0$} $ \subset$ {$ \phi$} $\phi$ $\subset$ {$0$} {$0$} $\epsilon$ {$0$} {$0$} $\subset$ {$0$} {$\phi$} $\subseteq$ {$\phi$}
Determine whether each of these statements is true or false. $0$ $ \epsilon$ $\phi$ $\phi$ $\epsilon$ {$0$} {$0$} $ \subset$ {$ \phi$} $\phi$ $\subset$ {$0$} {$0$} $\epsilon$ {$0$} {$0$} $\subset$ {$0$} {$\phi$} $\subseteq$ {$\phi$}
asked
Apr 5, 2019
in
Mathematical Logic
Pooja Khatri
119
views
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
0
votes
0
answers
20
Kenneth Rosen Edition 7th Exercise 1.7 Question 42 (Page No. 92)
Prove that these four statements about the integer $n$ are equivalent: $n^2$is odd, $1−n$ is even, $n^3$ is odd, $n^2+1$ is even.
Prove that these four statements about the integer $n$ are equivalent: $n^2$is odd, $1−n$ is even, $n^3$ is odd, $n^2+1$ is even.
asked
Apr 4, 2019
in
Mathematical Logic
Pooja Khatri
80
views
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
0
votes
0
answers
21
Kenneth Rosen Edition 7th Exercise 1.7 Question 41 (Page No. 92)
Prove that if $n$ is an integer, these four statements are equivalent: $n$ is even, $n+1$ is odd, $3n+1$isodd, $3n$ is even.
Prove that if $n$ is an integer, these four statements are equivalent: $n$ is even, $n+1$ is odd, $3n+1$isodd, $3n$ is even.
asked
Apr 4, 2019
in
Mathematical Logic
Pooja Khatri
48
views
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
0
votes
0
answers
22
Kenneth Rosen Edition 7th Exercise 1.7 Question 39 (Page No. 92)
Prove that at least one of the real numbers $a_1,a_2,...,a_n$ is greater than or equal to the average of these numbers.What kind of proof did you use?
Prove that at least one of the real numbers $a_1,a_2,...,a_n$ is greater than or equal to the average of these numbers.What kind of proof did you use?
asked
Apr 4, 2019
in
Mathematical Logic
Pooja Khatri
41
views
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
0
votes
0
answers
23
Kenneth Rosen Edition 7th Exercise 1.7 Question 38 (Page No. 92)
Find a counterexample to the statement that every positive integer can be written as the sum of the squares of three integers
Find a counterexample to the statement that every positive integer can be written as the sum of the squares of three integers
asked
Apr 4, 2019
in
Mathematical Logic
Pooja Khatri
69
views
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
0
votes
0
answers
24
Kenneth Rosen Edition 7th Exercise 1.7 Question 37 (Page No. 91)
Show that the propositions $p1,p2,p3,p4,$ and $p5$ can be shown to be equivalent by proving that the conditional statements $p1 \rightarrow p4$ , $p3 \rightarrow p1$ ,$p4 \rightarrow p2$ ,$p2 \rightarrow p5$, and $p5 \rightarrow p3$ are true.
Show that the propositions $p1,p2,p3,p4,$ and $p5$ can be shown to be equivalent by proving that the conditional statements $p1 \rightarrow p4$ , $p3 \rightarrow p1$ ,$p4 \rightarrow p2$ ,$p2 \rightarrow p5$, and $p5 \rightarrow p3$ are true.
asked
Apr 4, 2019
in
Mathematical Logic
Pooja Khatri
71
views
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
Page:
1
2
3
4
5
6
...
23
next »
...