Saltar para o conteúdo
Nydus Open Learning

Logic and philosophy

Logic and philosophy · Symbolic logic

Symbolic logic

Bounded predicates, quantifiers, identity, relations, finite countermodels, proof rules and introductory modal logic.

Ages 18+ 14 lessons about 10 hours in all

Cria uma conta para começar Rever as bases

Podes começar já, seja o que for que tenhas feito antes. Não é preciso terminar primeiro nada desta página. Podes fazer uma pausa quando quiseres; o teu progresso é guardado automaticamente.

As lições

Podes abrir qualquer lição agora, por qualquer ordem. O plano recomenda uma; não bloqueia as restantes.

  1. 1 Predicates and domains
  2. 2 Universal quantification
  3. 3 Existential quantification
  4. 4 Negated quantifiers
  5. 5 Quantifier scope
  6. 6 Identity
  7. 7 Relations
  8. 8 Multiple quantifiers
  9. 9 First-order countermodels
  10. 10 Universal instantiation
  11. 11 Existential proof
  12. 12 Soundness and completeness
  13. 13 Necessity and possibility
  14. 14 Modal reasoning