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
GO Book for GATECSE 2022
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
Exact tag match
Recent Posts
GATE 2021 AIR 26 journey and some useful tips
A Short Guide to GATE
Seeking DRDO Scientist B previous year papers
STRATEGY TO EFFECTIVELY CREATE SHORT & MICRO NOTES FOR GATE EXAM AND BEST REVISION STRATEGY BY AIR-"152"
My Video Experience AIR-152 GATE_CS(Some More motivation)!!!!!!
Subjects
All categories
General Aptitude
(2.1k)
Engineering Mathematics
(8.5k)
Digital Logic
(3.1k)
Programming and DS
(5.2k)
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.5k)
Admissions
(595)
Exam Queries
(838)
Tier 1 Placement Questions
(16)
Job Queries
(71)
Projects
(19)
Unknown Category
(1.1k)
Follow @gateoverflow
GATE Overflow
Recent questions tagged mathematical-logic
Recent Blog Comments
Thanks bro :) It has been quite the...
Wow! Awesome! Congratulations brother
It's one of the top University in Canada.
Hi falgun09, If you don't mind me asking, which...
That's great!
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
3
votes
2
answers
1
GATE CSE 2021 Set 2 | Question: 15
Choose the correct choice(s) regarding the following proportional logic assertion $S$: $S: (( P \wedge Q) \rightarrow R) \rightarrow (( P \wedge Q) \rightarrow (Q \rightarrow R))$ $S$ is neither a tautology nor a contradiction $S$ is a tautology $S$ is a contradiction The antecedent of $S$ is logically equivalent to the consequent of $S$
Choose the correct choice(s) regarding the following proportional logic assertion $S$: $S: (( P \wedge Q) \rightarrow R) \rightarrow (( P \wedge Q) \rightarrow (Q \rightarrow R))$ $S$ is neither a tautology nor a contradiction $S$ is a tautology $S$ is a contradiction The antecedent of $S$ is logically equivalent to the consequent of $S$
asked
Feb 18
in
Mathematical Logic
Arjun
524
views
gate2021-cse-set2
multiple-selects
mathematical-logic
propositional-logic
0
votes
4
answers
2
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 Niether $S_1$ nor $S_2$ is a tautology
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 $S_2$ are tautologies ... tautology but $S_2$ is not a tautology $S_1$ is not a tautology but $S_2$ is a tautology Niether $S_1$ nor $S_2$ is a tautology
asked
Feb 18
in
Mathematical Logic
Arjun
332
views
gate2021-cse-set1
mathematical-logic
propositional-logic
1
vote
2
answers
3
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
431
views
ugcnet-oct2020-ii
discrete-mathematics
mathematical-logic
0
votes
1
answer
4
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
129
views
ugcnet-oct2020-ii
discrete-mathematics
mathematical-logic
0
votes
1
answer
5
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
138
views
ugcnet-oct2020-ii
discrete-mathematics
mathematical-logic
0
votes
2
answers
6
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
142
views
nielit2016mar-scientistc
discrete-mathematics
mathematical-logic
0
votes
4
answers
7
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
391
views
nielit2016mar-scientistc
discrete-mathematics
mathematical-logic
1
vote
3
answers
8
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
198
views
nielit2017july-scientistb-it
mathematical-logic
propositional-logic
0
votes
3
answers
9
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
223
views
nielit2017july-scientistb-cs
mathematical-logic
0
votes
3
answers
10
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
393
views
nielit2017dec-scientistb
discrete-mathematics
mathematical-logic
first-order-logic
0
votes
1
answer
11
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
593
views
ugcnetjan2017iii
discrete-mathematics
mathematical-logic
0
votes
3
answers
12
UGCNET-Jan2017-II: 2
Match the following : ...
Match the following : ...
asked
Mar 24, 2020
in
Mathematical Logic
jothee
222
views
ugcnetjan2017ii
mathematical-logic
5
votes
3
answers
13
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
883
views
isro-2020
discrete-mathematics
mathematical-logic
propositional-logic
normal
1
vote
1
answer
14
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
216
views
cmi2019
mathematical-logic
logical-reasoning
descriptive
3
votes
1
answer
15
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
377
views
discrete-mathematics
mathematical-logic
2
votes
1
answer
16
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
181
views
discrete-mathematics
mathematical-logic
1
vote
1
answer
17
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
285
views
mathematical-logic
discrete-mathematics
0
votes
1
answer
18
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
381
views
mathematical-logic
propositional-logic
discrete-mathematics
1
vote
0
answers
19
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
208
views
discrete-mathematics
mathematical-logic
first-order-logic
Page:
1
2
3
4
5
6
...
23
next »
...