Ingen översättning hittades i den valda målspråket.

Definitioner

Substantiv

  1. (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

Böjningsformer

Pluralpropositional logics

Kategorier