O programa exemplo que o Wandbox nos fornece é o seguinte:

defmodule Wandbox do
    def hello() do
        IO.puts "Hello, Wandbox!"
    end
end
 
Wandbox.hello()

Neste programa é definido (usando defmodule) um Módulo (um agrupamento de funções) chamado Wandbox.

Neste módulo é definida uma função (usando def) chamada hello(). Uma função que não recebe nenhum argumento e que escreve na tela (usando o comando IO.puts) a mensagem “Hello, Wandbox!”.

Definir o módulo não é o suficiente para que a função seja executada.

Por isso, após o fim (end) das definições da função e do módulo, o programa chama a função hello() colocando antes o nome do módulo: Wandbox.hello().

Veja o programa também em https://gist.github.com/adolfont/5abe83aa670902bd038b40694f40c455.

defmodule LogicaClassicaProposicional do
  def nao(:v), do: :f
  def nao(:f), do: :v
end

alias LogicaClassicaProposicional, as: LCP

IO.inspect LCP.nao(:f)
IO.inspect LCP.nao(:v)

Neste programa, definimos o módulo LogicaClassicaProposicional.

Em seguida, definimos a função nao que recebe um argumento (usamos a notação nao/1) para representar esta situação. Adiante, veremos a função e/2 que recebe dois argumentos. Aridade é o termo que usamos para chamar a quantidade de argumentos de uma função. A função vista anteriormente, hello/0 tinha aridade zero; nao/1 tem aridade 1.

A função nao/1 é definida em duas clásulas.

Cada clásula é uma definição de função.

Neste exemplo, usamos o formato de definição de função de Elixir em uma linha. Você pode usar os dois. Ou seja, tanto faz escrever a primeira clásula de nao/1 como:

  def nao(:v), do: :f

  def nao(:v) do
   :f
  end