38k views

1k views

### Translating "therefore" in propositional logic and using contradictions to prove an argument.

So I have the statements: A Football player is either running at the oval or sitting in the library. If he is running, then he is not reading a book. The player is reading a book. Therefore, he is ...
3k views

### Understanding the p implies q statement

The p implies q statement is often described in various ways including: (1) if p then q (i.e. whenever p is true, q is true) (2) ...
409 views

### Is $\curvearrowright$ a valid symbol for "implies that"?

I learned in high school from my favorite math teacher (who also has a PhD in mathematics) that the $\curvearrowright$ symbol means "implies that" (in German "daraus folgt"; "...
331 views

### What is the name of the symbol $=$ in English?

What is the name of the symbol $=$ in English? Wikipedia says people use "equals sign" than "equality". Is it right? Is it to avoid ambiguity between the equality formula $(x = y)$ ...