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
1 answers 1 answer
337
337 views
ISI2025-MCS-PCA | Question: 21
There are 4 suspects, A, B, C, and D, say, in a criminal case. At least one of them is guilty. If A is guilty then so is B. If A and D are innocent, then so is C, and if ...
User Avatar
1 1 vote
1 1 answer
244
244 views
GO Classes Test Series 2025 | NIELIT Mock Test 1 | Question: 44
Consider the following predicates:singular $(\mathrm{x}): \mathrm{x}$ is a singular matrixorthogonal $(\mathrm{x}): \mathrm{x}$ is an orthogonal matrixsymmetric $(\mathrm...
User Avatar
0 0 votes
1 1 answer
242
242 views
GO Classes Test Series 2025 | NIELIT Mock Test 1 | Question: 45
Suppose that $\text{S}$ and $\text{T}$ are sets. Which of the following first-order logic statements are translations of the statement $\text{“S}$ is not a subset of $\te...
User Avatar
0 0 votes
1 1 answer
290
290 views
Question || First Order Logic || Mathematical Logic
The predicates:Person(x): x is a person.Country(y): y is a country.CitizenOf(x,y): x is a citizen of y. convert the statement (a) "Every person is a citizen of at most ...
User Avatar
0 0 votes
0 0 answers
243
243 views
Practice sheet || Mathematical Logic || Propositional Logic
[MSQ] Which of the following arguments are valid? (a) Every living thing is a plant or an animal. David's dog is alive and it is not a plant.All animals have hearts.Hence...
User Avatar
0 0 votes
1 1 answer
280
280 views
Practice sheet
Premises: (1) ∼ p ∨ q → r (2) s ∨ ∼ q (3) ∼ t (4) p → t (5) ∼ p ∧ r →∼ s Conclusions: q∧ rIs given argument valid?
User Avatar
Page: