This is a preview. Log in through your library . Abstract In Part III of his 1879 logic Frege proves a theorem in the theory of sequences on the basis of four definitions. He claims in Grundlagen that ...
We report an experimental study on the effects of diagrams on deductive reasoning with double disjunctions, for example: Raphael is in Tacoma or Julia is in Atlanta, or both. Julia is in Atlanta or ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results