Två typer av logik