Contents #TopicLinkSetsherePropositions and ConnectiveshereEquivalence ProofsherePredicates and First-Order LogichereRelations and Functionshere