https://www.campisano.org/wiki/Logic/history?feed=atom 2026-05-13T20:03:56Z Revision history for this page on the wiki MediaWiki 1.43.5 https://www.campisano.org/mediawiki/index.php?title=Logic&diff=1048&oldid=prev 2012-04-01T15:48:27Z

<p>Created page with &quot;= Lógica matemática = == Argumento == Um argumento é uma &#039;&#039;&#039;sequência de proposições&#039;&#039;&#039; na qual uma delas é a &#039;&#039;&#039;&#039;conclusão&#039;&#039;&#039; e as demais são &#039;&#039;&#039;premissas&#039;&#039;&#039;: U...&quot;</p> <p><b>New page</b></p><div>= Lógica matemática =<br /> <br /> <br /> <br /> == Argumento ==<br /> <br /> Um argumento é uma &#039;&#039;&#039;sequência de proposições&#039;&#039;&#039; na qual uma delas é a &#039;&#039;&#039;&#039;conclusão&#039;&#039;&#039; e as demais são &#039;&#039;&#039;premissas&#039;&#039;&#039;:<br /> <br /> Uma &#039;&#039;&#039;proposição&#039;&#039;&#039;&#039; (declaração/afirmação) é uma sentença que pode ser verdadeira ou falsa;<br /> <br /> O objeto da lógica é determinar se a conclusão de um argumento é ou não uma &#039;&#039;&#039;consequência lógica&#039;&#039;&#039; das premissas.<br /> <br /> <br /> <br /> === Validade de um argumento ===<br /> <br /> Em um argumento &#039;&#039;&#039;válido&#039;&#039;&#039;, as premissas são consideradas provas evidentes da verdade da conclusão, caso contrário &#039;&#039;&#039;não é válido&#039;&#039;&#039;.<br /> <br /> Ex:<br /> - Se eu ganhar na Lotaria, sarei rico.<br /> - Eu ganhei na Lotaria.<br /> - Logo, sou rico.<br /> <br /> É válido, a conclusão é uma decorrência lógica das duas premissas.<br /> <br /> Ex:<br /> - Se eu ganhar na Lotaria, sarei rico.<br /> - Eu não ganhei na Lotaria.<br /> - Logo, não sou rico.<br /> <br /> Não é válido, a conclusão não é ma decorrência lógica das duas premissas.<br /> <br /> * A validade de um argumento está direitamente ligada à forma pela qual ele se apresenta, e independe da verdade das premissas:<br /> <br /> verdade ou falsidade são propriedades das proposições;<br /> <br /> validade ou invalidade são propriedades dos argumentos.<br /> <br /> <br /> <br /> === Formas de Argumento ===<br /> <br /> A Lógica formal é o estudo de formas se argumento. É possível representar argumentos informais para uma forma predefinida:<br /> <br /> - Hoje é segunda-feira ou sexta-feira.<br /> - Hoje não é segunda-feira.<br /> - Logo, hoje é sexta-feira.<br /> <br /> A frase acima pode ser representada da seguente forma:<br /> - P ou Q.<br /> - Não é o caso que é P.<br /> - Logo, Q.<br /> <br /> Aonde &#039;&#039;&#039;P&#039;&#039;&#039; representa &#039;&#039;Hoje é segunda-feira&#039;&#039; e &#039;&#039;&#039;Q&#039;&#039;&#039; representa &#039;&#039;Hoje é segunda-feira&#039;&#039;.<br /> <br /> Um argumento pode ser composto por várias sentenças (como &#039;&#039;&#039;P&#039;&#039;&#039; e &#039;&#039;&#039;Q&#039;&#039;&#039;) combinadas através expressões (como &#039;&#039;Não é o caso que&#039;&#039;). Eles são:<br /> <br /> * &#039;&#039;&#039;Negação&#039;&#039;&#039; (&#039;&#039;Não é o caso que&#039;&#039; …)<br /> * &#039;&#039;&#039;Conjunção&#039;&#039;&#039; (… &#039;&#039;e&#039;&#039; …)<br /> * &#039;&#039;&#039;Disjunção&#039;&#039;&#039; (… &#039;&#039;ou&#039;&#039; …)<br /> * &#039;&#039;&#039;Implicação&#039;&#039;&#039; (&#039;&#039;Se&#039;&#039; … &#039;&#039;então&#039;&#039; …)<br /> * &#039;&#039;&#039;Equivalência&#039;&#039;&#039; (&#039;&#039;Se e somente se&#039;&#039; …)<br /> <br /> Essas expressões são chamadas de &#039;&#039;&#039;operadores&#039;&#039;&#039; ou &#039;&#039;&#039;conectivos lógicos&#039;&#039;&#039;.<br /> <br /> <br /> <br /> [[Category:logic]]<br /> [[Category:cefet]]</div>

imported>T1t0