Timeline for how to weigh the conditions given in a proposition
Current License: CC BY-SA 2.5
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 7, 2010 at 14:57 | vote | accept | DarkLight | ||
| Mar 7, 2010 at 14:50 | vote | accept | DarkLight | ||
| Mar 7, 2010 at 14:50 | |||||
| Mar 7, 2010 at 14:50 | comment | added | DarkLight | to Andrej Bauer,I think ,in some way, it is meaningful. First, we can tell whether two propositions are equivalent ，iff they have the same value. Second, if one condition is necessary and sufficient ，then it must be stronger than a necessary condition.We have a direction to looking for the necessary and sufficient condition. And so on. | |
| Mar 7, 2010 at 3:22 | history | edited | DarkLight | CC BY-SA 2.5 |
deleted 6 characters in body
|
| Mar 6, 2010 at 19:31 | answer | added | kakaz | timeline score: 1 | |
| Mar 6, 2010 at 17:00 | comment | added | Mariano Suárez-Álvarez | 'rigourous' should be 'stringent', 'strong', or something. | |
| Mar 6, 2010 at 15:02 | history | edited | DarkLight | CC BY-SA 2.5 |
deleted 1 characters in body; edited title
|
| Mar 6, 2010 at 11:05 | comment | added | Andrej Bauer | I am down-voting because I do not understand the question. How is what you are asking for different from logical entailment, for example? | |
| Mar 6, 2010 at 9:28 | comment | added | Yemon Choi | I'm not sure that "rigorous conditions" is the right phrase to describe what you're after. "Restricted conditions", perhaps? or "sharper conditions"? | |
| Mar 6, 2010 at 8:36 | history | asked | DarkLight | CC BY-SA 2.5 |