Create Logika.scala

Mathematical logic in Scala