MATH
Login Or Sign up

List Question

15
1.9k
Views

In logic, is 'P = Q,' where P and Q are propositions, ill-conceived?

Published on
#logic #propositional-calculus #first-order-logic #meta-math
165
Views

How do you FIND (not prove) an expression that is logically equivalent to another expression?

Published on
#discrete-mathematics #propositional-calculus
5k
Views

Discrete Mathematics Resolution Principle.

Published on
#discrete-mathematics #logic #propositional-calculus
215
Views

Propositional form of sentence

Published on
#logic #propositional-calculus
69
Views

Are $\neg p \lor q \lor p$ and $p \lor \neg p$ logically equivalent?

Published on
#propositional-calculus #boolean-algebra
132
Views

Converse, inverse and contrapositive statements of $p \to q$

Published on
#propositional-calculus #boolean-algebra
426
Views

Boolean wff is satisfiable?

Published on
#logic #propositional-calculus #automata
10.4k
Views

"If P, then Q; If P, then R; Therefore: If Q, then R." Fallacy and Transitivity

Published on
#logic #propositional-calculus #first-order-logic #metalogic
327
Views

The Induction Principle for Sentential Logic

Published on
#induction #propositional-calculus
551
Views

Villager Logic Puzzle Alternative Answer

Published on
#logic #propositional-calculus #puzzle
377
Views

Simplify the proposition ¬(p∧q)∧(p∨¬r)

Published on
#logic #propositional-calculus
625
Views

Help with question from Chiswell and Hodges

Published on
#logic #propositional-calculus
1.3k
Views

"let" vs "suppose" vs "if" and the contrapositive

Published on
#proof-writing #propositional-calculus
79
Views

How can one define a set of formulas inductively, without some base propositions being defined first?

Published on
#logic #propositional-calculus #modal-logic #coalgebras
1.5k
Views

What is the converse of $P \implies (Q \implies R)$?

Published on
#logic #propositional-calculus

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.