In logica matematica, le formule logiche matematiche possono essere usati per dare la sua varietà di interpretazione del linguaggio naturale.
Che è generalmente definita come: secondo certe regole, con particolare predicato (cioè, nelle variabili predicato), nome proprio (vale a dire, in singole variabili), proposizioni specifiche (ad esempio, nelle variabili proposizionali), come ad esempio la formula logica dei predicati alternativa corrispondente , poi vengono le formule nel linguaggio naturale di logica matematica in grado di determinare la forma di logiche vere e false proposizioni.
L'rigorosamente definita come: A proposizionale formula B è spiegata rispetto al singolo campo D se e solo se, B può essere ottenuta nel modo seguente dalla A: sostituzione con riferimento a ciascun singolo campo con il D e il funzionamento dei singoli predicati simboli significativi Un variabili predicato e simboli aritmetici, e, con nomi propri D in Un'alternativa delle singole voci o la libertà individuale degli individui è spesso variabile. Tra questi, il campo spiegazione deve essere interpretato nella formula dei singoli domini di singole variabili.
|
