Intereting Posts

Weierstrass M-Test
Can we show that $1+2+3+\dotsb=-\frac{1}{12}$ using only stability or linearity, not both, and without regularizing or specifying a summation method?
Rational or irrational
Extract a Pattern of Iterated continued fractions from convergents
Linear dependence of $\left\{x^{n}\,\colon\, n\in\mathbb{N}\right\}$
why determinant is volume of parallelepiped in any dimensions
Calculate Camera Pitch & Yaw To Face Point
Understanding the Musical Isomorphisms in Vector Spaces
$\mathcal U$ Grothendieck universe. Is $\mathcal{P(U)}$ a model for NBG?
pdf of a quotient of uniform random variables
The intersection numbers in Fermat curve
Real roots of a polynomial of real co-efficients , with the co-efficients of $x^2 , x$ and the constant term all $1$
Limit of integral without Taylor expansion
Calulus of variations Euler Lagrange equation
Dedekind modular law

I would be obliged if you can show me an example of a truth table for implication where there is a also a real life aspect to it. (i.e., where would someone use the scenario to make F->F = T and also the same for the remaining 3 cases).

However, this one scenario should be able to be adjusted to fit all three. Hopefully that makes sense.

I am just trying to understand the concept of implication.

- Count Exclusive Partitionings of Points in Circle, Closing Double Recurrence?
- Show that a matched set of nodes forms a matroid
- Suppose that $X$ is a discrete random variable taking values in $\{0,1,2,…\}$. Show that $E=\sum^{\infty}_{k=0}{P(X>k)}$
- Proving a triangle with different edge colors exists in a graph.
- How many bananas can a camel deliver without eating them all?
- Prove using mathematical induction that $2^{3n}-1$ is divisible by $7$

- Not Skolem's Paradox - Part 3
- Number of all bijective functions from A to A.
- Are non-standard models always not well-founded?
- Can you draw the e-NFA from the following definition?
- Number Theory in a Choice-less World
- True or false: {{∅}} ⊂ {∅,{∅}}
- Can equinumerosity by defined in monadic second-order logic?
- The theory of discrete endless orders is complete
- System with infinite number of axioms
- Number of ways to put $n$ unlabeled balls in $k$ bins with a max of $m$ balls in each bin

Consider the implication “if it rains, then I take an umbrella.”

(1) If it rains and I take an umbrella, then this implication is true.

(2) If it rains and I don’t take an umbrella, then this implication is false.

Hopefully these first two are not controversial. Now consider the other two:

(3) If it doesn’t rain and I take an umbrella, then this implication is true.

(4) If it doesn’t rain and I don’t take an umbrella, then this implication is true.

One way to think about this is that the implication “if it rains, then I take an umbrella” says that under any circumstances I will do whatever it takes, umbrella-wise, so as to stay dry. The only way that I will get wet is (2): it rains and I don’t take an umbrella. If it doesn’t rain, then the implication is trivially (or “vacuously”) true: I will stay dry regardless of whether I take an umbrella.

Here’s another example:

(A) If I hit my thumb with a hammer, then my thumb hurts.

If I’m in a reality where I don’t hit my thumb with a hammer and my thumb doesn’t hurt, I’d still consider (A) to be true.

- Triangle inequality for integrals with complex valued integrand
- Quotient of cyclic $R$-module is cyclic.
- Are strict local minima of a general function always countable?
- Rearrangements that never change the value of a sum
- In the card game “Projective Set”: Compute the probability that $n$ cards contain a set
- Asymptotics for incomplete $\Gamma$ with equal arguments
- Fourier Transform of complicated product: $(1+x)^2 e^{-x^2/2}$
- The structure of countable ordinals
- A proper local diffeomorphism between manifolds is a covering map.
- Inequality between two sequences preserved in the limit?
- Stability of periodic solution
- Why: A holomorphic function with constant magnitude must be constant.
- Need a tip/hint evaluating a limit
- Are the $\mathcal{C}^k$ functions dense in either $\mathcal{L}^2$ or $\mathcal{L}^1$?
- suppose $n$ people are in a party and every two of them have exactly one common friends,prove that there is one who is friend to all.