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

0 votes
1 answer
31
Proposition Logic doubt
Given: (p$ \vee$ q) is True. Find the truth value of statements, 1. p is false or q is true. (Can't determine) 2. If p is false then q is true. (True) is my answer correct?????
Given: (p$ \vee$ q) is True. Find the truth value of statements, 1. p is false or q is true. (Can't determine) 2. If p is false then q is true. (True) is my answer correc...
User Avatar
1 votes
1 answer
32
#discrete mathematics #1st order logic
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
User Avatar
0 votes
0 answers
34
Applied Mathematics-IB
1. Evaluate $x\rightarrow 5 lim (10)+\mid x-5\mid$
1. Evaluate $x\rightarrow 5 lim (10)+\mid x-5\mid$
User Avatar
Page: