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

144 views

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

164 views

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

59 views

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

84 views

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

46 views

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

73 views

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

46 views

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

63 views

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

46 views

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

67 views

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

114 views

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

116 views

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

219 views

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

102 views

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

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

Page:

1
2
3
4
5
6
...
20
next »

Recent questions tagged propositional-logic