I’m trying to solve the following exercise: Let $A_1,…,A_n$ be propositions, $n \in \mathbb N$. Show that every $n$-ary logical connective $J(A_1,…,A_n)$ considered as a function $J:\{t,f\}^n \to \{t,f\}$ ($t$ is true, $f$ is false) has a disjunctive normal form, in other words can be represented as a disjunction $Y_1,…Y_k$ of a suitable amount of […]

Just have a question on logically equivalency specifically the logical equivalency. Question find a simple expression using $p$ and $q$, logically equivalent to $q \iff(\neg p\lor \neg q)$. Im not really sure but could it be: $p \iff (\neg q \land p)$? Thanks.

Take for example proof by contradiction, it can be viewed as a certain deduction in logic which can be used outside of logic to prove many interesting propositions. My question is: can we use $(\neg R\to R)\to R$ as a similar strategy?

I am struggling with proving something in Fitch. How can I prove from the premise ~p | ~q , that ~(p & q). Any ideas on how I should proceed?

The distributive law over a disjunction is given to be: $ P \vee (Q \wedge R) \equiv (P \vee Q) \wedge (P \vee R) $ I want an intuitive understanding of this statement, in order to do I tend to write these logical statements out in words and use concrete examples. Statements $P=$ I will […]

Use rules of inference to show: ∀x(P(x) → Q(x)) premise ∀x(Q(x) → R(x)) premise ¬R(a) premise ¬P(a) conclusion I have a lot of trouble with these sort of questions and was wondering if I did this correctly. Usually I have no idea which rules to use and it feels like I just need to try […]

Theorem: Every finite extension, normal and separable is a Galois extension. Is the theorem equivalent to: $\mathbb K:\mathbb F$ is Galois $\iff \mathbb K:\mathbb F$ is normal & $\mathbb K:\mathbb F$ is separable ? thus, $\mathbb K:\mathbb F$ is not a Galois extension $\iff \mathbb K:\mathbb F$ is not normal or $\mathbb K:\mathbb F$ is […]

If I understand correctly, the real numbers can be formalised in a first-order, like in ZF. However, such a formalisation is not strong enough to ensure that all models of the reals are isomorphic. Why is being able to ensure isomorphism between models interesting? What’s significant about that? In terms of the first-order formalisation of […]

I’m not sure I used RAA correctly by putting $\neg\psi$ next to $\bot$ and discharging it.

This present question is inspired by this earlier question. Consider the problem of proving that if $f\ge 0$ on an interval $I\subseteq\mathbb R$ and $\int_I f=0$, then $f$ is $0$ (almost) everywhere on $I$. Can it be proved that the only way to prove this is by contradiction? PS: How about if we consider two […]

Intereting Posts

Partitioning $\mathbb{R}^2$ into disjoint path-connected dense subsets
Polar to cartesian form of $r=\tan(2θ)$
How to factorize polynomial in GF(2)?
Establishing formula from recurrence
Formula for the sequence repeating twice each power of $2$
How can I calculate the limit of exponential divided by factorial?
To what extent are the Jordan-Chevalley and Levi Decompositions compatible.
Monotone functions and non-vanishing of derivative
Identity for all uniformly bdd functions follows “by basic Fourier (transform) analysis”?
Intuition for Kuratowski-Mrowka characterization of compactness
Integer part of a sum (floor)
Expectation of inverse of sum of random variables
What is this series relating to the residues of the Gamma function?
Is zero a prime number?
$W_n=\int_0^{\pi/2}\sin^n(x)\,dx$ Find a relation between $W_{n+2}$ and $W_n$