8 ideas
9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
21677 | How can the not-true fail to be false, or the not-false fail to be true? [Cicero] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
21667 | Oratory and philosophy are closely allied; orators borrow from philosophy, and ornament it [Cicero] |
21678 | If desire is not in our power then neither are choices, so we should not be praised or punished [Cicero] |