Sanakirja
Tekoälykääntäjä

Synonyymit

KieliKäännökset
puolarachunek zdań
tšekkivýroková logika

Määritelmät

Substantiivi

  1. (logic) Propositional logic.

Taivutusmuodot

Monikkopropositional calculi

Luokat


(logic) Propositional logic.

A graphical representation of a partially built propositional tableau

(logic) Propositional logic.

Rules for the propositional sequent calculus LK, in Gentzen notation