Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Recent questions tagged propositional-logic
0
votes
0
answers
421
Kenneth Rosen Edition 7 Exercise 1.3 Question 4 (Page No. 34)
Use truth tables to verify the associative laws. $(p \vee q) \vee r \equiv p \vee (q \vee r).$ $(p \wedge q) \wedge \equiv p \wedge(q \wedge r).$
Use truth tables to verify the associative laws.$(p \vee q) \vee r \equiv p \vee (q \vee r).$$(p \wedge q) \wedge \equiv p \wedge(q \wedge r).$
Pooja Khatri
357
views
Pooja Khatri
asked
Mar 15, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
+
–
0
votes
1
answer
422
Kenneth Rosen Edition 7 Exercise 1.3 Question 3 (Page No. 34)
Use truth tables to verify the commutative laws $p \vee q \equiv q \vee p $ $p \wedge q \equiv q \wedge p $
Use truth tables to verify the commutative laws$p \vee q \equiv q \vee p $$p \wedge q \equiv q \wedge p $
Pooja Khatri
644
views
Pooja Khatri
asked
Mar 15, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
+
–
0
votes
2
answers
423
Kenneth Rosen Edition 7 Exercise 1.3 Question 2 (Page No. 34)
Show that $\sim(\sim p)$ and p are logically equivalent.
Show that $\sim(\sim p)$ and p are logically equivalent.
Pooja Khatri
694
views
Pooja Khatri
asked
Mar 15, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
+
–
1
votes
0
answers
424
Kenneth Rosen Edition 7 Exercise 1.3 Question 1 (Page No. 34)
Use truth tables to verify these equivalences. $P \wedge T \equiv P$ $P \vee F \equiv P$ $P \wedge F \equiv F $ $P \vee T \equiv T$ $P \vee P \equiv P $ $P \wedge P \equiv P $
Use truth tables to verify these equivalences.$P \wedge T \equiv P$$P \vee F \equiv P$$P \wedge F \equiv F $$P \vee T \equiv T$$P \vee P \equiv P $$P \wedge P \equiv P $
Pooja Khatri
648
views
Pooja Khatri
asked
Mar 15, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
+
–
1
votes
4
answers
425
Kenneth Rosen Edition 7 Exercise 1.2 Question 34 (Page No. 24)
Five friends have access to a chat room. Is it possible to determine who is chatting if the following information is known? Either Kevin or Heather, or both, are chatting. Either Randy or Vijay, but not both, are chatting ... either both chatting or neither is. If Heather is chatting, then so are Abby and Kevin. Explain your reasoning.
Five friends have access to a chat room. Is it possible to determine who is chatting if the following information is known? Either Kevin or Heather, or both, are chatting...
Pooja Khatri
8.6k
views
Pooja Khatri
asked
Mar 15, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
+
–
2
votes
4
answers
426
Kenneth Rosen Edition 7 Exercise 1.2 Question 33 (Page No. 24)
Steve would like to determine the relative salaries of three coworkers using two facts. First, he knows that if Fred is not the highest paid of the three, then Janice is. Second, he knows that if Janice is not the lowest paid, ... , and Janice from what Steve knows? If so, who is paid the most and who the least? Explain your reasoning.
Steve would like to determine the relative salaries of three coworkers using two facts. First, he knows that if Fred is not the highest paid of the three, then Janice is....
Pooja Khatri
4.4k
views
Pooja Khatri
asked
Mar 15, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
+
–
0
votes
1
answer
427
Kenneth Rosen Edition 6th Exercise 1.3 Question 23 (Page No. 48)
what is the approach of solving this question? Q.Translate in two ways each of these statements into logical expressions using predicates, quantifiers, and logical connectives. First, let the domain consist of the students in your class ... has been in a movie. e) No student in your class has taken a course in logic programming.
what is the approach of solving this question?Q.Translate in two ways each of these statements into logicalexpressions using predicates, quantifiers, and logicalconnectiv...
sumitr
6.9k
views
sumitr
asked
Feb 21, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
propositional-logic
+
–
0
votes
0
answers
428
Fundamentals of Discrete Mathematics
Write the symbolic form? “If the utility cost goes up or the request for the additional funding is denied then a new computer will be purchased if and only if we can show that the current computing facilities are indeed not adequate.”
Write the symbolic form?“If the utility cost goes up or the request for the additional funding is denied then a new computer will be purchased if and only if we can sho...
tourist44
980
views
tourist44
asked
Feb 4, 2019
Mathematical Logic
discrete-mathematics
propositional-logic
+
–
0
votes
1
answer
429
predicate logic doubt
1) IS P → Q ≡ Q → P Satisfiable Or NOT?
1) ISP → Q ≡ Q → PSatisfiable Or NOT?
srajkumar
383
views
srajkumar
asked
Jan 30, 2019
Mathematical Logic
mathematical-logic
propositional-logic
+
–
0
votes
1
answer
430
Engineering Mathematics - Discrete Mathematics
Every satisfiable propositional formula is not tautology. True/False
Every satisfiable propositional formula is not tautology.True/False
Reshu $ingh
1.1k
views
Reshu $ingh
asked
Jan 28, 2019
Mathematical Logic
discrete-mathematics
propositional-logic
mathematical-logic
+
–
0
votes
0
answers
431
geeksforgeeks
Let S(x) be the predicate "x is a student",T(x) be the predicate "x is a teacher"and Q(x,y) be the predicate "x has asked y a question" where the domain consists of all people associated with the school. Use quantifiers to express the statement. "Some student ... ∀x∃y ( ( S(x) ∧ T(y) ) → Q(y,x) ) [ ¬P v Q = P→Q ] None of the options are matching .
Let S(x) be the predicate "x is a student",T(x) be the predicate "x is a teacher"and Q(x,y) be the predicate "x has asked y a question" where the domain consists of all p...
Ashish Goyal
686
views
Ashish Goyal
asked
Jan 23, 2019
Mathematical Logic
propositional-logic
quantifiers
+
–
0
votes
3
answers
432
propositional logic
which of the following is tautology? (¬P^(P->q))->¬q ¬(p->q)->¬q [(¬p^q)^[q->(p->q)]]->¬r Both (B) and(C) please explain in detail how to check for especially for condition (C) Because “r” is only in RHS but not in LHS of this implication.
which of the following is tautology?(¬P^(P->q))->¬q¬(p->q)->¬q[(¬p^q)^[q->(p->q)]]->¬rBoth (B) and(C)please explain in detail how to check for especially for condit...
learner_geek
1.0k
views
learner_geek
asked
Jan 22, 2019
Mathematical Logic
propositional-logic
discrete-mathematics
mathematical-logic
first-order-logic
engineering-mathematics
+
–
1
votes
1
answer
433
Applied Course | Mock GATE | Test 1 | Question: 23
If Danny owns a bike, then Edward owns a bike. If Edward owns a bike, then Freddy owns a bike. If Danny owns a bike, which of the following statements must be true? Edward owns a bike. Freddy owns a bike. Freddy does not own a bike. I only II only III only I and II only
If Danny owns a bike, then Edward owns a bike. If Edward owns a bike, then Freddy owns a bike. If Danny owns a bike, which of the following statements must be true?Edward...
Applied Course
683
views
Applied Course
asked
Jan 16, 2019
Mathematical Logic
applied-course-2019-mock1
mathematical-logic
propositional-logic
+
–
1
votes
1
answer
434
Applied Course | Mock GATE | Test 1 | Question: 41
All bookstores sell stationary items. All convenience stores sell stationary items. Which of the following conclusions might be TRUE? All bookstores are convenience stores. All convenience stores are bookstores. I II Both I and II Neither I nor II
All bookstores sell stationary items.All convenience stores sell stationary items.Which of the following conclusions might be TRUE?All bookstores are convenience stores.A...
Applied Course
739
views
Applied Course
asked
Jan 16, 2019
Mathematical Logic
applied-course-2019-mock1
mathematical-logic
propositional-logic
+
–
0
votes
0
answers
435
Kenneth Rosen Edition 6th Exercise 1.4 Question 9f (Page No. 59)
Q) There is somebody whom no one loves L(x,y) : x loves y. Doubt:- Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are different please give explaination
Q) There is somebody whom no one loves L(x,y) : x loves y.Doubt:-Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are d...
kd.....
418
views
kd.....
asked
Jan 10, 2019
Mathematical Logic
mathematical-logic
kenneth-rosen
discrete-mathematics
propositional-logic
quantifiers
+
–
0
votes
0
answers
436
Madeeasy Workbook
Prove that : ∀x(P(x) => Q(x)) ==> ( ∃x(P(x)) => ∃x(Q(x)) ) Why it does not holds?
Prove that :∀x(P(x) = Q(x)) == ( ∃x(P(x)) = ∃x(Q(x)) )Why it does not holds?
Kartik jain 1
343
views
Kartik jain 1
asked
Jan 8, 2019
Study Resources
discrete-mathematics
mathematical-logic
propositional-logic
made-easy-booklet
+
–
1
votes
1
answer
437
Zeal Test Series 2019: Mathematical Logic - Propositional Logic
Isn’t the 3) statement is wrong it should be [(p->r)^(q->r)]->[(p∨q)->r] \
Isn’t the 3) statement is wrong it should be [(p->r)^(q->r)]->[(p∨q)->r]\
Prince Sindhiya
705
views
Prince Sindhiya
asked
Jan 7, 2019
Mathematical Logic
zeal
discrete-mathematics
mathematical-logic
propositional-logic
zeal2019
+
–
2
votes
1
answer
438
Propositional logic self doubt
q = you can access the library r = you have a valid ID s = you have paid subscription fee of that day Consider the following English sentence “You cannot access the library if you don’t have a valid ID unless you have paid subscription fee of that day” which of the following is the correct logical expression? $q \rightarrow (r \vee s )$ $(q \rightarrow r) \vee s$
q = you can access the libraryr = you have a valid IDs = you have paid subscription fee of that dayConsider the following English sentence“You cannot access the library...
Mk Utkarsh
516
views
Mk Utkarsh
asked
Jan 7, 2019
Mathematical Logic
propositional-logic
discrete-mathematics
first-order-logic
mathematical-logic
+
–
0
votes
1
answer
439
MadeEasy Test Series Mathematical Logic - Propositional Logic
Consider two well-formed formula in proposition logic: Which of the following is correct? F1 is satisfiable, F2 is valid F1 is unsatisfiable, F1 is satisfiable F1 is unsatisfiable, F2 is valid F1 and F2 both are unsatisfiable
Consider two well-formed formula in proposition logic:Which of the following is correct?F1 is satisfiable, F2 is validF1 is unsatisfiable, F1 is satisfiableF1 is unsatisf...
Pratik Gawali
586
views
Pratik Gawali
asked
Jan 5, 2019
Mathematical Logic
discrete-mathematics
made-easy-test-series
propositional-logic
+
–
0
votes
0
answers
440
UPPCL AE 2018:76
Consider the statements: $\text{A} \Leftrightarrow \text{A} \vee \sim \text{A}$ $\text{A} \Leftrightarrow \text{A} \vee \text{A}$ $\text{A} \vee \text{B} \Rightarrow \text{A}$ $\text{A} \Rightarrow \text{A} \vee \text{B}$ Which of the above refers to tautologies? $\text{III}$ $\text{I}$ and $\text{II}$ $\text{II}$ and $\text{IV}$ $\text{I}$
Consider the statements:$\text{A} \Leftrightarrow \text{A} \vee \sim \text{A}$$\text{A} \Leftrightarrow \text{A} \vee \text{A}$$\text{A} \vee \text{B} \Rightarrow \te...
admin
214
views
admin
asked
Jan 5, 2019
Mathematical Logic
uppcl2018
mathematical-logic
propositional-logic
+
–
0
votes
0
answers
441
UPPCL AE 2018:30
What is logically equivalent to the following statement? “I pass only if you pass” (Note that fail is equivalent to not pass.) If you pass then I pass You fail if I fail You pass only if I pass If you fail then I fail
What is logically equivalent to the following statement? “I pass only if you pass” (Note that fail is equivalent to not pass.)If you pass then I passYou fail if I fai...
admin
199
views
admin
asked
Jan 5, 2019
Mathematical Logic
uppcl2018
mathematical-logic
propositional-logic
+
–
0
votes
1
answer
442
Discreate Math logic
Rackson
211
views
Rackson
asked
Jan 4, 2019
Mathematical Logic
propositional-logic
+
–
0
votes
0
answers
443
Propositional logic self doubt
Na462
398
views
Na462
asked
Dec 19, 2018
Mathematical Logic
propositional-logic
discrete-mathematics
+
–
7
votes
2
answers
444
TIFR CSE 2019 | Part B | Question: 4
Let $\varphi$ be a propositional formula on a set of variables $A$ and $\psi$ be a propositional formula on a set of variables $B$ , such that $\varphi \Rightarrow \psi$ . A $\textit{Craig interpolant}$ of $\varphi$ and $\psi$ is a propositional formula $\mu$ ... interpolant for $\varphi$ and $\psi$ ? $q$ $\varphi$ itself $q \vee s$ $q \vee r$ $\neg q \wedge s$
Let $\varphi$ be a propositional formula on a set of variables $A$ and $\psi$ be a propositional formula on a set of variables $B$ , such that $\varphi \Rightarrow \p...
Arjun
1.3k
views
Arjun
asked
Dec 18, 2018
Mathematical Logic
tifr2019
mathematical-logic
propositional-logic
+
–
0
votes
0
answers
445
Quantifiers
Translate into the predicate logic One has to drink water in order to survive D(x) = x drinks water S(x) = x survives
Translate into the predicate logicOne has to drink water in order to surviveD(x) = x drinks waterS(x) = x survives
kd.....
490
views
kd.....
asked
Dec 9, 2018
Mathematical Logic
mathematical-logic
discrete-mathematics
propositional-logic
+
–
0
votes
1
answer
446
Propositional Logic
Which of the following is the best English translation for All humans eat alligator Alligator eats only human Every Alligator Eats Human Only Alligator eats Human
Which of the following is the best English translation for All humans eat alligatorAlligator eats only humanEvery Alligator Eats HumanOnly Alligator eats Human
Na462
442
views
Na462
asked
Dec 8, 2018
Mathematical Logic
propositional-logic
discrete-mathematics
mathematical-logic
+
–
1
votes
0
answers
447
Self doubt- Propositional Logic
Que. Consider domain is the set of all people in the world. $F(x,y) =x \text{ is the friend of y}.$ Represent each of the following sentences using first-order logic statements $1.$ Every person has $at most \ 2$ friends. $2.$ Every person has $exactly \ 2$ ... $3. \forall x \exists y_1\exists y_2(F(x,y_1) \wedge F(x,y_2) \wedge (y_1 \neq y_2))$ Please verify.
Que. Consider domain is the set of all people in the world.$F(x,y) =x \text{ is the friend of y}.$ Represent each of the following sentences using first-order logic state...
Soumya29
645
views
Soumya29
asked
Dec 6, 2018
Mathematical Logic
discrete-mathematics
first-order-logic
propositional-logic
+
–
0
votes
1
answer
448
Quantifiers valid statement
How did this statement is valid please explain
How did this statement is valid please explain
kd.....
1.3k
views
kd.....
asked
Nov 30, 2018
Mathematical Logic
discrete-mathematics
propositional-logic
+
–
0
votes
0
answers
449
Tautology
Consider the following statements: $P_1$: Sachin Tendulkar gets out before the tea break only if Ishant Sharma comes out to bat. $P_2$: Ishant Sharma won't come out to bat, if Lasith Malinga is not called to bowl. $P_3$: Sachin Tendulkar got out before the tea break. Which ... Keeping A, B, C option as X one by one, and all follows, thus option D is correct but given answer is C.
Consider the following statements:$P_1$: Sachin Tendulkar gets out before the tea break only if Ishant Sharma comes out to bat.$P_2$: Ishant Sharma won’t come out to ba...
Shubhanshu
422
views
Shubhanshu
asked
Nov 29, 2018
Mathematical Logic
propositional-logic
mathematical-logic
+
–
0
votes
0
answers
450
Test Series
I think both B and C should be the answer, But only C is provided as the answer.
I think both B and C should be the answer, But only C is provided as the answer.
Gupta731
307
views
Gupta731
asked
Oct 29, 2018
Mathematical Logic
discrete-mathematics
propositional-logic
+
–
Page:
« prev
1
...
10
11
12
13
14
15
16
17
18
19
20
...
23
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register