CONECTIVOS LGICOS E TABELAS VERDADE

Principais estruturas lgicas e suas denominaes:

Tabela verdade da disjuno e exemplo:

A conjuno e pode ser trocada por mas, e na disjuno exclusiva pode ser utilizado mas no ambos

No caso da disjuno exclusiva ou... ou ( v ) ela ser verdadeira somente quando as preposies tiverem valores lgicos contrrios (V e F ou F e V).
Tabela verdade da conjuno e exemplo:

Uma conjuno ser verdadeira se as duas proposies forem verdadeiras

Na preposio condicional, existem outras formas de se expressar:
-Se A, B
-B, se A
-A implica B
-A somente se B
-A suficiente para B
-B necessrio para A
-Quando A, B
-Toda vez que A,B

Tabela verdade da condicional AB

Mesmo quando no existem relaes de causa ou efeito entre A e B, a proposio AB s falsa se A verdadeira e B
falsa
No caso da bicondicional, h outras formas de expressar:
Todo A b e todo B A.
Todo A B e reciprocamente.
Se A ento B e reciprocamente.
A necessrio e suficiente para B.
A suficiente para B e B suficiente para A.
A necessrio para B e B necessrio para A.
Tabela verdade da bicondicional (se e somente se)
S verdadeira se as proposies que a compem tem o mesmo valor lgico.
Outras definies:
Silogismo o argumento formado por 2 premissas e uma concluso
Sofisma/falcia uma concluso invlida a partir de premissas vlidas
Uma proposio composta uma tautologia se ela for sempre verdadeira, independente dos valores
lgicos. Exemplo: 2 um nmero par ou 2 um nmero primo.
uma contradio se, e somente se, ela sempre falsa. Exemplo: um nmero par se e somente se ele
no par. Assim, a negao de uma tautologia sempre uma contradio e vice-versa.
Uma proposio composta uma contingencia se seu valor lgico depende dos valores lgicos das
proposies que as compem.

Leis da comutatividade: Lei da dupla negao

ABBA ( A) A
ABBA Lei das Equivalncias da Condicional
ABBA A B A B
ABBB A B B A
Leis associativas: Leis das Equivalncias da Bicondicional
(A B) C A (B C) A B (A B) (B A)
(A B) C A (B C) A B (A B) (B A)
Leis da Distributividade A B (A B)
A (B C) (A B) (A C)
A (B C) (A B) (A C)
Negao de proposies compostas:
A e B no A e no B
A ou B No A ou no B
Se A ento B A e no B
A se e somente se B Ou A ou B
Todo A B Algum A no B
Algum A B Nenhum A B

O nmero de linhas da tabela-verdade de uma sentena igual a 2n, onde n o nmero de proposicoes simples (letras) que h na sentena.

Proposies logicamente equivalentes: os resultados de suas tabelas verdade so idnticos

AB = ~B ~A (Se A, ento B = Se no A, ento no B)
AB = ~Aou B (Se A, ento B = no A ou B)
A ou B = ~AB (se no A, ento B)
Nenhum A no B = todo A B
Todo A no B = Nenhum A B
 Leis de Morgan
Primeira lei de De Morgan
De maneira formal:
"a negao de uma conjuno entre duas proposies igual a disjuno da negao de cada proposio"
De maneira informal:
"negar duas frases ligadas com e igual a negar duas frases e lig-las com ou"
Ou logicamente:
"no (A e B) igual a (no A) ou (no B)".
Desta forma:
(AB)(AB)
Ou ainda:
(A)(B)(A)(B)
Exemplos:
Como negar a frase "Antnio no baiano e Antnio no cearense ." :
No (Antnio no baiano) OU No (Antnio no cearense). Neste caso, os nos se anulam e a frase pode ser transformada para
Antnio baiano ou cearense.
Como negar a frase "Pedro sofreu acidente de trabalho e Pedro est aposentado.":
No (Pedro sofreu acidente de trabalho) OU No (Pedro est aposentado) que :
Ou Pedro no sofreu acidente de trabalho, ou Pedro no est aposentado.

Segunda lei de De Morgan

De maneira formal:
"a negao de uma disjuno entre duas proposies a conjuno da negao de cada proposio"
Ou, de maneira informal:
negar duas frases ligadas por ou igual a negar duas frases e lig-las por e
Ou, de forma lgica:
"no (A ou B) o mesmo que (no A) e (no B)".
Desta forma:
(AB)(AB)
o mesmo que:
(A)(B)(A)(B)
Exemplos:
Como negar a frase "Vou ficar em casa ou vou para o shopping. " ?
No (Vou ficar em casa) E No (vou para o shopping).
Como negar a frase "Antnio baiano ou Antnio cearense ." :
No (Antnio baiano) E No (Antnio cearense) que pode ser transformado para
Antnio no baiano e no cearense.
Como negar a frase "Vou ao baile ou no me chamo Joana. " ?
No (vou ao baile) E no (no me chamo Joana), onde os dois "no" se anulam ,de forma que:
No (vou ao baile) E (me chamo Joana).

Negao da condicional
Por exemplo:
Se os pssaros voam, ento a galinha voa.
A estrutura lgica dada por:
ABAB
No qual B s verdadeiro se A tambm o for.
A negao da condicional dada pelo uso do E e se nega apenas a segunda parte da estrutura. Assim:
(AB)=AB(AB)=AB
Por exemplo:
A negao de "Se as aves voam ento a galinha voa" dada por:
(As aves voam) E No (a galinha voa), o que pode ser convertido para
As aves voam e a galinha no voa, ou ainda
As aves voam, mas a galinha no voa.

Alguns cuidados que voc deve ter ao realizar negaes que alguns termos no so necessariamente negao de outros. Por exemplo: a negao de era o mais jovem no era o mais velho e sim no era
o mais jovem. Outro exemplo: a negao de futebol me d alegria no futebol me d tristeza e sim futebol no me d alegria.
Alguns termos so equivalentes. Por exemplo, "nem" significa "e no":
No gosto de praia nem de cinema. igual a : No gosto de praia e no gosto de cinema.

NOTAS:
- Dias de cada ms: no geral se alternam entre 31 e 30, comeando com 31 em janero, exceto fevereiro que tem 28, e agosto que tem 31.
-Para ser bissexto, o ano deve ser:
Divisvel por 4. Sendo assim, a diviso exata com o resto igual a zero;
No pode ser divisvel por 100. Com isso, a diviso no exata, ou seja, deixa resto diferente de zero;

ANLISE COMBINATRIA
- Permutao com repetio: n elementos dos quais a so de um tipo, b de outro tipo e c de outro, com a+b+c = n
Pna,b,c= n!/(a!.b!.c!). Muito usado em anagramas de palavras. Exemplo: De quantas maneiras podem ser arrumadas as letras da palavra MARCANTE, de modo q ue as letras M, A, R se mantenham juntas, em
qualquer ordem.
Soluo: Consideremos as letras M, A, R juntas como se fossem uma letra s. Ento teremos P6.
Entretanto, como as letras podem aparecer em qualquer ordem, temos P3. Assim, o nmero total de modos possveis P6 x P3 = 6! X 3! = (6 x 5 x 4 x 3 x 2 x 1) x (3 x 2 x 1) = 720 x 6 = 4320
-Arranjo com repetio: Chama-se arranjo com repetio dos n elementos tomados p a p, aos grupamentos contendo n elementos distintos ou no, de modo que dois agrupamentos sejam diferentes pela ordem
ou pela natureza de seus elementos. Representado por (AR) pn = np . Exemplo: Seja A = {2,5}, quantos agrupamentos de 3 elementos podemos obter com esses nmeros? (AR) 23 = 2 = 8 agrupamentos
(222,225,252,255,522,525,552,555)
-Combinao com repetio : (CR)pn = (n+p-1)!/[p! . (n-1)!]. Exemplo. Seja o conjunto A = {1,2,3,4}. Qual o nmero total de combinaes com repetio dos elementos de A, tomados 2 a 2?
Soluo:
Os agrupamentos possveis so: 11, 12, 13, 14, 22, 23, 24, 33, 34, 44 totalizando 10 agrupamentos. Usando a frmula temos:
(CR)42 = (4+2-1)! / (2! . 3!) = 10
-Permutao circular(ex: distribuio de pessoas em mesa redonda) (n-1)!
-Arranjo: n!/(n-p)! e Combinao: n!/((p!*(n-p)!)
PROBABILIDADE
-Eventos independentes: P(A B)=P(A) P(B)
-Unio de dois eventos(probabilidade de ocorrer A,B ou ambos): P (A B)= P (A) P( B) P (A B)
-Probabilidade condicional( probabilidade de A ocorrer, dado que B ocorreu) = P(A|B) = P(AB)/P(B)

LGICA DE PRIMEIRA ORDEM

O alfabeto da Lgica de Predicados constitudo por:
Smbolos de pontuao: ( , );
 Smbolo de verdade: false;
Um conjunto enumervel de smbolos para variveis: x, y, z, w, x1 ,y1 ,... ;
Um conjunto enumervel de smbolos para funes: f, g, h, f1 , g1 , h1 , f2 , g2 , ... ;
Um conjunto enumervel de smbolos para predicados: p, q, r, p1 , q1 , r1 , p2 , q2 , ... ;
Conectivos: , , , . (No, Ou, Qualquer que seja, Existe)
Associado a cada smbolo para funo ou predicado, temos um nmero inteiro no-negativo k. Esse nmero indica a aridade, ou seja, o nmero de argumentos da funo ou predicado.
Constantes: do nomes a coisas particulares
Variveis: sintaticamente iguais s constantes, anlogo s linguagens de programao
Funes: como em programao, recebe argumentos e produz uma resposta
Predicados: Semelhante a uma funo booleana, a resposta ser sempre verdadeiro ou falso.
Sentenas que representam smbolo de verdade (V ou F), em lgica de predicados, so chamados de TOMOS
Sentenas que representam objetos so chamados de TERMOS
Frmulas: So construdos a partir destas regras: Todo tomo uma frmula da Lgica de Predicados Se H frmula ento (H) tambm Se H e G so frmulas, ento (HvG) tambm Se H frmula e
x varivel, ento ((x)H) e ((x)H) so frmulas.
Ordem de precedncia da Lgica de Predicados: , , , , ,^,v
Exemplo: Todos os alunos tem exatamente um nmero
x(aluno(x) y(numero(x, y) z(numero(x, z) y = z))))
Representao:
Se no for confuso, usamos a, b, c, . . . para representar constantes e f , g, h, . . . para representar variveis; Se no for confuso, usamos P, Q, R, . . . para representar as letras de predicado;
Se no for confuso, usamos x, y, z, . . . para representar as variveis.
Funes
capital(x) = capital de x; {(Portugal,Lisboa),(Franca,Paris),(Espanha,Madrid),. . .}
soma(x, y) = x + y; {(1, 1, 2),(1, 2, 3),(2, 1, 3), . . .}
Predicados
Fronteira(x, y) = x tem fronteira com y; {(Portugal,Espanha),(Espanha,Franca),(Franca,Belgica),. . .}
Termos
-cada letra de funo com aridade zero um termo
-cada varivel um termo
Se t1,t2, . . . ,tn so termos, ento f n i (t1,t2, . . . ,tn) um termo.
Exemplo: capital(Portugal), pai(Augustus_De_Morgan), pai(pai(pai(Augustus_De_Morgan))), x, capital(x), pai(x)
-Termo sem variveis chamado de termo cho

MATEMTICA
Matrizes
Na matriz Ai,j, i o nmero de linhas e j o de colunas
Tipos de matrizes: matriz coluna, quadrada, linha e diagonal (todos os elementos fora da diagonal principal so zero), triangular (elementos acima ou abaixo da diagonal principal so zero), identidade (elementos
da DP so 1 e demais so 0), transposta e simtrica (igual transposta).
Matriz semelhante: Uma matriz B e dita semelhante a uma matriz A se h uma matriz invertvel P tal que B = P 1AP. Dizemos que a matriz A e diagonalizavel se ela for semelhante a uma matriz diagonal.
Neste caso, dizemos tambm que A pode ser diagonalizada.
Matriz inversa: aquela que multiplicada pela matriz enunciada, resulta na matriz identidade.
Para achar a matriz inversa de uma matriz de ordem 2:
-Troca de lugar os elementos da diagonal principal
-Multiplica por -1 a diagonal secundria
-Divide tudo pelo determinante
Multiplicao de matrizes: o produto das matrizes A = ( aij) m x p e B = ( bij) p x n a matriz C = (cij) m x n em que cada elemento cij obtido por meio da soma dos produtos dos elementos correspondentes da i-sima
linha de A pelos elementos da j-sima coluna B. Exemplo:

Da definio, temos que a matriz produto A . B s existe se o nmero de colunas de A for igual ao nmero de linhas de B:

A matriz produto ter o nmero de linhas de A (m) e o nmero de colunas de B(n):

Se A3 x 2 e B 2 x 5 , ento ( A . B ) 3 x 5
Se A 4 x 1 e B 2 x 3, ento no existe o produto
Se A 4 x 2 e B 2 x 1, ento ( A . B ) 4 x 1

Propriedades
Verificadas as condies de existncia para a multiplicao de matrizes, valem as seguintes propriedades:
a) associativa: ( A . B) . C = A . ( B . C )
b) distributiva em relao adio: A . ( B + C ) = A . B + A . C ou ( A + B ) . C = A . C + B . C
c) elemento neutro: A . In = In . A = A, sendo In a matriz identidade de ordem n
Vimos que a propriedade comutativa, geralmente, no vale para a multiplicao de matrizes. No vale tambm o anulamento do pr oduto, ou seja: sendo 0 mxn uma matriz nula, A .B =0 mxn no implica,
necessariamente, que A = 0 m x n ou B = 0 m x n.
Determinantes
Matriz 2x2: diferena do produto da diagonal principal pela diagonal secundria

( ) det = AD BC

Matriz 3x3:
-Repete direta da matriz as duas primeiras colunas
-Multiplicar os elementos das trs diagonais principais, obtendo-se trs nmeros, e som-los
-Fazer o mesmo com as trs diagonais secundrias
-A diferena entre a 1 soma e a 2 soma ser o determinante

Det A = (-2-6+0) (-5+0+0) = -8+5 = -3. Essa regra chamada regra de Sarrus
Propriedades dos determinantes:
- O determinante igual a zero nos casos de: linha ou coluna igual a zero, duas linhas/colunas iguais, duas linhas/colunas com valores proporcionais
-Multiplicando uma linha ou coluna por X, o determinante tambm multiplicado por X
-Se uma matriz inteira, quadrada de ordem n, for multiplicada por K, seu determinante multiplicado por K n
- O determinante de uma matriz igual ao da matriz transposta
- O determinante da inversa igual ao inverso do determinante da matriz original
-O determinante de uma matriz triangular o produto da diagonal principal
-Considerando duas matrizes de ordem iguais A e B, det(AB)= det A * det B. Nota-se que tambm serve para calcular determinante de uma matriz elevada a uma certa potncia.
Trigonometria
Lembrar as relaes notveis dos ngulos de 0, 30, 45, 60 e 90
secante (sec) = 1/cosseno
cossecante (cossec) = 1/ seno
cotangente (cotg) = 1/tg
radianos = 180

Identidades trigonomtricas:
senA + cosA=1
tgA +1 = secA
1+ cotgA = cossecA

Lei dos senos: num tringulo qualquer, as medidas dos lados so proporcionais s medidas dos senos dos ngulos opostos a ele
Lei dos cossenos: O quadrado da medida de um lado igual soma dos quadrados das medidas dos outros dois, subtraindo o duplo produto entre as medidas desses dois lados e o cosseno do ngulo por eles
formados.
Num tringulo de lados a,b e c e ngulos A,B e C : a = b + c - 2bc. cos A
Geometria
Clculos de diagonais e ngulos de um polgono de lados iguais

rea de um tringulo equiltero: L.3/4