====== Aplicações de Lógica na Computação ======

(RASCUNHO)


===== Linguagens de Programação =====

  * Prolog
    * Erlang
  * Curry?

===== Valores-verdade e expressões lógicas =====

==== O que é considerado verdadeiro ou falso? ====

  * Thruthy values
  * Uso em condicionais (if, etc.)
  * Foi C quem começou?
  * Como é em:
    * Elixir
    * Ruby
    * Java
    * Python


==== Exemplo de código ====

''
if x then
  do <something>
else
  do <something_else>
end
''
  
=== Questões ===

  * ''x'' precisa retornar um valor-verdade?
    * Se não precisa, o que faz fazer ''<something>'' ou ''<something_else>''?
  * E se ''x'' tiver conectivos lógicos? Como é a avaliação?
  * E se ''x'' tiver efeitos colaterais, o que acontece com e's e ou's? 
  * Por que implicação não é usada?