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
2 answers
662
PGEE 2018
p: n is a prime number q: n mod 30 is prime number 1) p implies q 2) q implies p 3) p implies q or q implies p 4) If p implies q then q implies p
p: n is a prime numberq: n mod 30 is prime number1) p implies q2) q implies p3) p implies q or q implies p4) If p implies q then q implies p
User Avatar
3 votes
1 answer
663
PGEE 2018
One one evening sita and gita were sitting in a park with there back facing each other sita was able to see her shadow on left at what direction was gita sitting ? A) North-East B) North C) West D) South
One one evening sita and gita were sitting in a park with there back facing each other sita was able to see her shadow on left at what direction was gita sitting ?A) Nort...
User Avatar
2 votes
1 answer
665
PGEE 2018
Which of the following tell us which day is on 14th of a particular month I) 17th is on 3rd Saturday II) the last date of the month is on Wednesday A) Only 1 is sufficient B) Only 2 is sufficient C) Both are required D) Both are insufficient
Which of the following tell us which day is on 14th of a particular monthI) 17th is on 3rd SaturdayII) the last date of the month is on WednesdayA) Only 1 is sufficientB)...
User Avatar
1 votes
1 answer
666
PGEE 2018
Which of the statement is sufficient to determine children of x 1) Q and U are brothers of T 2) P is the sister of U and S 3) P and T are daughters of X A) 1 and 2 B) 1,2 and 3 C) 2 and 3 D) data insufficient
Which of the statement is sufficient to determine children of x1) Q and U are brothers of T2) P is the sister of U and S3) P and T are daughters of XA) 1 and 2B) 1,2 and ...
User Avatar
0 votes
2 answers
667
PGEE 2018
Which of the following statement is true? 1) Exactly one of the statement is false 2) Exactly two statements are false 3) Exactly three statements are false 4) Exactly four statements are false A) II B) !V C) III D) I
Which of the following statement is true?1) Exactly one of the statement is false2) Exactly two statements are false 3) Exactly three statements are false 4) Exactly fo...
User Avatar
1 votes
1 answer
669
#test series
User Avatar
2 votes
1 answer
672
Mathematical Logic
All Tautologies are valid and all Valid arguments are tautologies True/ False
All Tautologies are valid and all Valid arguments are tautologies True/ False
User Avatar
0 votes
1 answer
673
Subject Topic- Mathematical Logic
Can someone please explain the highlighted text?
Can someone please explain the highlighted text?
User Avatar
1 votes
0 answers
674
Universal Quantifier (Basics)
Which one of the expression of universal quantifier is ambiguous? For all For every all of for each for any for arbitrary
Which one of the expression of universal quantifier is ambiguous?For allFor everyall offor eachfor anyfor arbitrary
User Avatar
2 votes
1 answer
682
Contingency or Not ?
~ $\forall$ x [ P(x) -> (Q(x) v P(x) ) ]
~ $\forall$ x [ P(x) - (Q(x) v P(x) ) ]
User Avatar
2 votes
1 answer
683
implication VS conjunction
When should we use implication and when conjunction? For example in this question: https://gateoverflow.in/989/gate2006-26?show=188041#c188041 What is the difference in options B and D?
When should we use implication and when conjunction? For example in this question:https://gateoverflow.in/989/gate2006-26?show=188041#c188041What is the difference in opt...
User Avatar
1 votes
0 answers
685
#proposition
User Avatar
Page: