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 0 votes
0 0 answers
287
287 views
Mathematical Logic
User Avatar
0 0 votes
0 0 answers
235
235 views
Mathematical Logic
User Avatar
0 0 votes
0 0 answers
202
202 views
Mathematical Logic
User Avatar
1 1 vote
1 1 answer
994
994 views
University of Illinois Chicago UIC Math 215 Fall 2010, Test 1 Propositional Logic
Consider the following statement:If I get a perfect score on this test, then I am a genius.Decide which of the following is logically equivalent to the statement above.a)...
User Avatar
0 0 votes
1 1 answer
476
476 views
Permutations
User Avatar
0 0 votes
0 0 answers
399
399 views
UGC NET CSE | June 2023 | Part 1: 7
Given below are two statements:Statement I: A valid deductive argument that also has all true premises is called a "sound" argument.Statement II: A strong inductive argum...
User Avatar
0 0 votes
1 1 answer
497
497 views
Doubt on First Order Logic
Can anyone explain this how this implication is valid with an example∃x (Px ⊕ Qx) < ∃xPx ⊕ ∃xQx
User Avatar
0 0 votes
1 1 answer
1.4k
1.4k views
How many n-digit sequences formed from the symbols 0, 1, 2, 3 and 4 contain at least one 0, at least one 1 and at least one 2? Solve by using the Inclusion/Exclusion Principle.
User Avatar
0 0 votes
1 1 answer
494
494 views
#Discrete
User Avatar
0 0 votes
1 1 answer
417
417 views
Engg Maths lec video 5a Go classes
Is pivot columns and basic variables same thing?? or basic variables are the first elements of non zero rows in echelon matrics??
User Avatar
1 1 vote
1 1 answer
705
705 views
Given a group G with a subgroups H and K, and the assumption that |H| = m, |K| = n, where gcd(m, n) = 1, what can we infer?
Given a group G with a subgroups H and K, and the assumption that |H| = m, |K| = n, where gcd(m, n) = 1, what can we infer?a. H ∩ K = {e}, the identity elementb. H ∪ K = ...
User Avatar
0 0 votes
1 1 answer
1.8k
1.8k views
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 correc...
User Avatar
1 1 vote
1 1 answer
454
454 views
#discrete mathematics #1st order logic
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
User Avatar
Page: