Recent questions tagged mathematical-logic

0 votes

0 answers

1

Gate 2004| Logics| Let p,q,r, s be 4 primitive statements. Consider these arguments

asked 1 day ago in Mathematical Logic by rahul saxena (271 points) | 12 views

0 votes

1 answer

2

Mathematical Logic question
Which among them are valid? How to approach such questions ?

asked Sep 22 in Mathematical Logic by Rajesh R (331 points) | 86 views

0 votes

0 answers

3

Propositional and First Order Logic GATE-CS-2006

asked Sep 17 in Mathematical Logic by preps (11 points) | 94 views

+3 votes

1 answer

4

Discrete Mathematics - Quantifiers problem

asked Sep 13 in Mathematical Logic by manu00x Veteran (14.9k points) | 116 views

+4 votes

1 answer

5

Propositional Logic
Can someone please check if my solution is correct?

asked Sep 13 in Mathematical Logic by manu00x Veteran (14.9k points) | 58 views

0 votes

0 answers

6

Mathematical logic
What is the first order logic representation for the sentence "Not every satisfiable logic is valid"

asked Sep 7 in Mathematical Logic by srestha Veteran (64.8k points) | 46 views

+2 votes

1 answer

7

Quantifier
Express the statement If a person is female and is a parent, then this person is someone's mother as a logical expression involving predicates, quantifiers with a domain consisting of all people, and logical connectives. F(x) to represent x is female, P(x) to represent x is a parent, ... ∀x((F (x) ∧ P(x)) → ∃yM(x, y)). ∀x∃y((F (x) ∧ P(x)) → M(x, y)).

asked Aug 27 in Mathematical Logic by set2018 Loyal (4.7k points) | 74 views

0 votes

1 answer

8

Discrete Maths Kenneth Rosen Nested Quantifiers Ex 1.5 Q8

asked Aug 5 in Mathematical Logic by Bhunesh Singh (47 points) | 116 views

+1 vote

1 answer

9

Discrete Mathematics Kenneth H. Rosen Ex 1.4 Predicates and Quantifiers

asked Aug 4 in Mathematical Logic by Bhunesh Singh (47 points) | 128 views

+1 vote

2 answers

10

Discrete maths Predicate logic
( ∃x(P(x))→∃x(Q(x)) ) → ( ∃x(P(x)→Q(x)) ) ( ∃x(P(x)→Q(x)) ) → ( ∃x(P(x))→∃x(Q(x)) ) Which of the above is valid and for not valid please give me counter example where LHS is true but RHS is false?

asked Jul 28 in Mathematical Logic by rahul sharma 5 Veteran (14.9k points) | 107 views

+1 vote

1 answer

11

Two place predicate logic
How to solve these type of question:- ∀x ∀y (x+y = 0) ∀x ∃y (x+y = 0) ∃x ∀y (x+y = 0) ∃x ∃y (x+y = 0) ??

asked Jul 21 in Mathematical Logic by Shubhanshu Boss (8.8k points) | 58 views

+1 vote

3 answers

12

rosen
Show that each of the conditional statement is a tautology not using truth table [(p → q) ∧ (q → r)] → (p → r)

asked Jul 16 in Mathematical Logic by Khushal Kumar (269 points) | 85 views

+1 vote

1 answer

13

rosen-eg. 2, section 1.2
How can this English sentence be translated into a logical expression? “You cannot ride the roller coaster if you are under 4 feet tall unless you are older than 16 years old.” The qustion is given above and the answer in the book is: (r ∧¬s)→¬q but what if it was like: ¬q-->(r ∧¬s) i mean what if you change the left and right hand sides.

asked Jul 15 in Mathematical Logic by Khushal Kumar (269 points) | 61 views

+1 vote

1 answer

14

Discrete Maths: First Order Logic - Question in my mind based on question from Kenneth Rosen

asked Jul 12 in Mathematical Logic by meghashyamc (245 points) | 92 views

+1 vote

2 answers

15

Gate Question for CSE 1995 In Propositional logic

asked Jun 27 in Mathematical Logic by noxevolution (21 points) | 135 views

0 votes

1 answer

16

[Discrete Maths] predicate Logic

asked Jun 18 in Mathematical Logic by rahul sharma 5 Veteran (14.9k points) | 119 views

+1 vote

1 answer

17

[Discrete Maths] First Order Logic

asked Jun 15 in Mathematical Logic by rahul sharma 5 Veteran (14.9k points) | 145 views

+1 vote

1 answer

18

[Discrete Maths] predicate Logic

asked Jun 15 in Mathematical Logic by rahul sharma 5 Veteran (14.9k points) | 126 views

+1 vote

2 answers

19

[Discrete Maths] predicate logic

asked Jun 14 in Mathematical Logic by rahul sharma 5 Veteran (14.9k points) | 72 views

0 votes

1 answer

20

first order logic notations
can someone please tell when to interpret this symbol $\Leftrightarrow$ as logical equivalence and when as double implication?

asked Jun 13 in Mathematical Logic by vineet.ildm Junior (811 points) | 101 views

+2 votes

1 answer

21

FREE VARIABLE and VALIDITY related problem

asked Jun 12 in Mathematical Logic by ram_18051996 (273 points) | 58 views

+1 vote

1 answer

22

# FREE VARIABLE ( NULL QUANTIFICATION ) Related problem

asked Jun 12 in Mathematical Logic by ram_18051996 (273 points) | 37 views

0 votes

1 answer

23

ISI2017 MMA
The area lying in the first quadrant and bounded by the circle x^2 + y^2 = 4 and lines x=0 and x=1 is given by?

asked Jun 12 in Numerical Ability by shraddha priya Active (2.1k points) | 70 views

0 votes

1 answer

24

Mathematical Logic
What is the difference between =>, <=> and ->? Are => and -> used in the same way? => is logical implication and <=> is equivalence right? Then why does in some questions, => and <=> is read as 'if then'? '->' symbol is for if then right? Refer to this: http://gateoverflow.in/3454/gate2007-it-21

asked Jun 10 in Mathematical Logic by Bongbirdie Junior (739 points) | 42 views

0 votes

1 answer

25

[Discrete Maths] Predicate Logic,Rosen Ex1.5,problem,9.e

asked Jun 9 in Mathematical Logic by rahul sharma 5 Veteran (14.9k points) | 88 views

0 votes

0 answers

26

[Discrete Maths] Predicate logic

asked Jun 9 in Mathematical Logic by rahul sharma 5 Veteran (14.9k points) | 35 views

0 votes

1 answer

27

gatebook predicate logic practice problems

asked Jun 7 in Mathematical Logic by Siva Tarun (187 points) | 107 views

0 votes

1 answer

28

Gatebook - predicate Logic - negating

asked Jun 6 in Mathematical Logic by Siva Tarun (187 points) | 92 views

0 votes

1 answer

29

first order logic
Is it always the case that implication comes with universal quantifier and conjunction comes with existential quantifier?

asked Jun 5 in Mathematical Logic by vineet.ildm Junior (811 points) | 78 views

+1 vote

0 answers

30

#general #mathematics #PropositionalLogic How to Choose which one is better answer?

asked Jun 3 in Mathematical Logic by bhuv Active (1.8k points) | 49 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

Recent Badges