Syllabus: Propositional and first order logic.

$$\scriptsize{\overset{{\large{\textbf{Mark Distribution in Previous GATE}}}}{\begin{array}{|c|c|c|c|c|c|c|c|}\hline
\textbf{Year}& \textbf{2022}& \textbf{2021-1}&\textbf{2021-2}&\textbf{2020}&\textbf{2019}&\textbf{2018}&\textbf{2017-1}&\textbf{2017-2}&\textbf{2016-1}&\textbf{2016-2}&\textbf{Minimum}&\textbf{Average}&\textbf{Maximum}
\\\hline\textbf{1 Mark Count}& 0 & 1&1&0&0&0&2&1&1&1&0&0.7&2
\\\hline\textbf{2 Marks Count}&0 & 0&0&1&1&1&1&0&0&1&0&0.5&1
\\\hline\textbf{Total Marks}& 0 & 1&1&2&2&2&4&1&1&3&\bf{0}&\bf{1.7}&\bf{4}\\\hline
\end{array}}}$$

Most viewed questions in Mathematical Logic

0 votes

1 answer

991

Propositions
"I'm hungry" is it a proposition? Bob is Hungry, is it a proposition? How to tell whether an idea is proposition or not when speaker speak's about himself.

"I'm hungry" is it a proposition?Bob is Hungry, is it a proposition?How to tell whether an idea is proposition or not when speaker speak's about himself.

ShanthanK

547 views

ShanthanK asked Apr 12, 2017

0 votes

2 answers

992

kenneth h rosen chapter 1 excercise 1.3 question 47
Show that p NAND q is logically equivalent to ¬(p ∧ q). how to prove this and i prove using truth table which is easy but how to prove using logical identities ? thank you

Show that p NAND q is logically equivalent to ¬(p ∧ q).how to prove this and i prove using truth table which is easy but how to prove using logical identities ?thank y...

ykrishnay

546 views

ykrishnay asked Feb 21, 2022

1 votes

1 answer

993

Kenneth Rosen Edition 6th Exercise 1.3 Example 17 (Page No. 38)
The restriction of a universal quantification is the same as the universal quantification of a conditional statement. For instance, ∀x < 0 (x2 > 0) is another way of expressing ∀x(x < 0 ... whereas existential quantification is same as existential quantification of a conjunction? Please provide proper details. Thank You.

The restriction of a universal quantification is the same as the universal quantificationof a conditional statement. For instance, ∀x < 0 (x2 0) is another way of expr...

Navneet Srivastava

546 views

Navneet Srivastava asked Jul 1, 2016

4 votes

3 answers

994

Discrete Mathematics | Propositional Logic | Test 2 | Question: 12
Two sentences are said to be $\textit{contradictory}$ if one is negation of the other. A $\textit{contradiction}$ is a conjunction of two contradictory sentences i.e. it is a conjunction of the form $S \wedge \neg S.$ A set ... Only $(ii)$ is correct Both $(i)$ and $(ii)$ are correct None of the above

Two sentences are said to be $\textit{contradictory}$ if one is negation of the other. A $\textit{contradiction}$ is a conjunction of two contradictory sentences i.e. it ...

ankitgupta.1729

545 views

ankitgupta.1729 asked Apr 15, 2023

1 votes

2 answers

995

Kenneth Rosen Edition 7 Exercise 1.3 Question 33 (Page No. 35)
Show that $(p \rightarrow q) \rightarrow (r \rightarrow s) $ and $(p \rightarrow r) \rightarrow (q \rightarrow s)$ are not logically equivalent.

Show that $(p \rightarrow q) \rightarrow (r \rightarrow s) $ and $(p \rightarrow r) \rightarrow (q \rightarrow s)$ are not logically equivalent.

Pooja Khatri

545 views

Pooja Khatri asked Mar 16, 2019

1 votes

2 answers

996

Write equivalent first order expression
There are worms inside some ripe mangoes.

There are worms inside some ripe mangoes.

Sankaranarayanan P.N

545 views

Sankaranarayanan P.N asked Sep 3, 2015

0 votes

0 answers

997

GATE 1992
How is option (a) correct? Isn’t Universal quantifier not distributive over union/disjunction. Source: https://cse.buffalo.edu/~rapaport/191/distqfroverandor.html

How is option (a) correct? Isn’t Universal quantifier not distributive over union/disjunction.Source: https://cse.buffalo.edu/~rapaport/191/distqfroverandor.html

kaveeshnyk

544 views

kaveeshnyk asked Apr 14, 2019

0 votes

0 answers

998

[Self doubt] Permutation
Default permutation is with repetition or not?I came across some questions and it was nothing mentioned like repetition and all.But if questions says how many passwords then it was assumed that they are distinct and repetition not allowed and some questions ... followed by 4 digits etc. and in these question it was with repitiion.So how to differentiate between these two?

Default permutation is with repetition or not?I came across some questions and it was nothing mentioned like repetition and all.But if questions says how many passwords t...

rahul sharma 5

544 views

rahul sharma 5 asked Jun 16, 2017

0 votes

0 answers

999

Maths and Aptitude preparation strategy
Please suggest me how to do I start preparing for maths and aptitude as I'm already completing other subjects.(Any links or something which can be helpful) Suggestions will be very helpful. Thanks

Please suggest me how to do I start preparing for maths and aptitude as I'm already completing other subjects.(Any links or something which can be helpful)Suggestions wil...

Mayankprakash

543 views

Mayankprakash asked Dec 28, 2018

2 votes

1 answer

1000

Kenneth Rosen Edition 6th Exercise 7.5 Question 3 b,e (Page No. 507)
1- these relations on the set of all functions from Z to Z. Determine the properties they lack for equivalence relation? a) {(f, g) | f (0) = g(0) or f (1) = g(1)} b) {(f, g) | f (0) = g(1) and f (1) = g(0)}

1- these relations on the set of all functions from Z to Z. Determine the properties they lack for equivalence relation?a) {(f, g) | f (0) = g(0) or f (1) = g(1)}b) {(f, ...

vamp_vaibhav

543 views

vamp_vaibhav asked Aug 10, 2017

0 votes

0 answers

1001

propostion logic
Are these correct representation in Propositional logic?? I. Somebody,Someone,Anybody,Anyone=========Ǝx II. Everybody,Everyone======∀x

Are these correct representation in Propositional logic??I. Somebody,Someone,Anybody,Anyone ==ƎxII. Everybody,Everyone======∀x

firki lama

543 views

firki lama asked Jan 9, 2017

5 votes

2 answers

1002

Test by Bikram | Mathematics | Test 2 | Question: 11
$3x + y + z + w = 14$ The number of non negative integral solutions possible is _______.

$3x + y + z + w = 14$The number of non negative integral solutions possible is _______.

Bikram

540 views

Bikram asked May 24, 2017

0 votes

1 answer

1003

What are the eigenvector correspond to the following matrix?
1 0 0 0 0 2 0 0 0 0 3 0 0 0 0 4 As I know eigen values are 1,2,3,4. Where correspond Eigen value 1 Eigen vector are in terms of a,b,c,d b=0 2c=0 3d=0 What will be Eigen vector?

1 0 0 00 2 0 00 0 3 00 0 0 4As I know eigen values are 1,2,3,4.Where correspond Eigen value 1 Eigen vector are in terms of a,b,c,d b=02c=03d=0What will be Eigen vector?

hem chandra joshi

539 views

hem chandra joshi asked Dec 8, 2017

0 votes

0 answers

1004

https://math.stackexchange.com/questions/111368/what-is-a-geometric-explanation-of-complex-integration-in-plain-english

as in real itegration, area enclosed by a curve , represented as f(x) ,between two points a and b is integration of curve f(x) from a to b. this is the geometrical meanin...

Roshan Chauhan 1

539 views

Roshan Chauhan 1 asked Aug 26, 2017

3 votes

1 answer

1005

Logic basic
$R(x): \quad x$ is a rabbit $H(x): \quad x$ hops Convert the following First Order Logic expressions into English statements. $\forall x: \Bigl ( R(x) \to H(x) \Bigr )$ $\forall x: \Bigl ( R(x) \land H(x) \Bigr )$ $\exists x: \Bigl ( R(x) \to H(x) \Bigr )$ $ \exists x: R(x) \land H(x)$

$R(x): \quad x$ is a rabbit$H(x): \quad x$ hopsConvert the following First Order Logic expressions into English statements.$\forall x: \Bigl ( R(x) \to H(x) \Bigr )$ $\fo...

Dexter

539 views

Dexter asked May 10, 2016

5 votes

1 answer

1006

GO Classes 2023 | Weekly Quiz 3 | Question: 21
Of all the connectives we've seen, the implication $\rightarrow$ connective is probably the trickiest. Let $F$ and $G$ be two propositional formulas, over same set of propositional variables, such that $(F \rightarrow G)$ ... $(F \rightarrow G)\wedge (G \rightarrow F)$ is necessarily a Tautology. $F$ is necessarily equivalent to $G.$

Of all the connectives we've seen, the implication “$\rightarrow$” connective is probably the trickiest. Let $F$ and $G$ be two propositional formulas, over same set ...

GO Classes

538 views

GO Classes asked Mar 23, 2022

9 votes

2 answers

1007

GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 14
Let $\text{P}$ be a compound proposition over $4$ propositional variables $: a,b,c,d.$ We know that for a compound proposition over n propositional variables, we have $2^{n}$ rows in the truth table. Every row of the ... the sentence $(a \wedge b) \vee (b \wedge c)$ How many models are there for $\text{P}?$

Let $\text{P}$ be a compound proposition over $4$ propositional variables $: a,b,c,d.$We know that for a compound proposition over n propositional variables, we have $2^{...

GO Classes

537 views

GO Classes asked Apr 14, 2022

2 votes

1 answer

1008

graph theory
complete directed graph with 8 vertices has 28 edges this statement is true or false plese explain?

complete directed graph with 8 vertices has 28 edges this statement is true or falseplese explain?

jugnu1337

537 views

jugnu1337 asked Dec 17, 2021

0 votes

0 answers

1009

No idea about what to study in FIRST ORDER LOGIC
Hello, please kindly tell from where to study topic FIRST ORDER LOGIC? Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!

Hello, please kindly tell from where to study topic FIRST ORDER LOGIC?Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!

iarnav

537 views

iarnav asked Sep 28, 2018

4 votes

2 answers

1010

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

The “implies” connective “$\rightarrow$” is one of the stranger connectives in propositional logic. Below are a series of statements regarding implications. Which...

GO Classes

536 views

GO Classes asked Mar 23, 2022

Page:

« prev
1
...
45
46
47
48
49
50
51
52
53
54
55
...
125
next »

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