display all the ideas for this combination of texts
3 ideas
18273 | Logical truths are known by their extreme generality [Russell] |
9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |