;(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 - Proposições - Universais, particulares, afirmativas, negativas

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

Observe essas frases:
 

O preofessor já chegou?
Detesto fazer prova!
Que dia lindo, hein?
Abra um pouco mais a janela

Qual dessas frases você imagina que possa ser uma proposição?

Se você respondeu que é a última, acertou. Sabe por quê? Apenas a última frase pode ser submetida a uma análise lógica. Eu posso examinar se ela é falsa ou verdadeira. É uma frase propositiva. Ela propõe um conceito. As perguntas e as exclamações não são proposições.

Para construir um argumento, precisamos de proposições. Tanto as premissas quanto a conclusão de um argumento são proposições. Vamos observar um argumento:


Todas as palavras proparoxítonas são palavras acentuadas.(proposição)
Lógica é uma palavra proparoxítona.(proposição)
Logo, lógica é uma palavra acentuada.(proposição)

Nesse argumento, tenho três proposições (as duas primeiras são as premissas e a última é a conclusão). Através das premissas eu chego a uma conclusão. Em outras palavras, as premissas sustentam minha conclusão.

Podemos classificar as proposições. Elas podem ser classificadas quanto à quantidade e quanto à qualidade.

Quanto à quantidade, as proposições podem ser universais ou particulares.
Quanto à qualidade, as proposições podem ser afirmativas ou negativas.

Exemplificando:

Todas as palavras proparoxítonas são palavras acentuadas


 

Esta é uma proposição universal afirmativa, pois afirma que toda a classe das palavras proparoxítonas está incluída na classe das palavras acentuadas. Todo membro da primeira classe será automaticamente membro da segunda. Esta proposição pode ser representada da seguinte forma:




Todo S é P.
(S representa o termo-sujeito e P representa o termo-predicado.)

 

Vamos a um outro exemplo:

Nenhum monossílabo é uma palavra proparoxítona.

Esta é uma proposição universal negativa, pois ela exclui totalmente os membros da primeira classe (os monossílabos) da classe das palavras proparoxítonas.

A representação desta proposição será:

 

Nenhum S é P.

Agora vamos observar uma proposição um pouco diferente:

 

Algumas palavras paroxítonas são acentuadas.

Neste caso, a proposição é particular afirmativa, pois afirma que alguns membros da classe das palavras paroxítonas são também membros da classe das palavras acentuadas. Essa proposição não afirma nem nega que todas as palavras proparoxítonas são acentuadas. Ela não se manifesta a esse respeito.

Esta proposição pode ser representada assim:

Alguns S são P.

Mas quantos membros de uma classe são necessários para caracterizar "alguns"? Costuma-se de dizer que em lógica "alguns" significa "pelo menos um".

Finalmente, temos o caso da seguinte proposição:

Algumas palavras oxítonas não são acentuadas.

Nesse caso, temos uma proposição particular negativa, pois ela declara que alguns elementos de uma classe (as palavras oxítonas) estão excluídos de uma outra classe (as palavras acentuadas).

Pode-se representar essa proposição como:



 

Alguns S não são P.

 

Temos então uma tabela dos tipos de proposição.

Todo S é P.iniversal afirmativa
Nenhum S é P.universal negativa
Alguns S são P.particular afirmativa
Alguns S não são P.particular negativa

Uma proposição é singular quando seu termo-sujeito refere-se a apenas um ser.

Por exemplo,

Sócrates é mortal

 

Classificação das proposições
Para facilitar a classificação das proposições, usamos as letras A, I, E, O.

A = universal afirmativa
I = particular afirmativa
E = universal negativa
O = particular negativa

Esta classificação pode ser facilmente memorizada se lembrarmos das palavras:

AfIrmo ou nEgO

Vamos classificar algumas proposições usando letras:



 

Todos os advogados brilhantes são bons redatores. (tipo A)

Observamos que é uma proposição universal afirmativa.

Outro exemplo:

Nenhum campo da filosofia é estranho ao filósofo. (tipo E)

Neste caso, temos uma proposição universal negativa.

Agora podemos voltar àquela proposição inicial, lembra?

Todas as provas de filosofia são chatas.

Nesse caso, temos uma proposição universal afirmativa. Esse é o tipo de proposição A.

Resta um pequeno detalhe. A proposição é verdadeira ou falsa? Isso você poderá ver em Introdução à Lógica e o Argumento.