Adolfo Neto adolfont

This was a draft of a blog post that is now published here: Classical Propositional Logic in Elixir

Classical Propositional Logic

I am a professor and I teach Introduction to Logic for Computing. One of the subjects I teach is Classical Propositional Logic. I use a Brazilian book as my main reference but this book is also quite good.

In Classical Propositional Logic there are two truth-values: true and false. A proposition is a declarative sentence which can be either true or false.

Examples of propositions are:

Como representar o tablô?

[Raiz, Esquerda, Direita\]

Início

[Fórmulas do Tablô, , ]

CS Education

On the Challenges Novice Programmers Experience in Developing IoT Systems: A Survey

	Input =("
	Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8 Q9 Q10 Q11 Q12 Q13 Q14 Q15 Q16 Q17 Q18
	4 4 4 4 4 4 3 3 4 3 4 4 4 2 3 3 3 2
	5 3 4 4 5 4 4 2 3 3 4 3 4 4 4 5 2 5
	4 5 5 5 5 4 5 3 3 3 3 3 4 1 3 3 1 3
	4 5 5 5 5 5 5 3 4 4 5 3 4 3 5 4 4 4
	5 5 5 5 5 3 4 3 3 3 3 3 3 1 5 5 4 5
	3 5 4 4 4 3 3 3 3 4 5 3 3 4 2 2 2 2
	4 5 5 4 5 2 1 3 1 1 1 1 1 1 5 5 1 4
	4 4 4 4 4 4 3 3 3 3 3 3 3 3 4 4 2 5

	defmodule Cpl do
	@moduledoc """
	Documentation for Classical Propositional Logoc.
	"""

	defp arity(connective, language) do
	language[:connectives][connective]
	end

	@spec is_formula(any, any) :: boolean

	defmodule CplTest do
	use ExUnit.Case
	doctest Cpl
	import Cpl

	@lp %{
	atoms: MapSet.new([:p, :q, :r, :s]),
	connectives: %{not: 1, and: 2, or: 2, implies: 2}
	}

	defmodule Geometria do
	def pi do
	3.1415
	end

	def circunferencia(raio) do
	2 * pi() * raio
	end

	def area_circulo(raio) do

	for x <- [:t, :f], y <- [:t, :f], do: {x,y}

	for x <- [:t, :f], y <- [:t, :f], do: [x,y]

	for z <- [:t, :f], l <- (for x <- [:t, :f], y <- [:t, :f], do: [x,y]), do: [z, l]

	for z <- [:t, :f], l <- (for x <- [:t, :f], y <- [:t, :f], do: [x,y]), do: [z\| l]

	for z <- [0, 1], l <- (for x <- [0, 1], y <- [0, 1], do: [x,y]), do: [z\| l]