display all the ideas for this combination of texts
3 ideas
18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |
18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |