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

3 votes
3 answers
241
0 votes
0 answers
245
Let y in the form of $a + bi$, where $a$ and $b$ are real numbers, be the cubic roots of complex number $z^{20},$ where $z=\frac{2}{4 + 3i}.$ Find $a + b.$
0 votes
1 answer
246
0 votes
1 answer
247
Simplify $(A\cup B)\cap (A\cup B')\cap (A - B)$ for a given non empty sets $A$ and $B$, where $(A\cap B) = \varnothing .$
3 votes
1 answer
250
Assume the following predicate and constant symbols.$W(x,y) :\; x$ wrote $y$$L(x,y) :\; x$ is longer than $y$$h :$ Hardy$a :$ Austen$j :$ Jude the Obscure$p :$ Pride and ...
2 votes
1 answer
251
Let the universe for all quantified variables be the set of all novels. Assume the following predicates and constant symbols:$W(x,y) :\; x$ wrote novel $y$$L(x,y) : \;x$ ...
3 votes
1 answer
252
Working with a unary predicate symbol, $P,$ a binary predicate symbol $Q$ and a unary function symbol $f,$ consider the following interpretation $M,$ given by,Universe $A...
3 votes
1 answer
253
Recall that a "sentence/proposition" is a predicate logic formula that has no free variables.In predicate logic, a set of sentences is satisfiable iff there is some inter...