Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with logic
Search options not deleted
user 14582
Use this tag for general questions about logic that are not categorizable under some more specific tag, like "mathematical logic", "informal logic", "classical logic", etc.
6
votes
How do you negate an "at least" statement?
Let N denote "N books are overdue". Then the first statement is
N ≥ 2
The negation of “≥” is “<”, hence
not( N ≥ 2 ) ≡ (N < 2) ≡ (N ≤ 1)
Hence, the negation of the statement
At least …
2
votes
Asymmetries in two opposite arguments from ignorance
In purely formal logic Joe's and Alice's claims are invalid. … To formalize this I think one would need to replace the word "evidence", which has different meanings in the real word and in pure logic, with e.g. "reports". …
3
votes
Accepted
Concerning the logical projection: How to express nullary and unary operations as binary ope...
I remember reading my 3 year older sister's high school textbooks where logic was discussed. … Then already when I entered high school, this was in Norway in 1978, most of the material on logic had been removed, although the notation, with e.g. ∧, ∨ and ¬ denoting respectively AND (conjunction), …
0
votes
Is it possible to know anything with certainty?
You can never be 100% sure that your memory of your thoughts or other happenings 1 second ago are true or completely accurate. For that matter the local part of the Universe might be a statistical flu …