;(function() { window.createMeasureObserver = (measureName) => { var markPrefix = `_uol-measure-${measureName}-${new Date().getTime()}`; performance.mark(`${markPrefix}-start`); return { end: function() { performance.mark(`${markPrefix}-end`); performance.measure(`uol-measure-${measureName}`, `${markPrefix}-start`, `${markPrefix}-end`); performance.clearMarks(`${markPrefix}-start`); performance.clearMarks(`${markPrefix}-end`); } } }; /** * Gerenciador de eventos */ window.gevent = { stack: [], RUN_ONCE: true, on: function(name, callback, once) { this.stack.push([name, callback, !!once]); }, emit: function(name, args) { for (var i = this.stack.length, item; i--;) { item = this.stack[i]; if (item[0] === name) { item[1](args); if (item[2]) { this.stack.splice(i, 1); } } } } }; var runningSearch = false; var hadAnEvent = true; var elementsToWatch = window.elementsToWatch = new Map(); var innerHeight = window.innerHeight; // timestamp da última rodada do requestAnimationFrame // É usado para limitar a procura por elementos visíveis. var lastAnimationTS = 0; // verifica se elemento está no viewport do usuário var isElementInViewport = function(el) { var rect = el.getBoundingClientRect(); var clientHeight = window.innerHeight || document.documentElement.clientHeight; // renderizando antes, evitando troca de conteúdo visível no chartbeat-related-content if(el.className.includes('related-content-front')) return true; // garante que usa ao mínimo 280px de margem para fazer o lazyload var margin = clientHeight + Math.max(280, clientHeight * 0.2); // se a base do componente está acima da altura da tela do usuário, está oculto if(rect.bottom < 0 && rect.bottom > margin * -1) { return false; } // se o topo do elemento está abaixo da altura da tela do usuário, está oculto if(rect.top > margin) { return false; } // se a posição do topo é negativa, verifica se a altura dele ainda // compensa o que já foi scrollado if(rect.top < 0 && rect.height + rect.top < 0) { return false; } return true; }; var asynxNextFreeTime = () => { return new Promise((resolve) => { if(window.requestIdleCallback) { window.requestIdleCallback(resolve, { timeout: 5000, }); } else { window.requestAnimationFrame(resolve); } }); }; var asyncValidateIfElIsInViewPort = function(promise, el) { return promise.then(() => { if(el) { if(isElementInViewport(el) == true) { const cb = elementsToWatch.get(el); // remove da lista para não ser disparado novamente elementsToWatch.delete(el); cb(); } } }).then(asynxNextFreeTime); }; // inicia o fluxo de procura de elementos procurados var look = function() { if(window.requestIdleCallback) { window.requestIdleCallback(findByVisibleElements, { timeout: 5000, }); } else { window.requestAnimationFrame(findByVisibleElements); } }; var findByVisibleElements = function(ts) { var elapsedSinceLast = ts - lastAnimationTS; // se não teve nenhum evento que possa alterar a página if(hadAnEvent == false) { return look(); } if(elementsToWatch.size == 0) { return look(); } if(runningSearch == true) { return look(); } // procura por elementos visíveis apenas 5x/seg if(elapsedSinceLast < 1000/5) { return look(); } // atualiza o último ts lastAnimationTS = ts; // reseta status de scroll para não entrar novamente aqui hadAnEvent = false; // indica que está rodando a procura por elementos no viewport runningSearch = true; const done = Array.from(elementsToWatch.keys()).reduce(asyncValidateIfElIsInViewPort, Promise.resolve()); // obtém todos os elementos que podem ter view contabilizados //elementsToWatch.forEach(function(cb, el) { // if(isElementInViewport(el) == true) { // // remove da lista para não ser disparado novamente // elementsToWatch.delete(el); // cb(el); // } //}); done.then(function() { runningSearch = false; }); // reinicia o fluxo de procura look(); }; /** * Quando o elemento `el` entrar no viewport (-20%), cb será disparado. */ window.lazyload = function(el, cb) { if(el.nodeType != Node.ELEMENT_NODE) { throw new Error("element parameter should be a Element Node"); } if(typeof cb !== 'function') { throw new Error("callback parameter should be a Function"); } elementsToWatch.set(el, cb); } var setEvent = function() { hadAnEvent = true; }; window.addEventListener('scroll', setEvent, { capture: true, ive: true }); window.addEventListener('click', setEvent, { ive: true }); window.addEventListener('resize', setEvent, { ive: true }); window.addEventListener('load', setEvent, { once: true, ive: true }); window.addEventListener('DOMContentLoaded', setEvent, { once: true, ive: true }); window.gevent.on('allJSLoadedAndCreated', setEvent, window.gevent.RUN_ONCE); // inicia a validação look(); })();
  • AssineUOL
Topo

Lógica - Argumento - Um conjunto de enunciados articulados entre si

Heidi Strecker, Especial para Página 3 - Pedagogia & Comunicação

A noção de argumento é fundamental para a lógica. Argumento é um conjunto de enunciados que estão relacionados uns com os outros. Argumento é um raciocínio lógico.
Observe o seguinte argumento:

Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.

Este é um argumento formado por duas premissas e uma conclusão.

Os dois primeiros enunciados são as premissas e o último enunciado é a conclusão. Os fatos apresentados nas premissas servem de evidência para a conclusão, isto é, são eles que sustentam a conclusão.

Para que o argumento seja válido, não basta que a conclusão seja verdadeira. É preciso que as premissas e a conclusão estejam relacionadas corretamente. Distinguir os raciocínios corretos dos incorretos é a principal tarefa da lógica.

Os argumentos sempre apresentam uma ou mais premissas e uma conclusão.

Silogismo categórico é um argumento composto por três enunciados, sendo duas premissas e uma conclusão.

Vejamos um exemplo:

Todo molusco é invertebrado. premissa
O caracol é um molusco. premissa
Logo, o caracol é invertebrado. conclusão

Observamos que este argumento tem a mesma forma lógica do primeiro argumento apresentado. Ambos são silogismos categóricos. Ambos são argumentos válidos. Todos os argumentos que apresentarem esta forma lógica serão argumentos válidos.

Todo A é B.
C é A.
Logo, C é B.



Proposições

Tanto as premissas quanto a conclusão de uma argumento são proposições. Proposição é uma frase informativa cujo conteúdo pode ser verdadeiro ou falso. Proposições são enunciados simples compostos de quantificador, termo/sujeito, cópula e termo/predicado.

Vamos observar:




Proposição

Todohomemémortal.
Quantificadortermo/sujeitoCópulatermo/predicado


Levando em conta que:
termo/sujeito = homem
termo/predicado = mortal

Podemos representar esta proposição da seguinte maneira:

Todo S é P.

Vejamos esta outra proposição:

Todo metal é condutor de eletricidade.

Se observamos bem, vemos que esta última proposição pode ser representada da mesma maneira:

Todo S é P.

Concluímos que a lógica não se interessa particularmente pela hombridade de Sócrates ou pelas propriedades dos metais. Não é o conteúdo das proposições que interessa à lógica. A lógica tem grande interesse nos raciocínios e naquilo que torna alguns argumentos válidos e outros inválidos.



Verdade e validade

Já sabemos que argumento é a agem de uma ou mais premissas a uma conclusão. Sabemos também que é preciso que a conclusão derive das premissas. Pois bem, quando a conclusão é uma consequência necessária das premissas, dizemos que o argumento é válido. Quando a conclusão não é uma consequência necessária das premissas, dizemos que o argumento é inválido.

A validade de um argumento, portanto, depende se sua estrutura, depende da maneira como este argumento está organizado. Vejamos o argumento abaixo:

Todos os ziriguiduns são tchutchucas.
Pedrinho é um ziriguidum.
Logo, Pedrinho é um tchutchuca.

Este é um argumento válido. Isto quer dizer que, mesmo não sabendo o que significa ziriguidum ou tchutchuca, sabemos com certeza que, se as duas premissas forem verdadeiras, a conclusão também será verdadeira.

Para você pensar:
Você acha que existe relação entre a validade de um argumento e a verdade das proposições? Por quê?