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 propositional-logic
0
votes
1
answer
1
Does Either...Or means Exclusive Or or Inclusive Or?
Let's take a compound propositions Either it is below freezing or it is snowing. Now if $p$: it is below freezing $q$: it is snowing Will it be $p \vee q$ or $p \oplus q$? There are some instances where semantics are required. For ... this both cases can't be true, because if you are ill you can't appear for example and you must be in one state.
tbhaxor
asked
in
Mathematical Logic
6 days
ago
by
tbhaxor
67
views
propositional-logic
mathematical-logic
1
vote
1
answer
2
Why (p ∨ T) is not a tautology?
tbhaxor
asked
in
Mathematical Logic
Mar 5
by
tbhaxor
110
views
mathematical-logic
propositional-logic
1
vote
1
answer
3
if p implies q is true then the truth value of which of the following cannot be determined
a) ~p\/q b) ~q=>~p c) ~p=>~q d) ~(p/\~q) can someone provide the solution?
swapnil sahu
asked
in
Mathematical Logic
Feb 21
by
swapnil sahu
103
views
engineering-mathematics
propositional-logic
11
votes
2
answers
4
GO Classes Test Series 2024 | Mock GATE | Test 14 | Question: 58
Let $\mathrm{F}$ and $\mathrm{G}$ be two propositional formulae. Which of the following is/are True? If $F \vee G$ is a tautology then at least one of $F, G$ is a tautology. If $F \wedge G$ is a contradiction then at ... $G$ is a tautology. If $F \rightarrow G$ is a contradiction then $F$ is a tautology and $G$ is a contradiction.
GO Classes
asked
in
Mathematical Logic
Feb 5
by
GO Classes
701
views
goclasses2024-mockgate-14
mathematical-logic
propositional-logic
multiple-selects
2-marks
1
vote
1
answer
5
Memory Based GATE DA 2024 | Question: 33
Which of the following are tautologies? \(x \land \neg y \Rightarrow y \rightarrow x\) \(\neg x \land y \Rightarrow \neg x \rightarrow y\) \(x \land \neg y \Rightarrow \neg x \rightarrow y\) \(\neg x \land y \Rightarrow y \rightarrow x\)
GO Classes
asked
in
Mathematical Logic
Feb 5
by
GO Classes
172
views
gate2024-da-memory-based
goclasses
mathematical-logic
propositional-logic
0
votes
2
answers
6
Confusion between implication with its converse.
I have given two propositions p: You drive over 65 mph q: You get a speeding ticket Here are two natural language statements Driving over 65 mph is sufficient for getting a speeding ticket (answer key: $p \to q$) Whenever you get a speeding ... , anything that comes after when/whenever is the antecedent, it should be $p \to q$. Where I am wrong here?
tbhaxor
asked
in
Mathematical Logic
Jan 12
by
tbhaxor
149
views
propositional-logic
0
votes
1
answer
7
Why inclusive or is used with Either...Or... here?
There are 2 propositions p: It is below freezing q: It is snowing. I want to write the symbolic form of: Either it is below freezing or it is snowing, but it is not snowing if it is freezing. This is what I came up with: ... . Second part it clear to me, but in the first shouldn't it will be exclusive or, because of Either...or...?
tbhaxor
asked
in
Mathematical Logic
Jan 12
by
tbhaxor
112
views
propositional-logic
0
votes
0
answers
8
#logic
Sir, In discrete mathematics 2024's lecture-17, at 15:30 you said "Every proposition variable is also a compound proposition". How it's possible Sir??? becoz by the definition of compound proposition, a proposition must contain a logical operator for being a compound proposition. @Deepak Poonia
pavan singh
asked
in
Mathematical Logic
Dec 30, 2023
by
pavan singh
121
views
goclasses
discrete-mathematics
propositional-logic
1
vote
2
answers
9
Computer Science - UGC NET 2021 [ Question ID = 2351 ]
Which of the following are logically equivalent ? ¬p -> ( q -> r ) and q -> ( p v r ) ( p -> q ) -> r and p -> ( q -> r ) ( p -> q ) -> ( r -> s ) and ( p -> r) -> ( q -> s ) Choose the correct answer from the options given : i and ii only i and iii only i only ii and iii only
rajeshposts
asked
in
Mathematical Logic
Sep 14, 2023
by
rajeshposts
601
views
propositional-logic
discrete-mathematics
mathematical-logic
0
votes
1
answer
10
# Discrete Mathematics
Simplify the above expression
Debargha Mitra Roy
asked
in
Mathematical Logic
Aug 30, 2023
by
Debargha Mitra Roy
214
views
discrete-mathematics
engineering-mathematics
propositional-logic
mathematical-logic
0
votes
1
answer
11
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) If I am a genius, then I will ... my getting a perfect score on this test. Source: http://homepages.math.uic.edu/~mubayi/215/fall10/test1sol.pdf
Deepak Poonia
asked
in
Mathematical Logic
Aug 8, 2023
by
Deepak Poonia
369
views
mathematical-logic
propositional-logic
discrete-mathematics
0
votes
1
answer
12
#Discrete
Çșȇ ʛấẗẻ
asked
in
Mathematical Logic
Jun 24, 2023
by
Çșȇ ʛấẗẻ
208
views
discrete-mathematics
kenneth-rosen
propositional-logic
mathematical-logic
0
votes
0
answers
13
Discrete Mathematics and its Applications by Kenneth H. Rosen (8th Edition, Indian Adaptation) Section 1.1 , Question no : 44
Samaroha
asked
in
Mathematical Logic
Jun 21, 2023
by
Samaroha
613
views
propositional-logic
discrete-mathematics
0
votes
1
answer
14
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 correct?????
pavan singh
asked
in
Mathematical Logic
May 7, 2023
by
pavan singh
636
views
discrete-mathematics
propositional-logic
mathematical-logic
1
vote
4
answers
15
in proposition i have doubt in implication statement in p->q can i assume p->q is false when p is false ?
Ravi Ajagiya
asked
in
Mathematical Logic
Apr 25, 2023
by
Ravi Ajagiya
384
views
discrete-mathematics
propositional-logic
3
votes
2
answers
16
Discrete Mathematics | Propositional Logic | Test 2 | Question: 1
Let $\Phi$ be a well-formed formula having atleast one occurrence of atomic variable $x.$ Consider $\Psi$ be any formula. Now, $_x\Phi_{\Psi}$ is the formula obtained by replacing each occurrence of $x$ by $\Psi$ in $\Phi$ and ... Only (i) is correct Only (ii) is correct Both (i) and (ii) are correct None of the above
ankitgupta.1729
asked
in
Mathematical Logic
Apr 16, 2023
by
ankitgupta.1729
467
views
testsbyankitg-dm-2
mathematical-logic
propositional-logic
1-mark
1
vote
1
answer
17
Discrete Mathematics | Propositional Logic | Test 2 | Question: 2
Consider the following argument: Either logic is difficult, or not many students like it. If mathematics is easy, then logic is not difficult. $\textit{Therefore,}$ if many students like logic, mathematics is not ... argument then $P \rightarrow Q$ is a tautology Validity of the given argument can't be determined
ankitgupta.1729
asked
in
Mathematical Logic
Apr 16, 2023
by
ankitgupta.1729
376
views
testsbyankitg-dm-2
mathematical-logic
propositional-logic
multiple-selects
1-mark
1
vote
1
answer
18
Discrete Mathematics | Propositional Logic | Test 2 | Question: 3
Suppose we have to construct a formula that expresses the truth function $\phi$ ... The formula that $\phi$ expresses is $\neg p \rightarrow ((p \rightarrow \neg p) \rightarrow (\neg p \rightarrow p))$
ankitgupta.1729
asked
in
Mathematical Logic
Apr 16, 2023
by
ankitgupta.1729
397
views
testsbyankitg-dm-2
mathematical-logic
propositional-logic
multiple-selects
1-mark
1
vote
1
answer
19
Discrete Mathematics | Propositional Logic | Test 2 | Question: 4
Consider a conditional statement $P \rightarrow Q.$ The proposition $Q \rightarrow P$ is called the $\textit{converse}$ of $P \rightarrow Q.$ The proposition $\neg Q \rightarrow \neg P$ ... If the converse is true, then the inverse is also logically true. (P and Q are distinct atomic sentences)
ankitgupta.1729
asked
in
Mathematical Logic
Apr 16, 2023
by
ankitgupta.1729
327
views
testsbyankitg-dm-2
mathematical-logic
propositional-logic
multiple-selects
1-mark
Page:
1
2
3
4
5
6
...
23
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
(683)
Exam Queries
(1.6k)
Tier 1 Placement Questions
(17)
Job Queries
(80)
Projects
(11)
Unknown Category
(870)
64.3k
questions
77.9k
answers
243k
comments
79.7k
users
Recent questions tagged propositional-logic
Recent Blog Comments
Hlo I'm Rupesh I got AIR 3485 in gate CS and AIR...
@Ajay Sasank here is the direct link...
Thank you for the post didi My GATE 2023 & 2024...
I Hope it helps 😊
Today's best post I seen thank you for motivation