Algebra linear

gebra´ Algebra Linear e Geometria Anal´tica ı
´ ´ ´ 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