Register

Webpage for Mathematical Logic

Important Question Types:

  1. Checking validity of First Order Logic Statements
  2. Checking validity of Propositional Logic

Recent questions tagged mathematical-logic

2 votes
0 answers
635
Predicate logic
User Avatar
1 votes
1 answer
637
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
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
User Avatar
1 votes
1 answer
641
Kenneth H. Rosen
Let L(x, y) be the statement “x loves y,” where the domain for both x and y consists of all people in the world. Use quantifiers to express each of these statements. There is exactly one person whom everybody loves. There are exactly two people whom Lynn loves.
Let L(x, y) be the statement “x loves y,” where the domain for both x and y consists of all people in the world. Use quantifiers to express each of these statements.T...
User Avatar
0 votes
1 answer
642
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
convert the following sentence in logic a mushroom is not poisonous unless it is purple.where mushroom ,purple ,poisonous are the propositional constants
User Avatar
2 votes
2 answers
643
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
I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q
User Avatar
0 votes
0 answers
653
Self-Doubt-Logic
What is the negation of ∃x(x2=2) I think it is ∀x(x2$\neq$2)
What is the negation of ∃x(x2=2)I think it is ∀x(x2$\neq$2)
User Avatar
1 votes
1 answer
655
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$.
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$.
User Avatar
0 votes
1 answer
656
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
Which of the following is(are) not logical implications?p<->q = p->qp^q = p<->qp<- = p->~qp<->~q = p->q
User Avatar
2 votes
2 answers
657
Mathematical logic
[~p ^ (p->q)] - > ~p is., satisfiable unsatisfiable tautology invalid
[~p ^ (p->q)] - ~p is.,satisfiableunsatisfiabletautologyinvalid
User Avatar
1 votes
1 answer
659
Self doubt
In a group of five people one is either a friend or enemy of the others. It is given that no three of them are friends and no three of them are enemies. Prove that every member in that group has exactly two friends
In a group of five people one is either a friend or enemy of the others. It is given that no three of them are friends and no three of them are enemies. Prove that every ...
User Avatar
Page: