RESUMO DE LÓGICA

Prévia do material em texto

OPERADORES LÓGICOS 
V OU Disjunção 
^ E Conjunção 
┐ ~ NÃO Negação 
↔ ...SE, E SOMENTE SE... Bicondicional 
→ SE...ENTÃO Condicional 
 
TABELA VERDADE 
Disjunção (V) Conjunção (^) Negação (┐) (~) 
p q pVq p q p^q p ┐p 
V V V V V V V F 
V F V V F F F V 
F V V F V F 
F F F F F F 
 
Bicondicional (↔) Condicional (→) Número de linhas 
p q p↔q p q p→q “n” prop. nº lin. 
V V V V V V 1 2¹ = 2 
V F F V F F 2 2² = 4 
F V F F V V 3 2³ = 8 
F F V F F V n 2n 
 
PROPOSIÇÕES COMPOSTAS NEGAÇÃO 
Disjunção (V) pVq ┐p ^ ┐q 
Conjunção (^) p^q ┐p V ┐q 
Bicondicional (↔) p↔q (p ^ ┐q) OU (┐p ^ q) 
Condicional (→) p→q p ^ ┐q 
 
PROPOSIÇÕES COMPOSTAS EQUIVALÊNCIA 
Condicional (→) p→q ┐q → ┐p Condicional (→) 
Condicional (→) p→q ┐p V q Disjunção (V) 
Bicondicional (↔) p↔q (p → q) ^ (q → p) Conjunção (^) 
 
NEGAÇÃO DOS QUANTIFICADORES 
Existe Todo 
Nenhum Existe 
Existe Nenhum 
Todo Existe 
Exemplos: 
Todos os homens são iguais.  Algum homem é diferente. 
Alguns homens são bonitos.  Nenhum homem é bonito. 
Nenhum rondoniense é casado.  Há pelo menos um rondoniense casado. 
Progressão Aritmética (P.A.) 
Sn = (
a1 + an
2
) . n 
 
 
Ordem de resolução dos 
conectivos na ausência 
dos parênteses: 
1) ┐ ~ 
2) ^ 
3) V 
4) → 
5) ↔ 
Ano ÷4? 
Ano ÷100? 
Ano ÷400? 
365 dias 
366 dias – ANO BISSEXTO 
ALFABETO VOGAIS NÚMERO EXTENSO CARACTERE 
A 1 A 1 0 zero 4 
B 2 E 2 1 um 2 
C 3 I 3 2 dois 4 
D 4 O 4 3 três 4 
E 5 U 5 4 quatro 6 
F 6 5 cinco 5 
G 7 6 seis 4 
H 8 7 sete 4 
I 9 8 oito 4 
J 10 9 nove 4 
K 11 10 dez 3 
L 12 11 onze 4 
M 13 12 doze 4 
N 14 13 treze 5 
O 15 
14 
quatorze 8 
P 16 catorze 7 
Q 17 15 quinze 6 
R 18 16 dezesseis 9 
S 19 17 dezessete 9 
T 20 18 dezoito 7 
U 21 19 dezenove 8 
V 22 20 vinte 5 
W 23 30 trinta 6 
X 24 40 quarenta 8 
Y 25 50 cinquenta 9 
Z 26 60 sessenta 8 
 70 setenta 7 
 80 oitenta 7 
 90 noventa 7 
 100 cem 3 
 200 duzentos 8 
 300 trezentos 9 
 400 quatrocentos 12 
 500 quinhentos 10 
 600 seiscentos 10 
 700 setecentos 10 
 800 oitocentos 10 
 900 novecentos 10 
 1000 mil 3