sábado, 4 de mayo de 2019
jueves, 2 de mayo de 2019
Alfabeto da lógica proposicional
Alfabeto da lógica proposicional
Símbolos de pontuação: ‘(‘, ‘)’.
Símbolos de verdade: “true”, “false”.
Símbolos proposicionais: p, q, r, s, p1, q1, r1, p2, q2…
Conectivos proposicionais: ~, v, ^, → , ↔.
Os símbolos proposicionais são usados para representar proposições na linguagem da lógica.
miércoles, 1 de mayo de 2019
Notas sobre o SMULLYAN: árvores
Árvores
Um conjunto de elementos chamados “pontos”
Uma função ‘L’ que atribuiu a cada ponto x um inteiro positivo L(x) chamado “nível” de x
Uma relação x R y definida em S, que se lê “x é um predecessor de y” ou “y é sucessor de x”. Essa relação deve obedecer às seguintes condições:
C1: há um único ponto a1 de nível 1. Esse ponto é chamado a origem da árvore.
C2: qualquer ponto diferente da origem tem um único predecessor.
C3: para quaisquer pontos x, y, se y for sucessor de x, então l(y) = l(x) + 1.
Ponto final = não tem sucessor
Ponto simples = apenas um sucessor
Ponto de junção = mais de um sucessor
Caminho: sequência de pontos
Caminho maximal (ramo): caminho cujo último termo é um ponto final da árvore ou um caminho que é infinito
De C1, C2 e C3 segue para qualquer ponto x existe um único caminho Px, diz-se y domina x ou x é dominado por y, se x domina y e x ≠ y, então diremos que x está acima de y ou que y está abaixo de x. Diz que x é comparável com y se x domina y ou y domina x e que y está entre x e z se y está acima de um dos elementos do par {x, z} e abaixo do outro.
Árvore ordenada ‘T’
É a primeira árvore não ordenada junto com uma função 𝚹 que atribui cada ponto de junção z em uma sequência 𝚹 (z) de todos os sucessores de z.
Representamos árvores ordenadas situando a origem no topo e os sucessores de cada ponto x abaixo de xm e na ordem na qual eles aparecem da esquerda para a direita; traçamos um segmento de linha de x até y para indicar que y é um sucessor de x.
Uma árvore é finitamente gerada se cada ponto tem apenas um número finito de sucessores.
Se uma árvore ‘T’ tem um número finito de pontos então ela é finita, se não é infinita.
Um conjunto de elementos chamados “pontos”
Uma função ‘L’ que atribuiu a cada ponto x um inteiro positivo L(x) chamado “nível” de x
Uma relação x R y definida em S, que se lê “x é um predecessor de y” ou “y é sucessor de x”. Essa relação deve obedecer às seguintes condições:
C1: há um único ponto a1 de nível 1. Esse ponto é chamado a origem da árvore.
C2: qualquer ponto diferente da origem tem um único predecessor.
C3: para quaisquer pontos x, y, se y for sucessor de x, então l(y) = l(x) + 1.
Ponto final = não tem sucessor
Ponto simples = apenas um sucessor
Ponto de junção = mais de um sucessor
Caminho: sequência de pontos
Caminho maximal (ramo): caminho cujo último termo é um ponto final da árvore ou um caminho que é infinito
De C1, C2 e C3 segue para qualquer ponto x existe um único caminho Px, diz-se y domina x ou x é dominado por y, se x domina y e x ≠ y, então diremos que x está acima de y ou que y está abaixo de x. Diz que x é comparável com y se x domina y ou y domina x e que y está entre x e z se y está acima de um dos elementos do par {x, z} e abaixo do outro.
Árvore ordenada ‘T’
É a primeira árvore não ordenada junto com uma função 𝚹 que atribui cada ponto de junção z em uma sequência 𝚹 (z) de todos os sucessores de z.
Representamos árvores ordenadas situando a origem no topo e os sucessores de cada ponto x abaixo de xm e na ordem na qual eles aparecem da esquerda para a direita; traçamos um segmento de linha de x até y para indicar que y é um sucessor de x.
Uma árvore é finitamente gerada se cada ponto tem apenas um número finito de sucessores.
Se uma árvore ‘T’ tem um número finito de pontos então ela é finita, se não é infinita.
Mike Pompeo
Alguém consegue me explicar por que Mike Pompeo sempre usa um rato em baixo do bigode? É para intimidar adversários políticos?
Suscribirse a:
Entradas (Atom)