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 ... 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 Mar 12

104 views

1 vote

1 answer

2

Why (p ∨ T) is not a tautology?

tbhaxor asked in Mathematical Logic Mar 5

137 views

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 20

by swapnil sahu

124 views

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

753 views

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 4

193 views

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 11

174 views

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 11

128 views

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

126 views

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

626 views

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

227 views

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 7, 2023

by Deepak Poonia

389 views

0 votes

1 answer

12

Çșȇ ʛấẗẻ asked in Mathematical Logic Jun 24, 2023

by Çșȇ ʛấẗẻ

216 views

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

648 views

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

689 views

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

412 views

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 15, 2023

by ankitgupta.1729

482 views

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 ... then $P \rightarrow Q$ is a tautology Validity of the given argument can't be determined

ankitgupta.1729 asked in Mathematical Logic Apr 15, 2023

by ankitgupta.1729

387 views

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 15, 2023

by ankitgupta.1729

411 views

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 15, 2023

by ankitgupta.1729

346 views

Page:

1
2
3
4
5
6
...
23
next »

Recent questions tagged propositional-logic