4
votes
Open source program that generate "random" theorems by exploration
I highly doubt you ever get any interesting theorem, even if you were to run such software for the remainder of your lifetime!
Let's take something like Peano Arithmetic (PA). How do we enumerate its ...
- 98.1k
1
vote
Can this disjunction be eliminated?
Write $\alpha = a_1 \land a_2 \land \cdots \land a_n$, $\beta = b_1 \land b_2 \land \cdots \land b_n$. By properties of $\land$ we may assume $a_i = b_i$ or $a_i = \neg b_i$ for all $i$ and $a_1 = \...
- 756
1
vote
How does propositional logic address the situation where the statement $(p \Rightarrow q)$ is false?
Many textbooks will note the following logical equivalence:
$P \to Q \Leftrightarrow \neg P \lor Q$
Different books may have different names for this principle (and some may not give it any name at ...
- 98.1k
1
vote
How does propositional logic address the situation where the statement $(p \Rightarrow q)$ is false?
How does propositional logic deal with the case when $(p \implies q)$ is false?
You can think of it as a counter-example. $(p \implies q)$ is falsified when $p$ is true and $q$ is false.
Also, I like ...
- 14.4k
Only top scored, non community-wiki answers of a minimum length are eligible