Algebra linear
´ ´ ´ Cap´tulo 0 - Nocoes Basicas de Logica Matematica e ı ¸˜ de Teoria de Conjuntos
´ Algebra Linear e Geometria Anal´tica ı
1
´ ´ Cap´tulo 0 - Nocoes Basicas de Logica e de Teoria de Conjuntos: ı ¸˜ ´ 0.1 - Proposicoes e Valores Logicos ¸˜ ´ 0.2 Operacoes Logicas ¸˜ ´ 0.3 Propriedades das Operacoes Logicas ¸˜ 0.4 Conjuntos e Operacoes com Conjuntos ¸˜ 0.5 Produto Cartesiano
´ Algebra Linear e Geometria Anal´tica ı ´ ´ Cap´tulo 0 - Nocoes Basicas de Logica e de Teoria de Conjuntos: ı ¸˜ ´ 0.1 - Proposicoes e Valores Logicos ¸˜
˜ ´ Proposicao e uma expressao a respeito da qual faz sentido dizer se e ¸˜ ´ verdadeira ou falsa. ´ ´ Cada proposicao tem um e um so valor logico, de entre dois ¸˜ dispon´veis, ı verdadeiro (V) ou falso (F)
Exemplos ´ Viseu e uma cidade −→
´ −→ Viseu e bonita ´ sentimento de alguem) ´ ˜ ¸˜ Amanha vou ao cinema −→ E uma proposicao, que neste momento ˜ ´ ˆ ˜ nao se pode dizer o seu valor logico, mas pode-se dize-lo amanha
() ´ Algebra Linear e Geometria Anal´tica ı 3 / 20
Proposicao verdadeira ¸˜ ˜ ´ ˜ Nao e proposicao (expressao de um ¸˜
´ Algebra Linear e Geometria Anal´tica ı ´ ´ Cap´tulo 0 - Nocoes Basicas de Logica e de Teoria de Conjuntos: ı ¸˜ ´ 0.1 - Proposicoes e Valores Logicos ¸˜
´ ˜ A logica que vamos estudar pressupoe os seguintes princ´pios: ı ´ Princ´pios Logicos: ı ˜ Princ´pio da nao contradicao ı ¸˜ ˜ Uma proposicao nao pode ser verdadeira e falsa ao mesmo ¸˜ tempo Princ´pio do terceiro exclu´do ı ı Uma proposicao e verdadeira ou falsa ¸˜ ´
()
´ Algebra Linear e Geometria Anal´tica ı
4 / 20
´ Algebra Linear e Geometria Anal´tica ı ´ ´ Cap´tulo 0 - Nocoes Basicas de Logica e de Teoria de Conjuntos: ı ¸˜ ´ 0.2 Operacoes Logicas ¸˜
´ A partir de proposicoes elementares e utilizando as operacoes logicas, ¸˜ ¸˜ ˆ obtem-se novas proposicoes (compostas). ¸˜ ´ Operacoes Logicas ¸˜ Negacao ¸˜ Conjuncao ¸˜ Disjuncao ¸˜ Implicacao ¸˜ ∼p p∧q