TRABALHO DE LÓGICA
ALUNOS: MATHUES CECILIANO DUARTE, GABRIEL WILSON
1)Álgebra das proposições;
A álgebra das proposições estuda as proposições e como
podem ser combinadas usando conectivos lógicos.
EX: p: “O sol está brilhando”
q: “Eu vou para a praia.”
Podemos formar a proposição composta “Se o sol está
brilhando, então eu vou para a praia.”
2) Método Dedutivo;
O momento dedutivo, é uma forma de raciocínio que parte
de premissas gerais para chegar numa conclusão específica.
Caso as premissas forem verdadeiras e sua lógica for
correta, a conclusão é verdadeira.
Ex:
Premissa geral 1: Todos os seres humanos são mortais.
Premissa geral 2: Sócrates é um ser humano.
Conclusão específica: Portanto, Sócrates é mortal
3) Argumentos e regras de Inferência;
Argumentos lógicos são uma sequência de premissas
que levam para uma conclusão. Já as regras de inferência
são padrões de argumentos válidos pois ela segue uma rega
chamada Modus Ponens
EX Modus Ponens:
1. Se P, então Q
2. 2. P é verdade
3. Logo, Q é verdade
4) - Validade mediante regras de inferência e
equivalências;
Um argumento é válido quando, se todas as premissas
são verdadeiras, a conclusão também precisa ser
verdadeira. Ou seja, a conclusão segue logicamente das
premissas.
5) DEMONSTRAÇÃO CONDICIONAL E
DEMONSTRAÇÃO INDIRETA
A condicional prova diretamente uma implicação
assumindo P e mostrando Q. A indireta assume a
negação da proposição e demonstra que isso gera uma
contradição, validando a proposição original.
EX: Se hoje é segunda-feira, então amanhã é terça-feira.
Forma lógica:
Se P, então Q, onde:
P: "Hoje é segunda-feira"
Q: "Amanhã é terça-feira"
EX: DEMONSTRAÇÃO INDIRETA
Agora iremos assumir o contrário. Hoje é segunda feira (P
= VERDADEIRO) mas amanhã NÃO é terça feira. (Q =
FALSO)
6) Sentenças Abertas;
Em resumo Sentença aberta tem uma variável, sem valor
lógico, só vira proposição quando damos um valor a
variável, ou seja a sentença aberta não pode ser
classificada com verdadeira ou falsa.
EX:
X + 5 = 12
N é um número par
Y > x²
7) Operações Lógicas sobre sentenças abertas;
Operações lógicas são formas de combinar ou modificar
sentenças abertas, usando conectivos da lógica (negação,
conjunção, disjunção, etc...)
EX: 1.
Negações (¬P(x))
¬P(x): "x não é maior que 5"
Conjunção (P(x) ∧ Q(x))
Se Q(x): "x é número par"
Disjunção (P(x) ∨ Q(x))
"x é maior que 5 ou x é par"
Implicação (P(x) → Q(x))
"Se x é maior que 5, então x é par"
8) Quantificadores;
Quantificadores servem para transformar sentenças
abertas em proposições ao indicar para quais valores da
variável a sentença deve valer.
1. Quantificador Universal (∀)
Símbolo: ∀
Leitura: "Para todo", "Para qualquer", "Para todos
os..." Significa que a sentença deve ser verdadeira para
todos os valores possíveis da variável.
2. Quantificador Existencial (∃)
Símbolo: ∃
Leitura: "Existe", "Existe ao menos um", "Algum..."
Significa que a sentença é verdadeira para pelo menos um
valor da variável.
9) Quantificadores de sentenças abertas com várias
variáveis;
Quando uma sentença aberta tem mais de uma variável, usa se
quantificadores para cada uma delas, e a ordem dos
quantificadores importa.
Ex:
Sentença aberta:
x+y=0
∀x ∈ ℝ, ∃y ∈ ℝ, x + y = 0
Para todo valor de x, existe algum y que faz x + y = 0.
Isso é verdadeiro: por exemplo, se x = 2, basta y = –2.
Quando há mais de uma variável, usamos um quantificados para
cada variável
10) Álgebra booleana e circuitos combinacionais
Álgebra Booleana é a matemática que usa apenas dois valores: 1
(verdadeiro) e 0 (falso). Ela descreve a lógica com operações
como AND (E), OR (OU) e NOT (Negação).
Circuitos Combinacionais são a implementação física dessa
lógica. Eles são circuitos eletrônicos, como em um chip, que
produzem uma saída baseada apenas na combinação atual de
suas entradas, sem memória.