display all the ideas for this combination of texts
3 ideas
8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |