Turkish | English | |
---|---|---|
Informatics | ||
Informatics | önermenin olumsuzlaması | negation of a proposition n. |
Turkish | English | |
---|---|---|
Logic | ||
Logic | koşullu bir önermenin ve sonucunun olumsuzlaması doğru olarak verildiğinde, öncülünün olumsuzlamasının da geçerli olabileceği ilkesi | modus tollens n. |