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
0 answers
841
Gate Discrete MAths
Solve the recurrence relation an - 4 an-1 - 11 an-2 + an-3 = 0 , a0 = 0 , a1 = -35 , a2=-85.
Solve the recurrence relationan - 4 an-1 - 11 an-2 + an-3 = 0 , a0 = 0 , a1 = -35 , a2=-85.
User Avatar
2 votes
1 answer
848
IISC-CSA-Research-Test-8
Write the truth table for the connective: "If A then B"
Write the truth table for the connective: "If A then B"
User Avatar
4 votes
4 answers
850
Self Doubt: Mathematical Logic
Is the assertion "This statement is false" a proposition?
Is the assertion "This statement is false" a proposition?
User Avatar
1 votes
1 answer
855
Logic basic
Express the quantification ∃!xP(x) using Universal , Existential Quantification and Logical Connectives
Express the quantification ∃!xP(x) using Universal , Existential Quantification and Logical Connectives
User Avatar
0 votes
1 answer
862
Logic basic
Let T (x,y) mean that student x like cuisine y where the domain for x consists off all students at your school and domain for y consists of all cuisines. Express the following in English statement ∀x∀y∃y((x!=z)-----> ∼(T(x,y) ⋀ T(z,y)))
Let T (x,y) mean that student x like cuisine y where the domain for x consists off all students at your school and domain for y consists of all cuisines. Express the foll...
User Avatar
1 votes
1 answer
863
Logic Basic
How will you translate following expression into English statement Let C(x,y) mean that student x is enrolled in class y where the domain x consists of all students in your class and domain y consists of all class beign given at your school ∃x∃y∀z((x!=y) ⋀ (C(x,z)-->C(y,z)))
How will you translate following expression into English statement Let C(x,y) mean that student x is enrolled in class y where the domain x consists of all students in yo...
User Avatar
1 votes
1 answer
865
Logic basic
What is truth value of the following statement ? ∃!x P(x) --->∼ ∀xP(x)
What is truth value of the following statement ?∃!x P(x) ->∼ ∀xP(x)
User Avatar
2 votes
2 answers
868
Logically Equivalent justify your answer
1. (∀x (p(x) → q(x)) and (∀x p(x) → ∀x q(x)) 2.∃x p(x)∧∃x q(x) and ∃x (p(x)∧q(x)) 3.(∀x (p(x) ↔ q(x)) and (∀x p(x) ↔ ∀x q(x)) are logically equivalent or not justify the answer
1. (∀x (p(x) → q(x)) and (∀x p(x) → ∀x q(x))2.∃x p(x)∧∃x q(x) and ∃x (p(x)∧q(x))3.(∀x (p(x) ↔ q(x)) and (∀x p(x) ↔ ∀x q(x))are logically eq...
User Avatar
0 votes
1 answer
869
Logic basic
Express each of statement using Logical operators , Predicates and Quantifiers a) The negation of a contradiction is a Tautology b) The disjunction of 2 contigencies can be tautology
Express each of statement using Logical operators , Predicates and Quantifiers a) The negation of a contradiction is a Tautology b) The disjunction of 2 contigencies can ...
User Avatar
0 votes
1 answer
870
Logic basic
Consider the following Proposition : No one in your school owns both a bicycle and a motorcycle
Consider the following Proposition :No one in your school owns both a bicycle and a motorcycle
User Avatar
Page: