http://plus.maths.org/content/teacher-package-logic

Peter Suber

http://www.earlham.edu/~peters/courses/logsys/lshome.htm

http://www.earlham.edu/~peters/courses/logsys/low-skol.htm

Equivalências da lógica sentencial

(A Ù B) « Ø(ØA Ú ØB)

(A Ù B) « Ø(A ® ØB)

(A Ú B) « Ø(ØA Ù ØB)

(A Ú B) « (ØA ® B)

Fica como exercício:

(i) obter as fórmulas equivalente a (A ® B);

(ii) mostrar que são tautologia;

(iii) provar usando dedução natural (algumas são mais difíceis do que as que fizemos até agora).

Isso será útil para o exercício 1 da lista de exercícios.

Cap. 8 - Read

http://mathworld.wolfram.com/OrdinalNumber.html

http://en.wikipedia.org/wiki/Ordinal_number

http://www.cin.ufpe.br/~ruy/conjuntos/aula13.pdf

Metalogic

http://en.wikipedia.org/wiki/Metalogic

pagina logica

http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html
http://www.math.uwaterloo.ca/~snburris/htdocs/stext.html#fo-arith

sites torrent

Este resumo não está disponível. Clique aqui para ver a postagem.