Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
Activity
Q&A
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous Years
Blogs
New Blog
Exams
Dark Mode
Recent questions tagged first-order-logic
1
vote
3
answers
61
Discrete Mathematics | Predicate Logic
Which of the following conclusion can be drawn from the following premises $\left ( 1 \right )\sim P\vee Q\rightarrow R$ $\left ( 2 \right )S\vee \sim Q$ $\left ( 3 \right )\sim T$ $\left ( 4 \right )P\rightarrow T$ $\left ( 5 \right )\sim P\wedge R\rightarrow \sim S$ $C1: P$ $C2: \sim Q$ $C3: Q\wedge R$ C1 only C2 only C2 & C3 only C1 & C2 only
Jay Patel 009
asked
in
Mathematical Logic
Apr 18, 2023
by
Jay Patel 009
490
views
discrete-mathematics
mathematical-logic
first-order-logic
0
votes
1
answer
62
How can we write a English statement into First order logic? Q. There are At most 100 cubes.
MohitN
asked
in
Unknown Category
Apr 16, 2023
by
MohitN
267
views
discrete-mathematics
first-order-logic
0
votes
1
answer
63
Discrete Math and its applications by Kenneth Rosen 7th edition Section 6:Counting
Can this question be explained in detail as i have trouble understanding it? "How many 4-permutations of the positive integers not exceeding 100 contain three consecutive integers k, k + 1, k + 2, in the ... the solution manual says we have to account for double counting but I don't understand how? Why 97?
discretemather1
asked
in
Compiler Design
Apr 2, 2023
by
discretemather1
474
views
discrete-mathematics
combinatory
inclusion-exclusion
mathematical-logic
first-order-logic
0
votes
1
answer
64
Discrete-mathematics | Mathematical-logic
Which of the following predicate is/are valid? S1: $\forall x(A(x)\Leftrightarrow B(x))\Rightarrow \exists x(A(x)\Rightarrow B(x))$ S2: $\exists x(A(x)\vee B(x))\Leftrightarrow (\exists xA(x)\vee\exists xB(x))$ A. only S1 B. only S2 C. Both D. None
Jay Patel 009
asked
in
Mathematical Logic
Mar 31, 2023
by
Jay Patel 009
365
views
discrete-mathematics
mathematical-logic
first-order-logic
virtual-gate-test-series
1
vote
0
answers
65
GO Classes 2023 | IIITH Mock Test 1 | Question: 41
Consider the following predicates. $\text{Rabbit}(x) = x$ is a rabbit. $\text{Cute}(x) = x$ is cute. Consider the following statement $\text{E},$ where the domain of every variable is set of all animals in a jungle $\text{J}.$ ... animal in $\text{J}$ who is not a rabbit but is cute. There is some rabbit who is cute in jungle $\text{J}.$
GO Classes
asked
in
Mathematical Logic
Mar 26, 2023
by
GO Classes
398
views
goclasses2023-iiith-mock-1
goclasses
mathematical-logic
first-order-logic
multiple-selects
1-mark
23
votes
5
answers
66
GATE CSE 2023 | Question: 16
Geetha has a conjecture about integers, which is of the form \[ \forall x(P(x) \Longrightarrow \exists y Q(x, y)), \] where $P$ is a statement about integers, and $Q$ is a statement about pairs of integers. Which of the following (one or more) option(s) would imply ... $\exists y \forall x(P(x) \Longrightarrow Q(x, y))$ $\exists x(P(x) \wedge \exists y Q(x, y))$
admin
asked
in
Mathematical Logic
Feb 15, 2023
by
admin
11.0k
views
gatecse-2023
mathematical-logic
first-order-logic
multiple-selects
1-mark
0
votes
0
answers
67
LECTURES IN DISCRETE MATHEMATICS Edward A. Bender and S. Gill Williamson
Consider the statement form p ⇒ q where p = If Tom is Jane's father then Jane is Bill's niece and q = Bill is Tom's brother. Which of the following statements is equivalent to this statement? (a) If Bill is Tom's Brother, ... 's niece. (e) If Bill is not Tom's Brother, then Tom is not Jane's father and Jane is Bill's niece.
dishendra
asked
in
Others
Jan 20, 2023
by
dishendra
240
views
first-order-logic
2
votes
1
answer
68
GO 2023 Topic Wise Free Test 2 | First Order Logic | Question: 1
In first-order logic, how would you express that "something likes something"? $\exists x \exists y \operatorname{Likes}(x, y)$ $\exists x \forall y \operatorname{Likes}(x, \mathrm{y})$ $\forall x \exists y \text{Likes}(x, y)$ $\forall x \forall y \operatorname{Likes}(x, \mathrm{y})$
GO Classes
asked
in
Mathematical Logic
Dec 13, 2022
by
GO Classes
130
views
goclasses2024-topictest-2
goclasses
mathematical-logic
first-order-logic
1-mark
3
votes
1
answer
69
GO 2023 Topic Wise Free Test 2 | First Order Logic | Question: 2
Which of the following propositional formulas is a tautology? $p \rightarrow(q \rightarrow p).$ $p.$ $p \vee p.$ $(p \rightarrow q) \wedge(q \rightarrow p).$
GO Classes
asked
in
Mathematical Logic
Dec 13, 2022
by
GO Classes
110
views
goclasses2024-topictest-2
goclasses
mathematical-logic
first-order-logic
1-mark
Page:
« prev
1
2
3
4
5
6
7
8
...
10
next »
Subscribe to GATE CSE 2024 Test Series
Subscribe to GO Classes for GATE CSE 2024
Quick search syntax
tags
tag:apple
author
user:martin
title
title:apple
content
content:apple
exclude
-tag:apple
force match
+apple
views
views:100
score
score:10
answers
answers:2
is accepted
isaccepted:true
is closed
isclosed:true
Recent Posts
Post GATE 2024 Guidance [Counseling tips and resources]
GATE CSE 2024 Result Responses
[Project Contest] Pytorch backend support for MLCommons Cpp Inference implementation
Participating in MLCommons Inference v4.0 submission (deadline is February 23 12pm IST)
IIITH PGEE 2024 Test Series by GO Classes
Subjects
All categories
General Aptitude
(3.5k)
Engineering Mathematics
(10.4k)
Digital Logic
(3.6k)
Programming and DS
(6.2k)
Algorithms
(4.8k)
Theory of Computation
(6.9k)
Compiler Design
(2.5k)
Operating System
(5.2k)
Databases
(4.8k)
CO and Architecture
(4.0k)
Computer Networks
(4.9k)
Artificial Intelligence
(79)
Machine Learning
(48)
Data Mining and Warehousing
(25)
Non GATE
(1.4k)
Others
(2.7k)
Admissions
(684)
Exam Queries
(1.6k)
Tier 1 Placement Questions
(17)
Job Queries
(80)
Projects
(11)
Unknown Category
(870)
64.3k
questions
77.9k
answers
244k
comments
80.0k
users
Recent questions tagged first-order-logic
Recent Blog Comments
category ?
Hi @Arjun sir, I have obtained a score of 591 in ...
download here
Can you please tell about IIT-H mtech CSE self...
Please add your admission queries here:...