Sanakirja
Tekoälykääntäjä
Synonyymit
Käännöksiä ei löytynyt valitulle kohdekielelle.
Yritit hakea fraasilla, joka sisältää useita sanoja. Parempien hakutulosten saamiseksi kokeile hakea sanoja erikseen: propositional, logic
Määritelmät
Substantiivit
- (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Taivutusmuodot
| Monikko | propositional logics |