Recent questions tagged mathematical-logic

0 votes

1 answer

1

Mathematical Logic
prove $(¬A→¬B)∧(A→C)→(B→C)$

asked 4 days ago in Mathematical Logic by Vishnathan (165 points) | 20 views

0 votes

0 answers

2

Predicate logic gatebook test on logic Q18

asked Sep 8 in Mathematical Logic by Sandy Sharma Junior (903 points) | 41 views

0 votes

0 answers

3

Predicate logic gatebook test on logic Q13

asked Sep 8 in Mathematical Logic by Sandy Sharma Junior (903 points) | 19 views

0 votes

0 answers

4

Predicate logic gatebook test on logic Q4

asked Sep 8 in Mathematical Logic by Sandy Sharma Junior (903 points) | 17 views

0 votes

1 answer

5

How to validate below proposition ?
(p->q) ^ (r->s) ~q OR ~s Conclusion is ~p OR ~r How to see if the conclusion is valid or not ?

asked Sep 7 in Mathematical Logic by radha gogia Loyal (7.5k points) | 19 views

0 votes

1 answer

6

How to derive conclusion of below premises ?

asked Aug 26 in Mathematical Logic by radha gogia Loyal (7.5k points) | 39 views

0 votes

0 answers

7

What is the conclusion of below premises ?

asked Aug 25 in Mathematical Logic by radha gogia Loyal (7.5k points) | 28 views

0 votes

2 answers

8

Mathematical Logic
Consider the following well formed formula: The maximum number of rows in truth table of above formula which evaluate to true are ________. $\left ( p\vee \sim q\vee\vee \sim r\vee s \right )\rightarrow t\vee \sim u$ __________________________________________________________________________ I got 5 and ans given 49

asked Aug 22 in Mathematical Logic by srestha Veteran (96.1k points) | 62 views

0 votes

1 answer

9

Propositional Logic
Ans. A

asked Aug 19 in Mathematical Logic by Na462 Loyal (5.7k points) | 31 views

0 votes

2 answers

10

Propositional Logic
Ans. B

asked Aug 19 in Mathematical Logic by Na462 Loyal (5.7k points) | 41 views

0 votes

2 answers

11

Proposition Logic

asked Aug 9 in Mathematical Logic by aditi19 Junior (697 points) | 61 views

+2 votes

0 answers

12

Predicate logic

asked Aug 9 in Study Resources by Vishnathan (165 points) | 32 views

0 votes

0 answers

13

Inference Rule with Quantifiers and Nested Quantifiers

asked Aug 1 in Mathematical Logic by JPranavc (281 points) | 28 views

0 votes

1 answer

14

Discrete maths approach
Can you please guide me how to approach discrete maths? I want prepare it alongside with what's being taught at classroom coaching, please suggest resources and strategy

asked Jul 30 in Set Theory & Algebra by Ajaaz (21 points) | 45 views

0 votes

0 answers

15

kenneth rosen Excercise 1.4 Q7
Let T (x, y) mean that student x likes cuisine y, where the domain for x consists of all students at your school and the domain for y consists of all cuisines. Express each of these statements by a simple English sentence. e) ∃x∃z∀y(T (x, y) ↔ ... about which they have the same opinion (either they both like it or they both do not like it). How to reach the answers?

asked Jul 24 in Mathematical Logic by Sandy Sharma Junior (903 points) | 34 views

0 votes

1 answer

16

propositional logic
convert the following sentence in logic a mushroom is not poisonous unless it is purple. where mushroom ,purple ,poisonous are the propositional constants

asked Jul 14 in Mathematical Logic by hitendra singh (353 points) | 61 views

+2 votes

2 answers

17

Propositional logic
I am unable to prove following equations without using truth table 1) p -> (q v r) = (p->q) V (p->r) 2) ~(p <-> q) = p <-> ~q

asked Jul 12 in Mathematical Logic by kd..... (285 points) | 59 views

0 votes

1 answer

18

kenneth rosen 1.4 excercise 40
Express each of these system specifications using predicates, quantifiers, and logical connectives. c) The file system cannot be backed up if there is a user currently logged on. I got this expression : ∃x(U(x)) -> not F(x) The answer is given in the manual is:- Which one is correct? If the manual is correct then why two variables x,y are required?

asked Jul 6 in Mathematical Logic by Sandy Sharma Junior (903 points) | 74 views

0 votes

1 answer

19

kenneth rosen section1.4 - syllabus
is Prolog or ∃! of mathematical logic in syllabus?

asked Jul 6 in Mathematical Logic by Sandy Sharma Junior (903 points) | 60 views

+1 vote

1 answer

20

Logic-Inference
Consider the following two statements: S1 : All clear explanations are satisfactory. S2 : Some excuses are unsatisfactory. Which one of the following statement follows from S1 and S2 as per inference rules of logic? (A) Every excuses are not clear explanations (B)Some excuses are clear explanations (C)Some excuses are not clear explanations (D)Some explanations are clear excuses.

asked Jul 5 in Mathematical Logic by Ayush Upadhyaya Boss (12.5k points) | 54 views

0 votes

0 answers

21

kenneth rosen 1.4 example 23
Express the statement Every student in this class has studied calculus using predicates and quantifiers. Solution: First, we rewrite the statement so that we can clearly identify the appropriate quantifiers to use. Doing so, we obtain: For every student in this class, that ... )), here its C(x) not C(calculus). So, the value is not given as input there. Then why now?

asked Jul 3 in Mathematical Logic by Sandy Sharma Junior (903 points) | 43 views

0 votes

1 answer

22

Logic-Kenneth Rosen(Ex1.5-6)
Use rules of Inference to show that the hypotheses "If it does not rain or if it is not foggy, then the sailing race will be held and the lifesaving demonstration will go on." "If the sailing race is held, then the trophy will be awarded." ... p \land q \,will\,be\,true$ WHich means it both rained and it was foggy. Can we have 2 conclusions in this?

asked Jul 1 in Mathematical Logic by Ayush Upadhyaya Boss (12.5k points) | 43 views

0 votes

0 answers

23

kenneth rosen ex 1.1 q:25
Write each of these propositions in the form p if and only if q in English. a) If it is hot outside you buy an ice cream cone, and if you buy an ice cream cone it is hot outside. e) The trains run late on exactly those days when I take it. In ... in the form "The trains run late if and only if I take it." does exactly means if and only if ? Reference:- in t

asked Jun 30 in Mathematical Logic by Sandy Sharma Junior (903 points) | 35 views

0 votes

0 answers

24

kenneth rosen ex 1.1 q:22
Write each of these statements in the form if p, then q in English. [Hint: Refer to the list of common ways to express conditional statements provided in this section.] a) It is necessary to wash the boss's car to get promoted. In solution to this ... how to deduce whether the statement is in the form q is necessary for p or a necessary condition for p is q Reference

asked Jun 30 in Mathematical Logic by Sandy Sharma Junior (903 points) | 45 views

0 votes

0 answers

25

kenneth rosen proposition logic Ex 1.1 q15

asked Jun 29 in Mathematical Logic by Sandy Sharma Junior (903 points) | 45 views

0 votes

0 answers

26

Self-Doubt-Logic
What is the negation of ∃x(x2=2) I think it is ∀x(x2$\neq$2)

asked Jun 9 in Mathematical Logic by Ayush Upadhyaya Boss (12.5k points) | 63 views

+1 vote

1 answer

27

Kennth Rosen,ch:1,Ex:1.3,Qn:51
Find a compound proposition logically equivalent to $p \rightarrow q$ using only the logical operator $\downarrow$?

asked Jun 5 in Mathematical Logic by siva140191 (63 points) | 49 views

0 votes

0 answers

28

Kennth Rosen Ch:1,Ex:1.2, Qn:38.
Solve this famous logic puzzle, attributed to Albert Einstein, and known as the zebra puzzle.Five men with different nationalities and with different jobs live in consecutive houses on a street. These houses are painted different colors. The men ... , their pets, and their favorite drinks and use logical reasoning to determine the correct entries in the table.]?

asked Jun 3 in Mathematical Logic by siva140191 (63 points) | 70 views

+1 vote

1 answer

29

Mathematical logic
Suppose the numbers $1$ to $20$ are placed in any order around a circle . Show that the sum of some three consecutive numbers must be atleast $32$.

asked May 30 in Mathematical Logic by Sammohan Ganguly (435 points) | 46 views

0 votes

1 answer

30

Mathematical logic
Which of the following is(are) not logical implications? p<->q => p->q p^q => p<->q p<-> => p->~q p<->~q => p->q

asked May 30 in Mathematical Logic by Mr khan 3 (127 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