http://carol.dimap.ufrn.br/logicwiki/api.php?action=feedcontributions&user=Admin&feedformat=atomLogic Wiki - User contributions [en]2024-03-29T12:00:58ZUser contributionsMediaWiki 1.34.2http://carol.dimap.ufrn.br/logicwiki/index.php?title=Exerc%C3%ADcios_de_Dedu%C3%A7%C3%A3o_Natural&diff=1517Exercícios de Dedução Natural2021-07-23T14:07:54Z<p>Admin: /* Dedução Natural para a Lógica de Primeira Ordem Clássica */</p>
<hr />
<div>==Dedução Natural para a Lógica Proposicional Intuicionista==<br />
=== Derivabilidade de sequentes ===<br />
====<math>\varphi \land \psi \vdash \psi \land \varphi</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=480&end=527&loop=1}}<br />
====<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}<br />
====<math>\varphi \vdash \varphi \land \varphi</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=583&end=636&loop=1}}<br />
====<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=637}}<br />
====<math>\alpha \to (\beta \to \gamma) \vdash \beta \to (\alpha \to \gamma)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=579}}<br />
====<math>\vdash \alpha \to (\beta \to \alpha)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=768}}<br />
====<math>\vdash \alpha \to \alpha</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=888}}<br />
====<math>\alpha \to \beta \vdash \alpha \to (\alpha \to \beta)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=965}}<br />
====<math>\alpha \to (\alpha \to \beta) \vdash \alpha \to \beta</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=1015}}<br />
====<math>\gamma \to \alpha, \gamma \to \beta \vdash \gamma \to (\alpha \land \beta)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=1098}}<br />
====<math>\beta \lor (\alpha \land \beta) \vdash \beta</math>====<br />
: {{#ev:youtube|yUejpYb2NgI|||||start=759}}<br />
====<math>(\alpha \lor \beta) \to \gamma \vdash (\alpha \to \gamma) \land (\beta \to \gamma)</math>====<br />
: {{#ev:youtube|yUejpYb2NgI|||||start=850}}<br />
====<math>\alpha \vdash \neg\neg\alpha</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=463}}<br />
====<math>\beta \to \alpha, \beta \to \neg\alpha \vdash \neg\beta</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=498}}<br />
====<math>\alpha, \neg\alpha \vdash \neg\beta</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=570}}<br />
====<math>\alpha\lor\beta, \neg\alpha\lor\gamma \vdash \beta\lor\gamma</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=596}}<br />
====<math> \alpha\to\beta \vdash \neg\beta\to\neg\alpha</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=741}}<br />
====<math>\neg(\alpha \lor \beta) \dashv\vdash \neg\alpha\land\neg\beta</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=817}}<br />
<br />
===Derivabilidade de regras===<br />
<br />
==== <math>\mathrm{(DNE)}</math> a partir de <math>\mathrm{DN_{int}}</math> + (<math>\mathrm{\bot E_{cls}}</math>) ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=312}}<br />
==== <math>(\mathrm{\bot E_{cls}})</math> a partir de <math>\mathrm{DN_{int}}</math> + <math>\mathrm{(DNE)}</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=402}}<br />
==== <math>(\mathbb{M})</math> ====<br />
: {{#ev:youtube|jdHxUb2koy8|||||start=99}}<br />
==== <math>(\mathbb{R})</math> ====<br />
: {{#ev:youtube|jdHxUb2koy8|||||start=184}}<br />
==== <math>(\mathbb{T})</math> ====<br />
: {{#ev:youtube|jdHxUb2koy8|||||start=226}}<br />
<br />
==Dedução Natural para a Lógica Proposicional Clássica==<br />
<br />
===Derivabilidade de sequentes===<br />
<!-- *''Derivações na forma de árvores rotuladas com fórmulas'' --><br />
<br />
====Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math>====<br />
: {{#ev:youtube|kNyjuCFUzC8}}<!--<br />
-->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.<br />
==== <math>\neg\neg\alpha \vdash \alpha</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=499}}<br />
==== <math>\neg\beta\to\alpha, \neg\beta\to\neg\alpha \vdash \beta</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=545}}<br />
==== <math>\neg\alpha\to\neg\beta \vdash \beta\to\alpha</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=596}}<br />
==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via raciocínio por absurdo ====<br />
: {{#ev:youtube|9BdeXjhyJWs|||||start=45}}<br />
==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via terceiro excluído ====<br />
: {{#ev:youtube|9BdeXjhyJWs|||||start=413}}<br />
<br />
==Dedução Natural para a Lógica de Primeira Ordem Intuicionista==<br />
=== Derivabilidade de sequentes ===<br />
==== <math>(\forall x)(\varphi \to \psi) \vdash (\forall x)\varphi \to (\forall x)\psi</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1040}}<br />
==== <math>(\forall x)Q(x) \vdash (\forall y)Q(y)</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1244}}<br />
==== <math>(\forall x_1)(\forall x_2)R(x_1,x_2) \vdash (\forall x_2)(\forall x_1)R(x_1,x_2)</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1303}}<br />
==== <math>(\forall x) \varphi_1 \land \varphi_2 \dashv\vdash (\forall x) \varphi_1 \land (\forall x)\varphi_2</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1678}}<br />
==== <math>(\exists x)P(x), (\forall x)(\forall y)(P(x) \to Q(y)) \vdash (\forall y) Q(y)</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=810}}<br />
==== <math>(\forall x)A(x), (\exists y)(A(y) \to B(y)), (\forall z)(A(z) \to C(z)) \vdash (\exists w)(B(w) \land C(w))</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1152}}<br />
==== <math>(\exists x)(\varphi_1 \lor \varphi_2) \dashv \vdash (\exists x)\varphi_1 \lor (\exists x)\varphi_2</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1425}}<br />
==== <math>(\exists x)(\forall y) \varphi \vdash (\forall y)(\exists x) \varphi</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1701}}<br />
==== <math>(\forall x)\neg\varphi \vdash \neg(\exists x)\varphi</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1910}}<br />
<br />
==Dedução Natural para a Lógica de Primeira Ordem Clássica==<br />
<br />
=== Derivabilidade de sequentes ===<br />
<br />
==== <math>\neg(\exists x)\neg\varphi \vdash (\forall x)\varphi</math> ====<br />
: {{#ev:youtube|8V6u6BrqJ-M|||||start=188}}<br />
==== <math>\vdash (\exists x)(\forall y)(B(y) \lor \neg B(x))</math> ====<br />
: {{#ev:youtube|8V6u6BrqJ-M|||||start=460}}<br />
<br />
===Derivabilidade de regras===<br />
<br />
====Raciocínio por casos: <math>\Gamma_1, \neg\varphi\vdash\psi; \Gamma_2, \varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \psi</math>====<br />
: {{#ev:youtube|w-f04Idz-6M|||||end=141&loop=1}}<br />
<br />
====Raciocínio por redução ao absurdo: <math>\Gamma_1, \neg\varphi\vdash\neg\psi; \Gamma_2, \neg\varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \varphi</math>====<br />
: {{#ev:youtube|w-f04Idz-6M|||||start=149&loop=1}}<br />
<br />
==== <math>(\approx_{sim}) \Gamma \vdash t_1 \approx t_2 / \Gamma \vdash t_2 \approx t_1</math> ====<br />
: {{#ev:youtube|knltOmL0XEg|||||start=435}}<br />
==== <math>(\approx_{trn}) \Gamma_1 \vdash t_1 \approx t_2; \Gamma_2 \vdash t_2 \approx t_3/ \Gamma_1,\Gamma_2 \vdash t_1 \approx t_3</math> ====<br />
: {{#ev:youtube|knltOmL0XEg|||||start=515}}<br />
<br />
==Para reflexão==<br />
<br />
* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra<!--<br />
--><p><math> (\bot \mathrm{E}_{cls}) \; \Gamma, \neg\varphi \vdash \bot\, / \, \Gamma \vdash \varphi </math></p><!--<br />
--><p>adicionarmos uma regra da forma </p><!--<br />
--><p><math> \Gamma, \neg(\alpha \# \beta) \vdash \bot\, / \, \Gamma \vdash \alpha \# \beta </math></p><!--<br />
--><p>para algum conectivo binário <math>\#</math> da nossa linguagem? </p><br />
<br />
* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra <math> (\bot \mathrm{E}_{cls}) </math> adicionarmos a seguinte regra de ''consequentia mirabilis''?</p><!--<br />
--><p><math> (\neg_{cls}) \; \Gamma, \neg\alpha \vdash \alpha\, / \, \Gamma \vdash \alpha </math></p><!--<br />
--><p>(Será que podemos dizer, neste caso, que se trata de uma regra de introdução ou de eliminação? E quanta diferença isso faz?)<br />
<br />
* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica de Primeira Ordem Intuicionista a regra <math> (\bot \mathrm{E}_{cls}) </math> adicionarmos a regra </p><!--<br />
--><p><math> (DNQ) \; \Gamma \vdash (\forall x)\neg\neg\varphi\, / \, \Gamma \vdash \neg\neg(\forall x)\varphi </math></p><br />
<br />
==Veja também==<br />
<br />
* [[Dedução Natural]]<br />
* [[Estratégias de demonstração]]<br />
* [[Introdução Computacional à Lógica Matemática]]<br />
<br />
==Links externos==<br />
<br />
* [http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]<br />
* [http://pt.wikipedia.org/wiki/Sistema_dedutivo Sistema dedutivo]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Exerc%C3%ADcios_de_Dedu%C3%A7%C3%A3o_Natural&diff=1516Exercícios de Dedução Natural2021-07-23T14:07:16Z<p>Admin: /* Dedução Natural para a Lógica de Primeira Ordem Intuicionista */</p>
<hr />
<div>==Dedução Natural para a Lógica Proposicional Intuicionista==<br />
=== Derivabilidade de sequentes ===<br />
====<math>\varphi \land \psi \vdash \psi \land \varphi</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=480&end=527&loop=1}}<br />
====<math>(\varphi \land \psi) \land \delta \vdash \varphi \land (\psi \land \delta)</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=528&end=582&loop=1}}<br />
====<math>\varphi \vdash \varphi \land \varphi</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=583&end=636&loop=1}}<br />
====<math>\alpha \land \beta, \gamma \land \delta \vdash \gamma \land \beta</math>====<br />
: {{#ev:youtube|moh07B8dv2k|||||start=637}}<br />
====<math>\alpha \to (\beta \to \gamma) \vdash \beta \to (\alpha \to \gamma)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=579}}<br />
====<math>\vdash \alpha \to (\beta \to \alpha)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=768}}<br />
====<math>\vdash \alpha \to \alpha</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=888}}<br />
====<math>\alpha \to \beta \vdash \alpha \to (\alpha \to \beta)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=965}}<br />
====<math>\alpha \to (\alpha \to \beta) \vdash \alpha \to \beta</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=1015}}<br />
====<math>\gamma \to \alpha, \gamma \to \beta \vdash \gamma \to (\alpha \land \beta)</math>====<br />
: {{#ev:youtube|mlEYLd56pMg|||||start=1098}}<br />
====<math>\beta \lor (\alpha \land \beta) \vdash \beta</math>====<br />
: {{#ev:youtube|yUejpYb2NgI|||||start=759}}<br />
====<math>(\alpha \lor \beta) \to \gamma \vdash (\alpha \to \gamma) \land (\beta \to \gamma)</math>====<br />
: {{#ev:youtube|yUejpYb2NgI|||||start=850}}<br />
====<math>\alpha \vdash \neg\neg\alpha</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=463}}<br />
====<math>\beta \to \alpha, \beta \to \neg\alpha \vdash \neg\beta</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=498}}<br />
====<math>\alpha, \neg\alpha \vdash \neg\beta</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=570}}<br />
====<math>\alpha\lor\beta, \neg\alpha\lor\gamma \vdash \beta\lor\gamma</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=596}}<br />
====<math> \alpha\to\beta \vdash \neg\beta\to\neg\alpha</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=741}}<br />
====<math>\neg(\alpha \lor \beta) \dashv\vdash \neg\alpha\land\neg\beta</math>====<br />
: {{#ev:youtube|-Exorelokdo|||||start=817}}<br />
<br />
===Derivabilidade de regras===<br />
<br />
==== <math>\mathrm{(DNE)}</math> a partir de <math>\mathrm{DN_{int}}</math> + (<math>\mathrm{\bot E_{cls}}</math>) ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=312}}<br />
==== <math>(\mathrm{\bot E_{cls}})</math> a partir de <math>\mathrm{DN_{int}}</math> + <math>\mathrm{(DNE)}</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=402}}<br />
==== <math>(\mathbb{M})</math> ====<br />
: {{#ev:youtube|jdHxUb2koy8|||||start=99}}<br />
==== <math>(\mathbb{R})</math> ====<br />
: {{#ev:youtube|jdHxUb2koy8|||||start=184}}<br />
==== <math>(\mathbb{T})</math> ====<br />
: {{#ev:youtube|jdHxUb2koy8|||||start=226}}<br />
<br />
==Dedução Natural para a Lógica Proposicional Clássica==<br />
<br />
===Derivabilidade de sequentes===<br />
<!-- *''Derivações na forma de árvores rotuladas com fórmulas'' --><br />
<br />
====Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math>====<br />
: {{#ev:youtube|kNyjuCFUzC8}}<!--<br />
-->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.<br />
==== <math>\neg\neg\alpha \vdash \alpha</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=499}}<br />
==== <math>\neg\beta\to\alpha, \neg\beta\to\neg\alpha \vdash \beta</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=545}}<br />
==== <math>\neg\alpha\to\neg\beta \vdash \beta\to\alpha</math> ====<br />
: {{#ev:youtube|0RiYJ5EinRE|||||start=596}}<br />
==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via raciocínio por absurdo ====<br />
: {{#ev:youtube|9BdeXjhyJWs|||||start=45}}<br />
==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via terceiro excluído ====<br />
: {{#ev:youtube|9BdeXjhyJWs|||||start=413}}<br />
<br />
==Dedução Natural para a Lógica de Primeira Ordem Intuicionista==<br />
=== Derivabilidade de sequentes ===<br />
==== <math>(\forall x)(\varphi \to \psi) \vdash (\forall x)\varphi \to (\forall x)\psi</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1040}}<br />
==== <math>(\forall x)Q(x) \vdash (\forall y)Q(y)</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1244}}<br />
==== <math>(\forall x_1)(\forall x_2)R(x_1,x_2) \vdash (\forall x_2)(\forall x_1)R(x_1,x_2)</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1303}}<br />
==== <math>(\forall x) \varphi_1 \land \varphi_2 \dashv\vdash (\forall x) \varphi_1 \land (\forall x)\varphi_2</math> ====<br />
: {{#ev:youtube|B7fFRZF_wao|||||start=1678}}<br />
==== <math>(\exists x)P(x), (\forall x)(\forall y)(P(x) \to Q(y)) \vdash (\forall y) Q(y)</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=810}}<br />
==== <math>(\forall x)A(x), (\exists y)(A(y) \to B(y)), (\forall z)(A(z) \to C(z)) \vdash (\exists w)(B(w) \land C(w))</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1152}}<br />
==== <math>(\exists x)(\varphi_1 \lor \varphi_2) \dashv \vdash (\exists x)\varphi_1 \lor (\exists x)\varphi_2</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1425}}<br />
==== <math>(\exists x)(\forall y) \varphi \vdash (\forall y)(\exists x) \varphi</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1701}}<br />
==== <math>(\forall x)\neg\varphi \vdash \neg(\exists x)\varphi</math> ====<br />
: {{#ev:youtube|C37Y-1vqRAY|||||start=1910}}<br />
<br />
==Dedução Natural para a Lógica de Primeira Ordem Clássica==<br />
[AGUARDE!]<br />
<br />
=== Derivabilidade de sequentes ===<br />
<br />
==== <math>\neg(\exists x)\neg\varphi \vdash (\forall x)\varphi</math> ====<br />
: {{#ev:youtube|8V6u6BrqJ-M|||||start=188}}<br />
==== <math>\vdash (\exists x)(\forall y)(B(y) \lor \neg B(x))</math> ====<br />
: {{#ev:youtube|8V6u6BrqJ-M|||||start=460}}<br />
<br />
===Derivabilidade de regras===<br />
<br />
====Raciocínio por casos: <math>\Gamma_1, \neg\varphi\vdash\psi; \Gamma_2, \varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \psi</math>====<br />
: {{#ev:youtube|w-f04Idz-6M|||||end=141&loop=1}}<br />
<br />
====Raciocínio por redução ao absurdo: <math>\Gamma_1, \neg\varphi\vdash\neg\psi; \Gamma_2, \neg\varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \varphi</math>====<br />
: {{#ev:youtube|w-f04Idz-6M|||||start=149&loop=1}}<br />
<br />
==== <math>(\approx_{sim}) \Gamma \vdash t_1 \approx t_2 / \Gamma \vdash t_2 \approx t_1</math> ====<br />
: {{#ev:youtube|knltOmL0XEg|||||start=435}}<br />
==== <math>(\approx_{trn}) \Gamma_1 \vdash t_1 \approx t_2; \Gamma_2 \vdash t_2 \approx t_3/ \Gamma_1,\Gamma_2 \vdash t_1 \approx t_3</math> ====<br />
: {{#ev:youtube|knltOmL0XEg|||||start=515}}<br />
<br />
==Para reflexão==<br />
<br />
* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra<!--<br />
--><p><math> (\bot \mathrm{E}_{cls}) \; \Gamma, \neg\varphi \vdash \bot\, / \, \Gamma \vdash \varphi </math></p><!--<br />
--><p>adicionarmos uma regra da forma </p><!--<br />
--><p><math> \Gamma, \neg(\alpha \# \beta) \vdash \bot\, / \, \Gamma \vdash \alpha \# \beta </math></p><!--<br />
--><p>para algum conectivo binário <math>\#</math> da nossa linguagem? </p><br />
<br />
* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica Intuicionista a regra <math> (\bot \mathrm{E}_{cls}) </math> adicionarmos a seguinte regra de ''consequentia mirabilis''?</p><!--<br />
--><p><math> (\neg_{cls}) \; \Gamma, \neg\alpha \vdash \alpha\, / \, \Gamma \vdash \alpha </math></p><!--<br />
--><p>(Será que podemos dizer, neste caso, que se trata de uma regra de introdução ou de eliminação? E quanta diferença isso faz?)<br />
<br />
* O que ocorre se ao invés de adicionarmos ao sistema de Dedução Natural para a Lógica de Primeira Ordem Intuicionista a regra <math> (\bot \mathrm{E}_{cls}) </math> adicionarmos a regra </p><!--<br />
--><p><math> (DNQ) \; \Gamma \vdash (\forall x)\neg\neg\varphi\, / \, \Gamma \vdash \neg\neg(\forall x)\varphi </math></p><br />
<br />
==Veja também==<br />
<br />
* [[Dedução Natural]]<br />
* [[Estratégias de demonstração]]<br />
* [[Introdução Computacional à Lógica Matemática]]<br />
<br />
==Links externos==<br />
<br />
* [http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]<br />
* [http://pt.wikipedia.org/wiki/Sistema_dedutivo Sistema dedutivo]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica&diff=1515Introdução Computacional à Lógica Matemática2021-07-23T14:05:51Z<p>Admin: </p>
<hr />
<div>* [[Relação de consequência]]<br />
<br />
* [[Lógica proposicional]]<br />
* [[Lógica de primeira ordem]]<br />
<br />
* [[Sintaxe (lógica)]]<br />
* [[Formalismos dedutivos]]<br />
* [[Modelos (lógica)]]<br />
<br />
== Para reflexão ==<br />
<br />
* <br />
<br />
== Veja também ==<br />
<br />
* <br />
<br />
== Links externos ==<br />
<br />
* [https://vitorgreati.me/experiments/logicwiki.html Visualização da estrutura da wiki]<br />
* [https://sites.google.com/site/sequiturquodlibet/courses/laac Lógica Aplicada à Computação]: material de estudos, livro didático, exercícios e exames-tipo</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Main_Page&diff=1514Main Page2021-07-23T14:03:33Z<p>Admin: </p>
<hr />
<div>=Group for Computability, Approximate Reasoning, Ordered structures, and Logics=<br />
<br />
CAROL is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications.<br />
<br />
== Matemática Discreta ==<br />
<br />
* [[ Fundamentos Matemáticos da Computação 1]]<br />
<br />
* [[ Fundamentos Matemáticos da Computação 2]]<br />
<br />
* [[ Fundamentos Matemáticos da Computação 3]]<br />
* [[ Introdução Computacional à Lógica Matemática]]<br />
<br />
<br />
== Ferramentas de Lógica ==<br />
<br />
<br />
* [[ Uma lista de Ferramentas para o Ensino de Lógica]]<br />
<br />
<br />
<br />
== Documentação ==<br />
<br />
* [[Moodle - Documentação]]<br />
* [[ProofWeb - Documentação]]<br />
* [[TryLogic - Documentação]]<br />
<br />
Consult the [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.<br />
<br />
== Getting started ==<br />
* [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting]<br />
* [https://www.mediawiki.org/wiki/Help:Links Help:Links]<br />
* [https://www.mediawiki.org/wiki/Help:VisualEditor/User_guide Help:VisualEditor]<br />
* [https://en.wikipedia.org/wiki/List_of_mathematical_symbols List of mathematical symbols]<br />
* [[Editing tricks]]<br />
* [[Graphs with Mermaid]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Main_Page&diff=1513Main Page2021-06-30T21:05:18Z<p>Admin: Removed redirect to Logic Wiki (LoLITA)</p>
<hr />
<div>=Group for Computability, Approximate Reasoning, Ordered structures, and Logics=<br />
<br />
CAROL is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications.<br />
<br />
== Matemática Discreta ==<br />
<br />
* [[ Fundamentos Matemáticos da Computação 1]]<br />
<br />
* [[ Fundamentos Matemáticos da Computação 2]]<br />
<br />
* [[ Fundamentos Matemáticos da Computação 3]]<br />
<br />
<br />
== Ferramentas de Lógica ==<br />
<br />
<br />
* [[ Uma lista de Ferramentas para o Ensino de Lógica]]<br />
<br />
<br />
<br />
== Documentação ==<br />
<br />
* [[Moodle - Documentação]]<br />
* [[ProofWeb - Documentação]]<br />
* [[TryLogic - Documentação]]<br />
<br />
Consult the [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.<br />
<br />
== Getting started ==<br />
* [https://www.mediawiki.org/wiki/Help:Formatting Help:Formatting]<br />
* [https://www.mediawiki.org/wiki/Help:Links Help:Links]<br />
* [https://www.mediawiki.org/wiki/Help:VisualEditor/User_guide Help:VisualEditor]<br />
* [https://en.wikipedia.org/wiki/List_of_mathematical_symbols List of mathematical symbols]<br />
* [[Editing tricks]]<br />
* [[Graphs with Mermaid]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=945Graphs with Mermaid2020-08-24T00:51:11Z<p>Admin: </p>
<hr />
<div><br />
==Syntax==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
==Result==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Fundamentos_Matem%C3%A1ticos_da_Computa%C3%A7%C3%A3o_1&diff=932Fundamentos Matemáticos da Computação 12020-08-23T04:25:37Z<p>Admin: </p>
<hr />
<div>[[Raciocínio Matemático, Indução e Recursão]]<br />
<br />
[[Contagem]]<br />
<br />
[[Técnicas Avançadas de Contagem]]<br />
<br />
[[Somatório e Produtório]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=931Graphs with Mermaid2020-08-23T02:46:11Z<p>Admin: </p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Template:Category&diff=930Template:Category2020-08-23T02:32:03Z<p>Admin: Created blank page</p>
<hr />
<div></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=929Graphs with Mermaid2020-08-23T02:29:53Z<p>Admin: </p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
{{Category<br />
|Category=Mermaid examples, Graphs<br />
}}</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Defini%C3%A7%C3%A3o_recursiva_da_linguagem_proposicional&diff=926Definição recursiva da linguagem proposicional2020-08-23T02:15:01Z<p>Admin: </p>
<hr />
<div>* Como um conjunto indutivamente definido via [[Has parent page::Sintaxe da Lógica Proposicional]]<br />
[VIDEO]<br />
* Como uma álgebra absolutamente livre<br />
[VIDEO]<br />
<br />
== Para reflexão ==<br />
<br />
* <br />
Conjunto indutivamente definido<br />
== Veja também ==<br />
<br />
* [[Sintaxe da Lógica Proposicional]]<br />
* [[Conjunto indutivamente definido]] <br />
* [[Álgebra absolutamente livre]]<br />
* [[Álgebra dos termos]]<br />
<br />
== Links externos ==<br />
<br />
*</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=925Graphs with Mermaid2020-08-23T02:07:31Z<p>Admin: /* Result */</p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
<br />
[[Category:Mermaid examples]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=924Graphs with Mermaid2020-08-23T02:06:37Z<p>Admin: /* Result */</p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
<br />
<br />
[[Category:Mermaid examples]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=923Graphs with Mermaid2020-08-23T01:48:09Z<p>Admin: /* Result */</p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=922Graphs with Mermaid2020-08-23T01:46:01Z<p>Admin: </p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
<br />
<br />
{{Keywords|Keywords=mermaid;graph}}<br />
<br />
[[Category:Mermaid examples]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=921Graphs with Mermaid2020-08-23T01:35:34Z<p>Admin: </p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
<br />
<pre><br />
{{Keywords|Keywords=mermaid;graph}}<br />
<br />
[[Category:Mermaid examples]]<br />
</pre></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=920Graphs with Mermaid2020-08-23T01:18:31Z<p>Admin: </p>
<hr />
<div><br />
== Syntax ==<br />
<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
</pre><br />
<br />
== Result ==<br />
<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "http://lolita.dimap.ufrn.br/logicwiki/A"<br />
click B "http://lolita.dimap.ufrn.br/logicwiki/B"<br />
click C "http://lolita.dimap.ufrn.br/logicwiki/C"<br />
click D "http://lolita.dimap.ufrn.br/logicwiki/D"<br />
}}<br />
{{Keywords|Keywords=mermaid;graph}}<br />
<br />
[[Category:Mermaid examples]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Graphs_with_Mermaid&diff=919Graphs with Mermaid2020-08-23T01:11:29Z<p>Admin: Created page with " == Syntax == <pre> {{#mermaid:graph TD; A-->B; A-->C; B-->D; C-->D; click A "https://sandbox.semantic-mediawiki.org/wiki/A" click B "https://sandbox.semantic-m..."</p>
<hr />
<div><br />
== Syntax ==<br />
<pre><br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "https://sandbox.semantic-mediawiki.org/wiki/A"<br />
click B "https://sandbox.semantic-mediawiki.org/wiki/B"<br />
click C "https://sandbox.semantic-mediawiki.org/wiki/C"<br />
click D "https://sandbox.semantic-mediawiki.org/wiki/D"<br />
}}<br />
</pre><br />
<br />
== Result ==<br />
{{#mermaid:graph TD;<br />
A-->B;<br />
A-->C;<br />
B-->D;<br />
C-->D;<br />
click A "https://sandbox.semantic-mediawiki.org/wiki/A"<br />
click B "https://sandbox.semantic-mediawiki.org/wiki/B"<br />
click C "https://sandbox.semantic-mediawiki.org/wiki/C"<br />
click D "https://sandbox.semantic-mediawiki.org/wiki/D"<br />
}}<br />
<br />
{{Keywords|Keywords=mermaid;graph}}<br />
<br />
[[Category:Mermaid examples]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Defini%C3%A7%C3%A3o_recursiva_da_linguagem_proposicional&diff=917Definição recursiva da linguagem proposicional2020-08-23T00:56:15Z<p>Admin: </p>
<hr />
<div>* Como um conjunto indutivamente definido<br />
[VIDEO]<br />
* Como uma álgebra absolutamente livre<br />
[VIDEO]<br />
<br />
== Para reflexão ==<br />
<br />
* <br />
Conjunto indutivamente definido<br />
== Veja também ==<br />
<br />
* [[Sintaxe da Lógica Proposicional]]<br />
* [[Conjunto indutivamente definido]] <br />
* [[Álgebra absolutamente livre]]<br />
* [[Álgebra dos termos]]<br />
<br />
== Links externos ==<br />
<br />
*</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Defini%C3%A7%C3%A3o_recursiva_da_linguagem_proposicional&diff=916Definição recursiva da linguagem proposicional2020-08-23T00:49:14Z<p>Admin: </p>
<hr />
<div>* Como um conjunto indutivamente definido<br />
[VIDEO]<br />
* Como uma álgebra absolutamente livre<br />
[VIDEO]<br />
<br />
== Para reflexão ==<br />
<br />
* <br />
Conjunto indutivamente definido<br />
== Veja também ==<br />
<br />
* [[Has parent page::Sintaxe da Lógica Proposicional]]<br />
* [[Has parent page::Conjunto indutivamente definido]] <br />
* [[Has parent page::Álgebra absolutamente livre]]<br />
* [[Has parent page::Álgebra dos termos]]<br />
<br />
== Links externos ==<br />
<br />
*</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=844Editing tricks2020-08-21T21:43:39Z<p>Admin: </p>
<hr />
<div>=== Formatting Editing tricks ===<br />
<br />
* Formatting: https://www.mediawiki.org/wiki/Help:Formatting<br />
<br />
<br />
<br />
=== Video Editing tricks ===<br />
<br />
* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
<pre>[[File:Fuzzy logic temperature te.svg|frame]]</pre><br />
<br />
[[File:Fuzzy logic temperature te.svg|Fuzzy logic temperature te.svg|frame]]<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=843Editing tricks2020-08-21T21:42:54Z<p>Admin: </p>
<hr />
<div>=== Formatting Editing tricks ===<br />
<br />
* Formatting: https://www.mediawiki.org/wiki/Help:Formatting<br />
<br />
<br />
<br />
=== Video Editing tricks ===<br />
<br />
* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
<pre>[[File:Fuzzy logic temperature te.svg|thumb]]</pre><br />
<br />
[[File:Fuzzy logic temperature te.svg|Fuzzy logic temperature te.svg]]<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=842Editing tricks2020-08-21T21:42:31Z<p>Admin: </p>
<hr />
<div>=== Formatting Editing tricks ===<br />
<br />
* Formatting: https://www.mediawiki.org/wiki/Help:Formatting<br />
<br />
<br />
<br />
=== Video Editing tricks ===<br />
<br />
* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
<pre>[[File:Fuzzy logic temperature te.svg|thumb]]</pre><br />
<br />
[[File:Fuzzy logic temperature te.svg|frame|Fuzzy logic temperature te.svg]]<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=841Editing tricks2020-08-21T21:36:24Z<p>Admin: /* Images Editing tricks */</p>
<hr />
<div>=== Formatting Editing tricks ===<br />
<br />
* Formatting: https://www.mediawiki.org/wiki/Help:Formatting<br />
<br />
<br />
<br />
=== Video Editing tricks ===<br />
<br />
* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
<pre>[[File:Fuzzy logic temperature te.svg|thumb]]</pre><br />
<br />
[[File:Fuzzy logic temperature te.svg|Fuzzy logic temperature te.svg]]<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=840Editing tricks2020-08-21T21:35:39Z<p>Admin: </p>
<hr />
<div>=== Formatting Editing tricks ===<br />
<br />
* Formatting: https://www.mediawiki.org/wiki/Help:Formatting<br />
<br />
<br />
<br />
=== Video Editing tricks ===<br />
<br />
* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
<pre>[[File:Fuzzy logic temperature te.svg|thumb]]</pre><br />
<br />
[[File:Fuzzy logic temperature te.svg|thumb]]<br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=839Editing tricks2020-08-21T20:19:20Z<p>Admin: </p>
<hr />
<div>=== Formatting Editing tricks ===<br />
<br />
* Formatting: https://www.mediawiki.org/wiki/Help:Formatting<br />
<br />
<br />
<br />
=== Video Editing tricks ===<br />
<br />
* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=834Editing tricks2020-08-21T18:36:56Z<p>Admin: </p>
<hr />
<div>=== Formatting Editing tricks ===<br />
<br />
* Formatting: https://www.mediawiki.org/wiki/Help:Formatting<br />
<br />
<br />
=== Video Editing tricks ===<br />
<br />
* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=File:Negate-conditional-equivalent-with-truth-table.png&diff=833File:Negate-conditional-equivalent-with-truth-table.png2020-08-21T18:19:13Z<p>Admin: </p>
<hr />
<div>Negate conditional equivalent with truth-table</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=832Editing tricks2020-08-21T18:15:39Z<p>Admin: </p>
<hr />
<div>* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the url args (URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the url args. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<br />
* To display the video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
<br />
* Another standard tag for YouTube is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or YouTube Playlist, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=831Editing tricks2020-08-21T18:12:24Z<p>Admin: /* Images Editing tricks */</p>
<hr />
<div>* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* To display the same video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
* Another standart tag is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or youtubeplaylist - Playlists, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<pre>[[File:Faltre.jpeg|frame|20px]]</pre><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=830Editing tricks2020-08-21T18:11:59Z<p>Admin: </p>
<hr />
<div>* Display a YouTube video: <pre>{{#ev:youtube|r7gLlIv4ito}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* To display the same video as a right aligned large thumbnail with a description: <pre>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</pre><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. <pre>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</pre><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
* Another standart tag is: <pre><youtube width="200" height="120">r7gLlIv4ito</youtube></pre><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or youtubeplaylist - Playlists, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<code>[[File:Faltre.jpeg|frame|20px]]</code><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <pre><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></pre><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=829Editing tricks2020-08-21T18:09:29Z<p>Admin: </p>
<hr />
<div>* Display a YouTube video: <code><pre>{{#ev:youtube|r7gLlIv4ito}}</pre></code><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* To display the same video as a right aligned large thumbnail with a description: <code>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</code><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. <code>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</code><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
* Another standart tag is: <code><youtube width="200" height="120">r7gLlIv4ito</youtube></code><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or youtubeplaylist - Playlists, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<code>[[File:Faltre.jpeg|frame|20px]]</code><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <code><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></code><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=828Editing tricks2020-08-21T18:08:54Z<p>Admin: </p>
<hr />
<div>* Display a YouTube video: <code>{{#ev:youtube|r7gLlIv4ito}}</code><br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* To display the same video as a right aligned large thumbnail with a description: <code>{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}</code><br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. <code>{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}</code><br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
* Another standart tag is: <code><youtube width="200" height="120">r7gLlIv4ito</youtube></code><br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
<br />
* For more setting on Video tags for Vimeo, soundcloud, TED Talks, or youtubeplaylist - Playlists, check: <br />
<br />
https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
<br />
<br />
<br />
<br />
=== Images Editing tricks ===<br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
<code>[[File:Faltre.jpeg|frame|20px]]</code><br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <code><math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></code><br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=827Editing tricks2020-08-21T18:01:59Z<p>Admin: </p>
<hr />
<div>* Display a YouTube video: <br />
<br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
* To display the same video as a right aligned large thumbnail with a description:<br />
<br />
{{#ev:youtube|r7gLlIv4ito|250|right|Disney|frame}}<br />
<br />
* For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. <br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
* To display a image, upload the file, and insert the tag:<br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
* For more setting check: https://gitlab.com/hydrawiki/extensions/EmbedVideo<br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=826Editing tricks2020-08-21T17:57:30Z<p>Admin: </p>
<hr />
<div><br />
{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
To display the same video as a right aligned large thumbnail with a description:<br />
<br />
{{#ev:youtube|r7gLlIv4ito|200|right|Disney|frame}}<br />
<br />
For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. Please note that not all video services support extra URL arguments or may have different keys for their URL arguments.<br />
<br />
<br />
<br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube><br />
<br />
<br />
=== Logic Editing tricks ===<br />
<br />
* Formulas with Unicode: (α → β) → α<br />
<br />
* Formulas with LaTeX tags: <math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=825Editing tricks2020-08-21T17:55:40Z<p>Admin: </p>
<hr />
<div>{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
To display the same video as a right aligned large thumbnail with a description:<br />
<br />
{{#ev:youtube|r7gLlIv4ito|100|right|Disney|frame}}<br />
<br />
For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. Please note that not all video services support extra URL arguments or may have different keys for their URL arguments.<br />
<br />
(α → β) → α<br />
<br />
<math> \forall x \exists y P(x,y) \nVdash \exists y \forall x P(x,y) </math><br />
<br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=824Editing tricks2020-08-21T17:53:23Z<p>Admin: </p>
<hr />
<div>{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
To display the same video as a right aligned large thumbnail with a description:<br />
<br />
{{#ev:youtube|r7gLlIv4ito|1000|right|Disney|frame}}<br />
<br />
For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. Please note that not all video services support extra URL arguments or may have different keys for their URL arguments.<br />
<br />
(α → β) → α<br />
<br />
<br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Editing_tricks&diff=821Editing tricks2020-08-21T05:31:12Z<p>Admin: </p>
<hr />
<div>{{#ev:youtube|r7gLlIv4ito}}<br />
<br />
To display the same video as a right aligned large thumbnail with a description:<br />
<br />
{{#ev:youtube|r7gLlIv4ito|1000|right|Disney|frame}}<br />
<br />
For YouTube to have the video start at a specific time code utilize the urlargs(URL arguments) parameter. Take the rest of the URL arguments from the custom URL and place them into the urlargs. Please note that not all video services support extra URL arguments or may have different keys for their URL arguments.<br />
<br />
[[File:Faltre.jpeg|frame|20px]]<br />
<br />
{{#ev:youtube|https://www.youtube.com/watch?v=r7gLlIv4ito|||||start=76}}<br />
<br />
<youtube width="200" height="120">r7gLlIv4ito</youtube></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=File:Falsetrue.jpeg&diff=802File:Falsetrue.jpeg2020-08-20T03:26:59Z<p>Admin: </p>
<hr />
<div></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Cria%C3%A7%C3%A3o_de_Curso&diff=801Criação de Curso2020-08-20T03:25:02Z<p>Admin: </p>
<hr />
<div><br />
<br />
Criar um curso é bem simples: basta que se encontre o menu "Configurações" - ao lado esquerdo, abaixo do menu "Navegação". Então, na aba "Administração do site", clique no item "Cursos": aparecerão opções de configuração e de adição/modificação de cursos. Clique em "Acrescentar/modificar cursos".<br />
<br />
[[file:Criacao-de-curso_01.jpg|1040px]]<br />
<br />
Após o segundo clique, abrirá uma página de criação/edição de curso. Nesta página, os cursos são organizados por tipo, mostrados na tabela como "categorias de cursos". Mas como o objetivo é criar um curso, e não modificar um já existente, basta clicar no botão correspondente, que está fora da tabela.<br />
<br />
[[file:Criacao-de-curso_02.jpg|1040px]]<br />
<br />
Após clicar no botão para criar um curso, abrirá uma outra página, esta sendo para configuração do curso que será criado.<br />
<br />
Basicamente, só é preciso preencher os campos obrigatórios para criar, de fato, um curso. Esses campos obrigatórios são: o nome do curso (não existe um curso sem uma identificação), e um "nome breve do curso", que é nada mais do que uma abreviação, ou um código,para o nome do curso - como LIBRAS é uma abreviação para Língua Brasileira de Sinais.<br />
<br />
Apesar de só serem necessários os campos obrigatórios, é importante que se configure ao menos o formato do curso, que indica como o curso será organizado. No formato de tópicos, por exemplo, o curso será mostrado em, obviamente, tópicos, o que ajuda a ter um melhor controle de como o curso será organizado.<br />
<br />
Outro ponto importante é a configuração de grupos. A configuração controla a visibilidade dos grupos em relação aos outros grupos. Na "modalidade grupo", define-se como os grupos ficam visíveis uns aos outros: nenhum grupo - todos se vêem, grupos separados - o grupo vê somente as atividades de seu grupo, grupos visíveis - os membros de um grupo podem ver os outros grupos. No campo "forçar modalidade grupo", se a opção for sim, as atividades em grupos são forçadas a ter a mesma configuração de grupos do curso, e em caso contrário, as atividades podem ser configuradas de uma forma diferente do curso.<br />
<br />
Na configuração de disponibilidade, escolhemos se o curso aparece ou não na página de cursos.<br />
<br />
<br />
[[file:Criacao-de-curso_03.png|1040px]]<br />
<br />
<br />
Ao fim da configuração, basta clicar em "salvar mudanças", e então o curso será criado! :-)<br />
<br />
[[file:Criacao-de-curso_04.png|1040px]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Ferramenta_Externa_(IMS_LTI)&diff=148Ferramenta Externa (IMS LTI)2013-06-01T20:28:37Z<p>Admin: </p>
<hr />
<div><br />
O processo de adição de uma ferramenta externa começa pela ativação do modo de edição - clique no botão superior direito da tela.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-1.png|640px]]<br />
|}<br />
<br />
Com o modo de edição ativo, clicamos em "Adicionar uma atividade ou recurso", selecionamos a opção "Ferramenta Externa" e então clicamos em "Acrescentar".<br />
<br />
<br />
Depois disso, aparece uma página de configuração da ferramenta. Primeiro, clique em "Mostrar avançado", sob o menu "Geral" e somente então configure a ferramenta.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-2.png|640px]]<br />
|}<br />
<br />
Na configuração avançada, temos alguns aspectos importantes a serem considerados:<br />
<br />
* 1. '''Nome''': toda atividade precisa de um nome de identificação.<br />
* 2. '''Lançamento de URL''': precisamos de um endereço para poder carregar a ferramenta.<br />
* 3. '''Lançamento do Container''': no campo "Launch container" é que se define como a ferramenta aparece quando se clica no link da atividade.<br />
* 4. '''Chave do consumidor (''Consumer Key'')''': funciona como um login comum do Moodle para acesso à ferramenta. Sendo assim, é necessário definir a consumer key do Moodle para a ferramenta, se esta não estiver pré-configurada.<br />
* 5. '''Segredo compartilhado (''Shared Secret'')''': assim como a consumer key funciona como um login, o Shared Secret funciona como uma senha comum do Moodle para acesso à ferramenta. Se a ferramenta não for pré-configurada de forma que ela autentique requisições do Moodle automaticamente, é necessário informar o shared secret.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-3.png|640px]]<br />
|}<br />
<br />
Depois de configurar a ferramenta, basta mandar salvar.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-4.png|640px]]<br />
|}</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Ferramenta_Externa_(IMS_LTI)&diff=147Ferramenta Externa (IMS LTI)2013-06-01T20:26:18Z<p>Admin: </p>
<hr />
<div><br />
O processo de adição de uma ferramenta externa começa pela ativação do modo de edição - clique no botão superior direito da tela.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-1.png|1040px]]<br />
|}<br />
<br />
Com o modo de edição ativo, clicamos em "Adicionar uma atividade ou recurso", selecionamos a opção "Ferramenta Externa" e então clicamos em "Acrescentar".<br />
<br />
<br />
Depois disso, aparece uma página de configuração da ferramenta. Primeiro, clique em "Mostrar avançado", sob o menu "Geral" e somente então configure a ferramenta.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-2.png|1040px]]<br />
|}<br />
<br />
Na configuração avançada, temos alguns aspectos importantes a serem considerados:<br />
<br />
* 1. '''Nome''': toda atividade precisa de um nome de identificação.<br />
* 2. '''Lançamento de URL''': precisamos de um endereço para poder carregar a ferramenta.<br />
* 3. '''Lançamento do Container''': no campo "Launch container" é que se define como a ferramenta aparece quando se clica no link da atividade.<br />
* 4. '''Chave do consumidor (''Consumer Key'')''': funciona como um login comum do Moodle para acesso à ferramenta. Sendo assim, é necessário definir a consumer key do Moodle para a ferramenta, se esta não estiver pré-configurada.<br />
* 5. '''Segredo compartilhado (''Shared Secret'')''': assim como a consumer key funciona como um login, o Shared Secret funciona como uma senha comum do Moodle para acesso à ferramenta. Se a ferramenta não for pré-configurada de forma que ela autentique requisições do Moodle automaticamente, é necessário informar o shared secret.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-3.png|1040px]]<br />
|}<br />
<br />
Depois de configurar a ferramenta, basta mandar salvar.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-4.png|1040px]]<br />
|}</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Ferramenta_Externa_(IMS_LTI)&diff=146Ferramenta Externa (IMS LTI)2013-06-01T20:25:37Z<p>Admin: </p>
<hr />
<div><br />
O processo de adição de uma ferramenta externa começa pela ativação do modo de edição - clique no botão superior direito da tela.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-1.png|1040px]]<br />
}<br />
<br />
Com o modo de edição ativo, clicamos em "Adicionar uma atividade ou recurso", selecionamos a opção "Ferramenta Externa" e então clicamos em "Acrescentar".<br />
<br />
<br />
Depois disso, aparece uma página de configuração da ferramenta. Primeiro, clique em "Mostrar avançado", sob o menu "Geral" e somente então configure a ferramenta.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-2.png|1040px]]<br />
}<br />
<br />
Na configuração avançada, temos alguns aspectos importantes a serem considerados:<br />
<br />
* 1. '''Nome''': toda atividade precisa de um nome de identificação.<br />
* 2. '''Lançamento de URL''': precisamos de um endereço para poder carregar a ferramenta.<br />
* 3. '''Lançamento do Container''': no campo "Launch container" é que se define como a ferramenta aparece quando se clica no link da atividade.<br />
* 4. '''Chave do consumidor (''Consumer Key'')''': funciona como um login comum do Moodle para acesso à ferramenta. Sendo assim, é necessário definir a consumer key do Moodle para a ferramenta, se esta não estiver pré-configurada.<br />
* 5. '''Segredo compartilhado (''Shared Secret'')''': assim como a consumer key funciona como um login, o Shared Secret funciona como uma senha comum do Moodle para acesso à ferramenta. Se a ferramenta não for pré-configurada de forma que ela autentique requisições do Moodle automaticamente, é necessário informar o shared secret.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-3.png|1040px]]<br />
}<br />
<br />
Depois de configurar a ferramenta, basta mandar salvar.<br />
<br />
{| border="1"<br />
|[[File:ferramenta-externa-4.png|1040px]]<br />
}</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Ferramenta_Externa_(IMS_LTI)&diff=145Ferramenta Externa (IMS LTI)2013-06-01T20:23:41Z<p>Admin: </p>
<hr />
<div><br />
O processo de adição de uma ferramenta externa começa pela ativação do modo de edição - clique no botão superior direito da tela.<br />
<br />
[[File:ferramenta-externa-1.png|400px]]<br />
<br />
<br />
Com o modo de edição ativo, clicamos em "Adicionar uma atividade ou recurso", selecionamos a opção "Ferramenta Externa" e então clicamos em "Acrescentar".<br />
<br />
<br />
Depois disso, aparece uma página de configuração da ferramenta. Primeiro, clique em "Mostrar avançado", sob o menu "Geral" e somente então configure a ferramenta.<br />
<br />
[[File:ferramenta-externa-2.png|400px]]<br />
<br />
<br />
Na configuração avançada, temos alguns aspectos importantes a serem considerados:<br />
<br />
* 1. '''Nome''': toda atividade precisa de um nome de identificação.<br />
* 2. '''Lançamento de URL''': precisamos de um endereço para poder carregar a ferramenta.<br />
* 3. '''Lançamento do Container''': no campo "Launch container" é que se define como a ferramenta aparece quando se clica no link da atividade.<br />
* 4. '''Chave do consumidor (''Consumer Key'')''': funciona como um login comum do Moodle para acesso à ferramenta. Sendo assim, é necessário definir a consumer key do Moodle para a ferramenta, se esta não estiver pré-configurada.<br />
* 5. '''Segredo compartilhado (''Shared Secret'')''': assim como a consumer key funciona como um login, o Shared Secret funciona como uma senha comum do Moodle para acesso à ferramenta. Se a ferramenta não for pré-configurada de forma que ela autentique requisições do Moodle automaticamente, é necessário informar o shared secret.<br />
<br />
[[File:ferramenta-externa-3.png|400px]]<br />
<br />
Depois de configurar a ferramenta, basta mandar salvar.<br />
<br />
[[File:ferramenta-externa-4.png|400px]]</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=File:Ferramenta-externa-2.png&diff=143File:Ferramenta-externa-2.png2013-06-01T20:22:52Z<p>Admin: MsUpload</p>
<hr />
<div>MsUpload</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=File:Ferramenta-externa-1.png&diff=144File:Ferramenta-externa-1.png2013-06-01T20:22:52Z<p>Admin: MsUpload</p>
<hr />
<div>MsUpload</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=File:Ferramenta-externa-3.png&diff=142File:Ferramenta-externa-3.png2013-06-01T20:22:51Z<p>Admin: MsUpload</p>
<hr />
<div>MsUpload</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=File:Ferramenta-externa-4.png&diff=141File:Ferramenta-externa-4.png2013-06-01T20:22:50Z<p>Admin: MsUpload</p>
<hr />
<div>MsUpload</div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Uma_lista_de_Ferramentas_para_o_Ensino_de_L%C3%B3gica&diff=139Uma lista de Ferramentas para o Ensino de Lógica2013-05-28T00:20:55Z<p>Admin: </p>
<hr />
<div><br />
<br />
<br />
Listamos aqui uma seleção de softwares para o Ensino de Lógica com suas respectivas descrições.<br />
<br />
Além de nossa lista, há uma lista mantida pelo grupo da Association for Symbolic Logic<ref name="asl"/> e também a lista de Freek Wiedijk<ref name="wiedijk"/> com 300 ferramentas computacionais de aplicações e ensino de Lógica.<br />
<br />
<br />
<br />
<br />
== Akka ==<br />
<br />
<br />
Criador e Editor de Modelos de Kripke. Foi desenvolvido em Java. [http://staff.science.uva.nl/~lhendrik/AkkaStart.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Alfie ==<br />
<br />
É um programa editor de demonstrações em lógica proposicional. Tem a vantagem de apresentar a demonstração tal como um programa em Haskell. [http://www.cs.chalmers.se/~sydow/alfie/index.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -.<br />
<br />
Problemas: -<br />
<br />
== AproS ==<br />
<br />
Um projeto que consiste em quatro sistemas integrados um mecanismo de busca de demonstrações Proof Generator, Proof Tutor, Proof Lab e curso web Logic & Proofs. É desenvolvido em Java Web Start. [http://www.phil.cmu.edu/projects/apros/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== ASA-CalcPro ==<br />
<br />
<br />
É um ambiente de suporte ao aluno para o ensino-aprendizagem de cálculo proposicional. [http://www.asacalcpro.com.br/GiacomoN/index.htm]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
== Bertrand ==<br />
<br />
<br />
Symbolic Logic Problem-Solving Software: Resolve conjuntos proposições de primeira ordem no que diz respeito a consistência, validade e equivalência. Classifica verdades lógicas e falsidades lógicas, e constrói tabelas de verdade. [http://www.uwosh.edu/faculty_staff/herzberg/Bertrand.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== BOP ==<br />
<br />
<br />
Ferramenta educativa desenvolvida em Java para demonstrações à la Fitch da Delft university. [http://dutiih.twi.tudelft.nl/~sicco/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Computational Aristotelian Term Logic ==<br />
<br />
<br />
Site dedicado aos aspectos formais da lógica aristotélica tradicional. Desenvolvido em PHP. [http://logic.glashoff.net/aristotelianlogic/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Coq ==<br />
<br />
<br />
<br />
É um assistente de demonstrações formais, permite definir funções ou predicados, estabelecer teoremas matemáticos e especificações de softwares, desenvolver demonstrações formais interativamente e verificar estas demonstrações a partir de uma teoria formal. [http://pauillac.inria.fr/coq/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Expression Evaluator Page ==<br />
<br />
<br />
Analisador de expressões booleanas, com quantificadores e predicados. É um programa em CGI escrito em Perl. [http://www.cc.utah.edu/~nahaj/logic/evaluate/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Genie ==<br />
<br />
<br />
<br />
É um ambiente de desenvolvimento para construção de modelos gráficos de decisões teóricas. [http://www2.sis.pitt.edu/~genie/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: 1999.<br />
<br />
Problemas: Desatualizado.<br />
<br />
<br />
<br />
== Introdutory Logic Animations ==<br />
<br />
<br />
<br />
Iniciativa idealizada e desenvolvida em 1999 por Jan Jaspars, contém programas em JavaScript para aprendizado interativo de lógica matemática básica. Implementa [http://staff.science.uva.nl/~jaspars/animations/] aspectos como <br />
<br />
* Lógica proposicional e de primeira ordem: constrói modelos, contra-modelos, tabelas de verdade, avalia fórmulas e encontra instâncias para variáveis livres; <br />
<br />
* Lógica Modal: Calcula mundos dado um modelo e constrói mundos possíveis;<br />
<br />
* Lógica Dinâmica: Calcula a transação de uma expressão regular dada;<br />
<br />
* Simulação Máquinas de Turing.<br />
<br />
<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 1999.<br />
<br />
Problemas: Desatualizado.<br />
<br />
<br />
<br />
== Jape - Just Another Proof Editor ==<br />
<br />
<br />
<br />
É um sistema desktop para prática de demonstrações de dedução natural. Bastante interessante e flexível que possibilita definir novas formalizações lógicas. [http://www.cs.ox.ac.uk/people/bernard.sufrin/jape.html]<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 2012.<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Logic in Action ==<br />
<br />
<br />
Trata-se da continuidade da iniciativa do projeto \ep{Introdutory Logic Animations de Jan Jaspars para o ensino de Lógica em cursos introdutórios e intermediários. O projeto disponibiliza materiais de aula, slides em inglês e espanhol, e programas interativos para ensinar Lógica Proposicional, Raciocínio Silogístico, Lógica de Primeira Ordem, Lógica Epistêmica, Lógica Dinâmica, Jogos Lógicos, Testes de Validade, Demonstrações e Método de Resolução. [http://www.logicinaction.org/]<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 2013.<br />
<br />
Problemas: Programas não funcionam, estão com endereços quebrados. <br />
<br />
<br />
<br />
== LoTREC ==<br />
<br />
<br />
Trata-se de uma ferramenta para a demonstração através do método de Tableau para Lógica de $1ª$ Ordem e Lógica Modal, implementada em Java e executável via Java Web Start. [http://www.irit.fr/Lotrec/]<br />
<br />
Avaliação: [Muito bom]<br />
<br />
Última atualização: 2013.<br />
<br />
Problemas: -<br />
<br />
== Modal Logic Playground ==<br />
<br />
<br />
Trata-se de um avaliador de fórmulas e de relações de acessibilidade para a Lógica Modal Proposicional. Foi desenvolvido através da biblioteca JavaScript D3<ref group="modal" name="d3"/>, MathJax<ref group="modal" name="mj"/> e o Twitter Bootstrap<ref group="modal" name="tb"/>. A ferramenta possui código livre disponível em [https://github.com/rkirsling/modallogic]. [http://rkirsling.github.io/modallogic/]<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 2013<br />
<br />
<references group="modal"><br />
<ref name="d3"><br />
Uma biblioteca JavaScript para manipulação de documentos a partir de seus dados. Disponível em [http://d3js.org/].<br />
</ref><br />
<ref name="mj"><br />
Uma biblioteca JavaScript para visualização de notações matemáticas. Disponível em [http://www.mathjax.org/].<br />
</ref><br />
<ref name="tb"><br />
Uma framework para desenvolvimento de interfaces web. Disponível em [http://twitter.github.io/bootstrap/].<br />
</ref><br />
</references><br />
<br />
== Tarski's World, Fitch & Boole ==<br />
<br />
<br />
São disponibilizados junto com o livro ''Language, Proof and Logic'', compõem três programas desktop que implementam diferentes aspectos da lógica, a saber, Modelos Semânticos, demonstrações formais \ep{à la Fitch e Tabelas de Verdade. [http://ggww2.stanford.edu/GUS/lpl/]<br />
<br />
* '''Tarski's World''': ensina as bases da linguagem de primeira ordem e sua semântica;<br />
<br />
* '''Fitch''': um ambiente de assistência e verificação de dedução natural.<br />
<br />
* '''Boole''': um programa que facilita a construção e verificação de tabelas de verdade relacionando com suas principais noções de tautologia, consequência e equivalência.<br />
<br />
<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Pandora ==<br />
<br />
<br />
(Proof Assistant for Natural Deduction using Organised Rectangular Areas): é uma ferramenta de aprendizado e suporte para a construção de demonstrações em dedução natural. Está disponível através de Java Applet's. [http://www.doc.ic.ac.uk/pandora/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Plato ==<br />
<br />
É uma ferramenta para a construção de demonstrações em linguagens formais de cálculo sentencial, cálculo de predicados e teoria dos conjuntos [http://www.utexas.edu/courses/plato/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
== Possible World Creation ==<br />
<br />
<br />
Analisa fórmulas modais a partir de um modelo de Kripke construído pelo usuário. [http://staff.science.uva.nl/~jaspars/lvi98/Week3/modal.html]<br />
<br />
<br />
== ProofWeb ==<br />
<br />
<br />
É um sistema tanto para ensino de lógica e assistência de demonstrações na Web. É desenvolvido em PHP e serve como comunicação entre uma interface Web e o demonstrador de Teoremas Coq que funciona no servidor. [http://proofweb.cs.ru.nl/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== The Bertie & Twootie ==<br />
<br />
<br />
É um verificador de demonstrações útil para busca de estratégias de demonstrações. E um verificador da correção de tableaux semântico. [http://selfpace.uconn.edu/BertieTwootie/software.htm]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== The Daemon Proof Checker ==<br />
<br />
<br />
Um verificador de demonstrações e de contramodelos. [http://logic.tamu.edu/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Theorem Proving System ==<br />
<br />
<br />
É um sistema educacional demonstrador de teoremas desenvolvido em Common Lisp. [http://gtps.math.cmu.edu/tps.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Truth Table Constructor ==<br />
<br />
<br />
<br />
É um aplicação que constroí tabelas de verdade para lógica proposicional. Desenvolvido em Java Applet's. [http://www.brian-borowski.com/Software/Truth/]<br />
<br />
<br />
<br />
== Tableau3 ==<br />
<br />
<br />
Construtor de Tableaux desenvolvido em Java Applet's. [http://logic.philosophy.ox.ac.uk/tableau3/install.htm]<br />
<br />
<br />
Avaliação:[Regular]<br />
<br />
Última atualização: 2005.<br />
<br />
Problemas: Desatualizados. Aplicações Desktop.<br />
<br />
<br />
<br />
<br />
== Summa Logicae XXI ==<br />
<br />
<br />
Coletânea de diversos softwares relacionados com o ensino de lógica desenvolvidos em Java: DiagVenn1.0: Diagramas para lógica de predicados monádicos. MAFIA: Constrói tableaux proposicionais. Modelos de Kripke: Analisa fórmulas modais em modelos de Kripke definidos pelo usuário e verifica as propriedades de acessabilidade.Diagramas de Peirce: Permite a realização de um sistema para representação de gráficos. Possibilita o desenvolvimento em um sistema de gráficos de Peirce. Tradutor de lógicas: Ferramenta que proporciona um simulador gráfico de um tradutor de fórmulas em lógica modal para lógicas multivaloradas. [http://logicae.usal.es/mambo/index.php?option=com_summalogicaexxi&menu_task=Software&task=no_task&cmd=listar]<br />
<br />
==References==<br />
<br />
<references><br />
<ref name=asl>DITMARSCH, H. van. Logic courseware. 2010. A Comprehensive list of Tools for doing Logic. Association for Symbolic Logic. Disponível em: [http://www.ucalgary.ca/aslcle/logic-courseware/]. </ref><br />
<ref name=wiedijk>WIEDIJK, F. Digital Math by Categories with Samples. 2007. A compiled list of 300 Tools sorted by implementation, interaction, supported logic and size effort. Disponível em: [http://www.cs.ru.nl/~freek/digimath/bycategory.html].</ref><br />
</references></div>Adminhttp://carol.dimap.ufrn.br/logicwiki/index.php?title=Uma_lista_de_Ferramentas_para_o_Ensino_de_L%C3%B3gica&diff=138Uma lista de Ferramentas para o Ensino de Lógica2013-05-28T00:18:15Z<p>Admin: /* Modal Logic Playground */</p>
<hr />
<div><br />
<br />
<br />
Listamos aqui uma seleção de softwares para o Ensino de Lógica com suas respectivas descrições.<br />
<br />
Além de nossa lista, há uma lista mantida pelo grupo da Association for Symbolic Logic<ref name="asl"/> e também a lista de Freek Wiedijk<ref name="wiedijk"/> com 300 ferramentas computacionais de aplicações e ensino de Lógica.<br />
<br />
<br />
<br />
<br />
== Akka ==<br />
<br />
<br />
Criador e Editor de Modelos de Kripke. Foi desenvolvido em Java. [http://staff.science.uva.nl/~lhendrik/AkkaStart.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Alfie ==<br />
<br />
É um programa editor de demonstrações em lógica proposicional. Tem a vantagem de apresentar a demonstração tal como um programa em Haskell. [http://www.cs.chalmers.se/~sydow/alfie/index.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -.<br />
<br />
Problemas: -<br />
<br />
== AproS ==<br />
<br />
Um projeto que consiste em quatro sistemas integrados um mecanismo de busca de demonstrações Proof Generator, Proof Tutor, Proof Lab e curso web Logic & Proofs. É desenvolvido em Java Web Start. [http://www.phil.cmu.edu/projects/apros/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== ASA-CalcPro ==<br />
<br />
<br />
É um ambiente de suporte ao aluno para o ensino-aprendizagem de cálculo proposicional. [http://www.asacalcpro.com.br/GiacomoN/index.htm]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
== Bertrand ==<br />
<br />
<br />
Symbolic Logic Problem-Solving Software: Resolve conjuntos proposições de primeira ordem no que diz respeito a consistência, validade e equivalência. Classifica verdades lógicas e falsidades lógicas, e constrói tabelas de verdade. [http://www.uwosh.edu/faculty_staff/herzberg/Bertrand.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== BOP ==<br />
<br />
<br />
Ferramenta educativa desenvolvida em Java para demonstrações à la Fitch da Delft university. [http://dutiih.twi.tudelft.nl/~sicco/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Computational Aristotelian Term Logic ==<br />
<br />
<br />
Site dedicado aos aspectos formais da lógica aristotélica tradicional. Desenvolvido em PHP. [http://logic.glashoff.net/aristotelianlogic/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Coq ==<br />
<br />
<br />
<br />
É um assistente de demonstrações formais, permite definir funções ou predicados, estabelecer teoremas matemáticos e especificações de softwares, desenvolver demonstrações formais interativamente e verificar estas demonstrações a partir de uma teoria formal. [http://pauillac.inria.fr/coq/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Expression Evaluator Page ==<br />
<br />
<br />
Analisador de expressões booleanas, com quantificadores e predicados. É um programa em CGI escrito em Perl. [http://www.cc.utah.edu/~nahaj/logic/evaluate/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Genie ==<br />
<br />
<br />
<br />
É um ambiente de desenvolvimento para construção de modelos gráficos de decisões teóricas. [http://www2.sis.pitt.edu/~genie/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: 1999.<br />
<br />
Problemas: Desatualizado.<br />
<br />
<br />
<br />
== Introdutory Logic Animations ==<br />
<br />
<br />
<br />
Iniciativa idealizada e desenvolvida em 1999 por Jan Jaspars, contém programas em JavaScript para aprendizado interativo de lógica matemática básica. Implementa [http://staff.science.uva.nl/~jaspars/animations/] aspectos como <br />
<br />
* Lógica proposicional e de primeira ordem: constrói modelos, contra-modelos, tabelas de verdade, avalia fórmulas e encontra instâncias para variáveis livres; <br />
<br />
* Lógica Modal: Calcula mundos dado um modelo e constrói mundos possíveis;<br />
<br />
* Lógica Dinâmica: Calcula a transação de uma expressão regular dada;<br />
<br />
* Simulação Máquinas de Turing.<br />
<br />
<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 1999.<br />
<br />
Problemas: Desatualizado.<br />
<br />
<br />
<br />
== Jape - Just Another Proof Editor ==<br />
<br />
<br />
<br />
É um sistema desktop para prática de demonstrações de dedução natural. Bastante interessante e flexível que possibilita definir novas formalizações lógicas. [http://www.cs.ox.ac.uk/people/bernard.sufrin/jape.html]<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 2012.<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== Logic in Action ==<br />
<br />
<br />
Trata-se da continuidade da iniciativa do projeto \ep{Introdutory Logic Animations de Jan Jaspars para o ensino de Lógica em cursos introdutórios e intermediários. O projeto disponibiliza materiais de aula, slides em inglês e espanhol, e programas interativos para ensinar Lógica Proposicional, Raciocínio Silogístico, Lógica de Primeira Ordem, Lógica Epistêmica, Lógica Dinâmica, Jogos Lógicos, Testes de Validade, Demonstrações e Método de Resolução. [http://www.logicinaction.org/]<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 2013.<br />
<br />
Problemas: Programas não funcionam, estão com endereços quebrados. <br />
<br />
<br />
<br />
== LoTREC ==<br />
<br />
<br />
Trata-se de uma ferramenta para a demonstração através do método de Tableau para Lógica de $1ª$ Ordem e Lógica Modal, implementada em Java e executável via Java Web Start. [http://www.irit.fr/Lotrec/]<br />
<br />
Avaliação: [Muito bom]<br />
<br />
Última atualização: 2013.<br />
<br />
Problemas: -<br />
<br />
== Modal Logic Playground ==<br />
<br />
<br />
Trata-se de um avaliador de fórmulas e de relações de acessibilidade para a Lógica Modal Proposicional. Foi desenvolvido através da biblioteca JavaScript D3<ref group="modal" name="d3"/>, MathJax<ref group="modal" name="mj"/> e o Twitter Bootstrap<ref group="modal" name="tb"/>. A ferramenta possui código livre disponível em [https://github.com/rkirsling/modallogic]. [http://rkirsling.github.io/modallogic/]<br />
<br />
Avaliação:[Muito bom]<br />
<br />
Última atualização: 2013<br />
<br />
<references group="modal"><br />
<ref name="d3"><br />
Uma biblioteca JavaScript para manipulação de documentos a partir de seus dados. Disponível em [http://d3js.org/].<br />
</ref><br />
<ref name="mj"><br />
Uma biblioteca JavaScript para visualização de notações matemáticas. Disponível em [http://www.mathjax.org/].<br />
</ref><br />
<ref name="tb"><br />
Uma framework para desenvolvimento de interfaces web. Disponível em [http://twitter.github.io/bootstrap/].<br />
</ref><br />
</references><br />
<br />
== Tarski's World, Fitch & Boole ==<br />
<br />
<br />
São disponibilizados junto com o livro ''Language, Proof and Logic'', compõem três programas desktop que implementam diferentes aspectos da lógica, a saber, Modelos Semânticos, demonstrações formais \ep{à la Fitch e Tabelas de Verdade. [http://ggww2.stanford.edu/GUS/lpl/]<br />
<br />
* '''Tarski's World''': ensina as bases da linguagem de primeira ordem e sua semântica;<br />
<br />
* '''Fitch''': um ambiente de assistência e verificação de dedução natural.<br />
<br />
* '''Boole''': um programa que facilita a construção e verificação de tabelas de verdade relacionando com suas principais noções de tautologia, consequência e equivalência.<br />
<br />
<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Pandora ==<br />
<br />
<br />
(Proof Assistant for Natural Deduction using Organised Rectangular Areas): é uma ferramenta de aprendizado e suporte para a construção de demonstrações em dedução natural. Está disponível através de Java Applet's. [http://www.doc.ic.ac.uk/pandora/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Plato ==<br />
<br />
É uma ferramenta para a construção de demonstrações em linguagens formais de cálculo sentencial, cálculo de predicados e teoria dos conjuntos [http://www.utexas.edu/courses/plato/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
== Possible World Creation ==<br />
<br />
<br />
Analisa fórmulas modais a partir de um modelo de Kripke construído pelo usuário. [http://staff.science.uva.nl/~jaspars/lvi98/Week3/modal.html]<br />
<br />
<br />
== ProofWeb ==<br />
<br />
<br />
É um sistema tanto para ensino de lógica e assistência de demonstrações na Web. É desenvolvido em PHP e serve como comunicação entre uma interface Web e o demonstrador de Teoremas Coq que funciona no servidor. [http://proofweb.cs.ru.nl/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
<br />
== The Bertie & Twootie ==<br />
<br />
<br />
É um verificador de demonstrações útil para busca de estratégias de demonstrações. E um verificador da correção de tableaux semântico. [http://selfpace.uconn.edu/BertieTwootie/software.htm]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== The Daemon Proof Checker ==<br />
<br />
<br />
Um verificador de demonstrações e de contramodelos. [http://logic.tamu.edu/]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Theorem Proving System ==<br />
<br />
<br />
É um sistema educacional demonstrador de teoremas desenvolvido em Common Lisp. [http://gtps.math.cmu.edu/tps.html]<br />
<br />
Avaliação: -<br />
<br />
Última atualização: -<br />
<br />
Problemas: -<br />
<br />
<br />
== Truth Table Constructor ==<br />
<br />
<br />
<br />
É um aplicação que constroí tabelas de verdade para lógica proposicional. Desenvolvido em Java Applet's. [http://www.brian-borowski.com/Software/Truth/]<br />
<br />
<br />
<br />
== Tableau3 ==<br />
<br />
<br />
Construtor de Tableaux desenvolvido em Java Applet's. [http://logic.philosophy.ox.ac.uk/tableau3/install.htm]<br />
<br />
<br />
Avaliação:[Regular]<br />
<br />
Última atualização: 2005.<br />
<br />
Problemas: Desatualizados. Aplicações Desktop.<br />
<br />
<br />
<br />
<br />
== Summa Logicae XXI ==<br />
<br />
<br />
Coletânea de diversos softwares relacionados com o ensino de lógica desenvolvidos em Java: DiagVenn1.0: Diagramas para lógica de predicados monádicos. MAFIA: Constrói tableaux proposicionais. Modelos de Kripke: Analisa fórmulas modais em modelos de Kripke definidos pelo usuário e verifica as propriedades de acessabilidade.Diagramas de Peirce: Permite a realização de um sistema para representação de gráficos. Possibilita o desenvolvimento em um sistema de gráficos de Peirce. Tradutor de lógicas: Ferramenta que proporciona um simulador gráfico de um tradutor de fórmulas em lógica modal para lógicas multivaloradas. [http://logicae.usal.es/mambo/index.php?option=com_summalogicaexxi&menu_task=Software&task=no_task&cmd=listar]<br />
<br />
==References==<br />
<br />
<references><br />
<ref name=asl>DITMARSCH, H. van. Logic courseware. 2010. A Comprehensive list of Tools for doing Logic. Association for Symbolic Logic. Disponível em: [http://www.ucalgary.ca/aslcle/logic-courseware/]. </ref><br />
<ref name=wiedijk>WIEDIJK, F. Digital Math by Categories with Samples. 2007. A compiled list of 300 Tools sorted by implementation, interaction, supported logic and size effort. Disponível em: [http://www.cs.ru.nl/freek/digimathbycategory.html].</ref><br />
</references></div>Admin