Formule (logická)

Formula je logický výraz, který obsahuje symboly a logické operace, které se dají vyhodnotit jako pravdivé či nepravdivé.

Relevantní k formule (logická)