Conceitos introdutórios: lógica, conjuntos e notação

Apuntes

T ́ opicos de ́ Algebra Linear Gaspar J. Machado, Irene Brito, Sofia Lopes Departamento de Matem ́atica, Universidade do Minho setembro de 2025 — v6.1 ́ Indice 0 Algumas nota ̧c ̃ oes e revis ̃ oes 1 Matrizes 2 Determinantes 3 Sistemas de Equa ̧c ̃ oes Lineares 4 Espa ̧cos Vetoriais 5 Valores e Vetores Pr ́ oprios 6 Transforma ̧c ̃ oes Lineares de R n em R m 0 – Algumas nota ̧c ̃oes e revis ̃oes 0 Algumas nota ̧c ̃ oes e revis ̃ oes 1 Matrizes 2 Determinantes 3 Sistemas de Equa ̧c ̃ oes Lineares 4 Espa ̧cos Vetoriais 5 Valores e Vetores Pr ́ oprios 6 Transforma ̧c ̃ oes Lineares de R n em R m GJM, IB, SL (DMAT, UM) TAL setembro de 2025 — v6.1 1 0 – Algumas nota ̧c ̃oes e revis ̃oes L ́ogica Def 0.1 (a) Jproposi ̧c ̃ aoK Uma proposi ̧c ̃ ao ́ e uma frase ` a qual est ́ a associado um valor l ́ ogico bem definido. (b) Jvalor l ́ ogico, verdade, falsidadeK H ́ a dois valores l ́ ogicos: verdade, que se representa por V (ou 1), e falsidade, que se representa por F (ou 0). (c) Jproposi ̧c ̃ ao verdadeiraK Uma proposi ̧c ̃ ao cujo valor l ́ ogico ́ e verdade diz-se verdadeira. (d) Jproposi ̧c ̃ ao falsaK Uma proposi ̧c ̃ ao cujo valor l ́ ogico ́ e falsidade diz- se falsa. Def 0.2 Jp...