Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
Activity
Q&A
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous Years
Blogs
New Blog
Exams
Dark Mode
Recent questions tagged propositional-logic
0
votes
0
answers
1
Kenneth Rosen Edition 7 Exercise 1.6 Question 11 (Page No. 79)
Show that the argument form with premises $p_1,p_2$,...,$p_n$ and conclusion q → r is valid if the argument form with premises $p_1,p_2,$...,$p_n$,q, and conclusion r is valid.
pavan singh
asked
in
Mathematical Logic
Feb 16
by
pavan singh
144
views
kenneth-rosen
discrete-mathematics
propositional-logic
0
votes
1
answer
2
Kenneth Rosen Edition 7 Exercise 1.6 Question 10 (Page No. 79)
For each of these sets of premises, what relevant conclusion or conclusions can be drawn? Explain the rules of inference used to obtain each conclusion from the premises. a) If I play hockey, then I am sore the next day. ... or hallucinating. I am not dreaming. If I am hallucinating, I see elephants running down the road.
pavan singh
asked
in
Mathematical Logic
Feb 13
by
pavan singh
164
views
kenneth-rosen
discrete-mathematics
propositional-logic
0
votes
1
answer
3
Kenneth Rosen Edition 7 Exercise 1.3 Question 57 (Page No. 36)
The following sentence is taken from the specification of a telephone system: If the directory database is opened,then the monitor is put in a closed state, if the system is not in its initial ... statements. Find an equivalent, easier to understand specification that involves disjunctions and negations but not conditional statements.
pavan singh
asked
in
Mathematical Logic
Jan 26
by
pavan singh
59
views
kenneth-rosen
discrete-mathematics
propositional-logic
1
vote
1
answer
4
#predicate-logic
Why "Birds can't fly" and "Every bird can't fly" are not same?
pavan singh
asked
in
Mathematical Logic
Jan 25
by
pavan singh
84
views
discrete-mathematics
propositional-logic
0
votes
1
answer
5
Practice problem on Translations
Given a statement: "At least 1 pigeon-hole has at least 2 pigeons in it". and functions: ph(x) : x is pigeon-hole p(x) : x is pigeon h(x,y) : x has y Answer the following questions: Translate the given statement into logical ... What would be negation of the logical expression we get in part (a). Translate logical expression we get in part (b) to english.
Roshakaw
asked
in
Mathematical Logic
Jan 23
by
Roshakaw
46
views
discrete-mathematics
propositional-logic
0
votes
1
answer
6
Kenneth Rosen Edition 7 Exercise 1.3 Question 36 (Page No. 35)
When does s∗ = s, where s is a compound proposition?
pavan singh
asked
in
Mathematical Logic
Jan 22
by
pavan singh
73
views
kenneth-rosen
discrete-mathematics
propositional-logic
mathematical-logic
0
votes
0
answers
7
Kenneth Rosen Edition 7 Exercise 1.3 Question 13 (Page No. 35)
Use truth tables to verify the absorption laws. a) p ∨ (p ∧ q) ≡ p b) p ∧ (p ∨ q) ≡ p
pavan singh
asked
in
Mathematical Logic
Jan 21
by
pavan singh
46
views
kenneth-rosen
discrete-mathematics
propositional-logic
0
votes
1
answer
8
Kenneth Rosen Edition 7 Exercise 1.3 Question 12 (Page No. 35)
Show that each conditional statement in Exercise 10 is a tautology without using truth tables.
pavan singh
asked
in
Mathematical Logic
Jan 21
by
pavan singh
63
views
kenneth-rosen
discrete-mathematics
propositional-logic
0
votes
1
answer
9
Kenneth Rosen Edition 7 Exercise 1.3 Question 11 (Page No. 35)
Show that each conditional statement in Exercise 9 is a tautology without using truth tables.
pavan singh
asked
in
Mathematical Logic
Jan 21
by
pavan singh
46
views
kenneth-rosen
discrete-mathematics
propositional-logic
0
votes
0
answers
10
Kenneth Rosen Edition 7 Exercise 1.3 Question 10 (Page No. 35)
Show that each of these conditional statements is a tautology by using truth tables. a) [¬p ∧ (p ∨ q)] → q b) [(p → q) ∧ (q → r)] → (p → r) c) [p ∧ (p → q)] → q d) [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r
pavan singh
asked
in
Mathematical Logic
Jan 21
by
pavan singh
67
views
kenneth-rosen
discrete-mathematics
propositional-logic
0
votes
2
answers
11
Kenneth Rosen Edition 7 Exercise 1.2 Question 39 (Page No. 24)
Freedonia has fifty senators. Each senator is either honest or corrupt. Suppose you know that at least one of the Freedonian senators is honest and that, given any two Freedonian senators, at least one is corrupt. Based on ... you determine how many Freedonian senators are honest and how many are corrupt? If so, what is the answer?
pavan singh
asked
in
Mathematical Logic
Jan 12
by
pavan singh
114
views
kenneth-rosen
discrete-mathematics
propositional-logic
1
vote
2
answers
12
Kenneth Rosen Edition 7 Exercise 1.2 Question 37 (Page No. 24)
Suppose there are signs on the doors to two rooms. The sign on the first door reads In this room there is a lady, and in the other one there is a tiger ; and the sign on the second door reads In one of these rooms, ... tiger. Suppose that you know that one of these signs is true and the other is false. Behind which door is the lady?
pavan singh
asked
in
Mathematical Logic
Jan 9
by
pavan singh
116
views
kenneth-rosen
discrete-mathematics
propositional-logic
1
vote
2
answers
13
Kenneth Rosen Edition 7 Exercise 1.2 Question 36 (Page No. 24))
Four friends have been identified as suspects for an unauthorized access into a computer system. They have made statements to the investigating authorities. Alice said Carlos did it. John said I did not do it. Carlos said ... reasoning. b) If the authorities also know that exactly one is lying, who did it? Explain your reasoning.
pavan singh
asked
in
Mathematical Logic
Jan 9
by
pavan singh
219
views
kenneth-rosen
discrete-mathematics
propositional-logic
1
vote
1
answer
14
Made Easy Full Syllabus Test 3 Logic
Could anyone give an example why 2nd and 3rd were false.
Raviwarlord
asked
in
Mathematical Logic
Jan 4
by
Raviwarlord
102
views
made-easy-test-series
propositional-logic
1
vote
1
answer
15
DRDO CSE 2022 Paper 1 | Question: 12
Given two propositions $P$ and $Q$. "if $P$ then $Q$" denoted by $P \rightarrow Q$ is called Implication. Such implication and its ____________ are logically equivalent.
admin
asked
in
Mathematical Logic
Dec 15, 2022
by
admin
79
views
drdocse-2022-paper1
mathematical-logic
propositional-logic
2-marks
fill-in-the-blanks
0
votes
1
answer
16
# propositional logic
Why “This statement is true” is proposition while “This statement is false” is liar paradox? Aren’t both statements supposed to be liar paradox ?
Aditi Thakur
asked
in
Mathematical Logic
Dec 7, 2022
by
Aditi Thakur
174
views
mathematical-logic
propositional-logic
Page:
1
2
3
4
5
6
...
20
next »
Subscribe to GATE CSE 2023 Test Series
Subscribe to GO Classes for GATE CSE 2023
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
Recent Posts
My journey from being a MSc student to AIR 239 in GATE CSE 2023 and qualified UGC-NET JRF.
NEEPCO Recruitment 2023
GATE CSE 2023 Results
IIIT Banglore MTech 2023-24
IIIT-Delhi MTech 2023-24
Subjects
All categories
General Aptitude
(2.5k)
Engineering Mathematics
(9.3k)
Digital Logic
(3.3k)
Programming and DS
(5.9k)
Algorithms
(4.6k)
Theory of Computation
(6.7k)
Compiler Design
(2.3k)
Operating System
(5.0k)
Databases
(4.6k)
CO and Architecture
(3.8k)
Computer Networks
(4.7k)
Non GATE
(1.3k)
Others
(2.5k)
Admissions
(653)
Exam Queries
(844)
Tier 1 Placement Questions
(17)
Job Queries
(76)
Projects
(9)
Unknown Category
(866)
Recent questions tagged propositional-logic
Recent Blog Comments
Sir can you please provide some good resources...
Where can we see the responses of the form filled?
congrats pranab
Congratulations @Pranab Paul 10 🥳
sir give access to these tests at least mid May...