Awesome q2a theme
Ask us anything
Toggle navigation
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Exams
Recent questions tagged propositional_logic
0
votes
1
answer
Self Doubts Propositional Logic
Nobody passed physics exam. S(x) : x is a student. P(x) : x has passed physics exam. Kindly convert it into first order logic form.
asked
Mar 23
in
Revision
by
suvradip das
(
6
points)

10
views
propositional_logic
0
votes
0
answers
Applied course test series: Propositional logic
What will be the correct answer for above question?
asked
Dec 1, 2019
in
Mathematical Logic
by
vishal burnwal
(
135
points)

17
views
propositional_logic
0
votes
0
answers
Propositional and Predicate Logic doubts
Consider P(x):x is a politician and S(x): x is a sportsman In ∀x(P(x) → S(x)) we have all politicians who are sportsman and also we can have others who are non politicians but sportsman,who are non politicians and non sportsman right? Please clarify.
asked
Nov 21, 2019
in
Mathematical Logic
by
Shivateja MST
(
113
points)

20
views
engineeringmaths
propositional_logic
0
votes
1
answer
Mathematical Logic (ACE)
Consider the following arguments ... Which of the following are valid?
asked
Nov 11, 2019
in
Mathematical Logic
by
srestha
(
683
points)

40
views
discrete_maths
propositional_logic
0
votes
1
answer
Self doubt: mathematical logic
$(i) \exists(R\rightarrow I)\equiv \forall R\rightarrow \exists I$ $(ii)\forall (R\rightarrow I)\equiv \exists R\rightarrow\forall I $ Are both of them coreect?? I have doubt in second one...
asked
Nov 3, 2019
in
Mathematical Logic
by
Verma Ashish
(
386
points)

16
views
discrete_maths
propositional_logic
quantifiers
0
votes
1
answer
Self Doubt: First order logic
Which of these does not correctly represent “Every person loves at least one corgi”? $\forall x[person(x)\rightarrow \exists y[corgi(y)\Lambda Loves(x,y)]]$ $\forall x\exists y[person(x)\rightarrow corgi(y)\Lambda Loves(x,y)]$ $\exists y\forall x[person(x)\rightarrow corgi(y)\Lambda Loves(x,y)]$
asked
Sep 27, 2019
in
Mathematical Logic
by
Sambhrant Maurya
(
401
points)

47
views
propositional_logic
discrete_maths
firstorderlogic
0
votes
1
answer
Predicate logic
“Everyone has exactly one best friend” Which of the following first order logic statements correctly represents above English statement? $\text{BF(x,y)} = \text{x and y are best friends}$ $S1 : \forall x \exists y \forall z (BF(x,y) \wedge \neg BF(x,z) \implies (y \neq z))$ $S2: \forall x \exists y (BF(x,y) \implies \forall z [(y \neq z)] \implies \neg BF(x,z)) $
asked
Aug 27, 2019
in
Mathematical Logic
by
Mk Utkarsh
(
505
points)

85
views
discrete_maths
propositional_logic
0
votes
1
answer
what will be the answer?
which of the following options are equivalent to statement?
asked
Aug 25, 2019
in
Mathematical Logic
by
ummokkate
(
48
points)

21
views
discrete_maths
propositional_logic
0
votes
1
answer
Describe the difference between following three 1st order logic formula
asked
Aug 19, 2019
in
Digital Logic
by
Ranjan1995
(
6
points)

11
views
propositional_logic
0
votes
0
answers
self doubt kenneth rosen
"In the statement ∃x(x + y = 1), the variable x is bound by the existential quantification ∃x, but the variable y is free because it is not bound by a quantifier and no value is assigned to this variable. This illustrates that in the statement ∃x(x ... y is free becoz it is not bound by a quantifier. thats it!!,Why is no value is assigned to this variable. written?
asked
Aug 18, 2019
in
Mathematical Logic
by
Doraemon
(
99
points)

14
views
discrete_maths
kennethrosen
propositional_logic
0
votes
0
answers
Kenneth Rosen ex 1.3 q 43
How $( \forall x (P(x) → Q(x) ) → (\forall x(P(x) → \forall (Q(x))$ is true ?
asked
Aug 17, 2019
in
Mathematical Logic
by
Winner
(
73
points)

11
views
kennethrosen
discrete_maths
propositional_logic
0
votes
1
answer
Kenneth Rosen ex 1.3 q50
How $\forall x (P(x)) \vee \forall x (Q(x)) → \forall x (P(x) \vee Q(x))$. Why not biconditional?
asked
Aug 17, 2019
in
Mathematical Logic
by
Winner
(
73
points)

17
views
kennethrosen
propositional_logic
+1
vote
0
answers
SELF DOUBT: PROPOSITIONAL LOGIC
What is the significance of this relations between the quantifiers? It will be helpful if u can provide some questions related to the use of the same.
asked
Aug 5, 2019
in
Mathematical Logic
by
Hirak
(
1.2k
points)

25
views
propositional_logic
0
votes
1
answer
Gate 2018  First Order Logic
Consider the firstorder logic sentence φ ≡ ∃s∃t∃u∀v∀w∀x∀y ψ(s,t, u, v, w, x, y) where ψ(s,t, u, v, w, x, y) is a quantifierfree firstorder logic formula using only predicate symbols, and possibly equality, but no function ... of size equal to 7. Can anyone tell me the entire thing with an elaborate and proper explanation from the basic regarding this question.
asked
Aug 4, 2019
in
Mathematical Logic
by
user2525
(
1.6k
points)

34
views
discrete_maths
propositional_logic
0
votes
1
answer
Propositional Logic and First order logic
Consider the following pairs of statements : Pair 1 : There exist a student who has not visited Dakota. Not all students have visited Dakota. Pair 2 : There does not exist a student who has visited Dakota. All students have not ... . Both Pair 1 statements and Pair 2 statements are equivalent. Nether Pair 1 statements nor Pair 2 statements are equivalent.
asked
Jul 29, 2019
in
Mathematical Logic
by
user2525
(
1.6k
points)

14
views
discrete_maths
propositional_logic
+1
vote
1
answer
Propositional logic
Let $P$ and $Q$ be two propositions, $¬ (P ↔ Q)$ is equivalent to: $P ↔ ¬ Q $ $¬ P ↔ Q $ $¬ P ↔ ¬ Q $ $Q → P$
asked
Jul 19, 2019
in
Mathematical Logic
by
shiksha pandey
(
12
points)

23
views
discrete_maths
propositional_logic
+1
vote
1
answer
Propositional logic statement
What is the converse of the following assertion? I stay only if you go.
asked
Jul 19, 2019
in
Mathematical Logic
by
shiksha pandey
(
12
points)

24
views
discrete_maths
propositional_logic
To see more, click for the
full list of questions
or
popular tags
.
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
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
Top Users
Apr 2020
!KARAN
36 Points
lazygatestudent
5 Points
AngeloAlba89
5 Points
WillKnisley
5 Points
TamieMcvay4
5 Points
Satyaki Das
5 Points
akansha03
5 Points
srestha
3 Points
Shivateja MST
2 Points
souren
2 Points
Monthly Top User and those within 60% of his/her points will get a share of monthly revenue of GO subject to a minimum payout of Rs. 500. Current monthly budget for Top Users is Rs. 75.
3,511
questions
1,656
answers
10,449
comments
90,037
users