@

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

Mathematical Logic

Lakshman Bhaiya asked in Mathematical Logic Nov 14, 2017

208 views

2 votes

2 votes

Mathematical logic I found difficulty of this type question

please help me

discrete-mathematics
mathematical-logic

Lakshman Bhaiya asked in Mathematical Logic Nov 14, 2017

by Lakshman Bhaiya

208 views

1 comment

by Anjan

commented Nov 14, 2017

option B.

x is parent of both y and v

y and v are different

y is parent of w.

1

1

Please log in or register to add a comment.

Please log in or register to answer this question.

0 Answers

← Previous Next →

← Previous in category Next in category →

Related questions

1 vote

1 vote

0 answers

1

USharma02 asked in Mathematical Logic Dec 24, 2023

218 views

Mathematical Logic: Which of the following is a logical consequence of $∀x(p(x)∨q(x))$
The following question is on the NPTEL archive of Assignment 2 of Discrete Mathematics Course,(Link : assessment id-15 (nptel.ac.in)) . I am not able to get how the answer is given option A but I am getting B, C and D. I have also attached my reasoning below. Let me know If I am missing something.

USharma02 asked in Mathematical Logic Dec 24, 2023

218 views

mathematical-logic
first-order-logic
discrete-mathematics

0 votes

0 votes

0 answers

2

suryansh rajput asked in Mathematical Logic Oct 2, 2023

274 views

Mathematical logic

suryansh rajput asked in Mathematical Logic Oct 2, 2023

by suryansh rajput

274 views

mathematical-logic
discrete-mathematics
first-order-logic

0 votes

0 votes

1 answer

3

Jay Patel 009 asked in Mathematical Logic Mar 31, 2023

365 views

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

3 votes

3 votes

1 answer

4

srestha asked in Mathematical Logic Jun 4, 2019

990 views

Mathematical Logic Ques:Self doubt
“Not every satisfiable logic is valid” Representation of it will be $1)\sim \left ( \forall S(x)\rightarrow V(x) \right )$ or $2)\sim \left ( \forall S(x)\vee V(x) \right )$ Among $1)$ and $2)$, which one is correct? and why?

srestha asked in Mathematical Logic Jun 4, 2019

990 views

discrete-mathematics
mathematical-logic

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)
- Discrete Mathematics (7.1k)
  - Mathematical Logic (2.5k)
  - Set Theory & Algebra (1.9k)
  - Combinatory (1.6k)
  - Graph Theory (1.1k)
- Probability (1.4k)
- Linear Algebra (1.1k)
- Calculus (792)
- Optimization (0)
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 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:...

Send feedback
Rank Predictor
College Prediction
Useful Links
FAQ
Corrections
Discuss
Copyright
Request
Testimonials
Chat Logs
Chat
Badges
Search tips
Exam Category
Blog Category
Blog Tags
Privacy
Test Series
GATER
Refund Policy
Terms and Conditions
Contact Us

Developed by Chun

Twitter WhatsApp Facebook Reddit LinkedIn Email

Link Copied!