論題

/lu̯ən⁵¹ tʰi³⁵/

/lɵn²² tʰɐi̯²¹/

/lun²²⁻²¹ te¹³/

/lun³³⁻²¹ te²³/

/lu̯ən⁵¹ tʰi³⁵/

/lɵn²² tʰɐi̯²¹/

/lun²²⁻²¹ te¹³/

/lun³³⁻²¹ te²³/


真理値

真理値 (canonical)
shinrichi (romanization)


abdutivo

pt-adj

abdutivo (feminine abdutiva, masculine plural abdutivos, feminine plural abdutivas)

abdutiva (feminine)
abdutivos (masculine plural)
abdutivas (feminine plural)


Hegel

Hegel (nominative singular)
Hegla (genitive singular)
Heglowi (dative singular)
Hegla (accusative singular)
Heglem (instrumental singular)
Heglu (locative singular)
Heglu (singular vocative)

(logic, philosophy) Georg Wilhelm Friedrich Hegel


αἰτέω

grc-verb

αἰτέω • (aitéō)

aitéō (romanization)
αἰτέω (active first-person indicative singular)
αἰτέεις (active indicative second-person singular)
αἰτέει (active indicative singular third-person)
αἰτέετον (active dual indicative second-person)
αἰτέετον (active dual indicative third-person)
αἰτέομεν (active first-person indicative plural)
αἰτέετε (active indicative plural second-person)
αἰτέουσῐ (active indicative plural third-person)
αἰτέουσῐν (active indicative plural third-person)
αἰτέω (active first-person singular subjunctive)
αἰτέῃς (active second-person singular subjunctive)
αἰτέῃ (active singular subjunctive third-person)
αἰτέητον (active dual second-person subjunctive)
αἰτέητον (active dual subjunctive third-person)
αἰτέωμεν (active first-person plural subjunctive)
αἰτέητε (active plural second-person subjunctive)
αἰτέωσῐ (active plural subjunctive third-person)
αἰτέωσῐν (active plural subjunctive third-person)
αἰτέοιμῐ (active first-person optative singular)
αἰτέοις (active optative second-person singular)
αἰτέοι (active optative singular third-person)
αἰτέοιτον (active dual optative second-person)
αἰτεοίτην (active dual optative third-person)
αἰτέοιμεν (active first-person optative plural)
αἰτέοιτε (active optative plural second-person)
αἰτέοιεν (active optative plural third-person)
αἴτεε (active imperative second-person singular)
αἰτεέτω (active imperative singular third-person)
αἰτέετον (active dual imperative second-person)
αἰτεέτων (active dual imperative third-person)
αἰτέετε (active imperative plural second-person)
αἰτεόντων (active imperative plural third-person)
αἰτέομαι (first-person indicative middle passive singular)
αἰτέῃ (indicative middle passive second-person singular)
αἰτέει (indicative middle passive second-person singular)
αἰτέεται (indicative middle passive singular third-person)
αἰτέεσθον (dual indicative middle passive second-person)
αἰτέεσθον (dual indicative middle passive third-person)
αἰτεόμεθᾰ (first-person indicative middle passive plural)
αἰτέεσθε (indicative middle passive plural second-person)
αἰτέονται (indicative middle passive plural third-person)
αἰτέωμαι (first-person middle passive singular subjunctive)
αἰτέῃ (middle passive second-person singular subjunctive)
αἰτέηται (middle passive singular subjunctive third-person)
αἰτέησθον (dual middle passive second-person subjunctive)
αἰτέησθον (dual middle passive subjunctive third-person)
αἰτεώμεθᾰ (first-person middle passive plural subjunctive)
αἰτέησθε (middle passive plural second-person subjunctive)
αἰτέωνται (middle passive plural subjunctive third-person)
αἰτεοίμην (first-person middle optative passive singular)
αἰτέοιο (middle optative passive second-person singular)
αἰτέοιτο (middle optative passive singular third-person)
αἰτέοισθον (dual middle optative passive second-person)
αἰτεοίσθην (dual middle optative passive third-person)
αἰτεοίμεθᾰ (first-person middle optative passive plural)
αἰτέοισθε (middle optative passive plural second-person)
αἰτέοιντο (middle optative passive plural third-person)
αἰτέου (imperative middle passive second-person singular)
αἰτεέσθω (imperative middle passive singular third-person)
αἰτέεσθον (dual imperative middle passive second-person)
αἰτεέσθων (dual imperative middle passive third-person)
αἰτέεσθε (imperative middle passive plural second-person)
αἰτεέσθων (imperative middle passive plural third-person)
αἰτέειν (active infinitive)
αἰτέεσθαι (infinitive middle passive plural)
αἰτέων (active masculine participle)
αἰτεόμενος (masculine middle participle passive plural)
αἰτέουσᾰ (active feminine participle)
αἰτεομένη (feminine middle participle passive plural)
αἰτέον (active neuter participle)
αἰτεόμενον (middle neuter participle passive plural)
αἰτῶ (active first-person indicative singular)
αἰτεῖς (active indicative second-person singular)
αἰτεῖ (active indicative singular third-person)
αἰτεῖτον (active dual indicative second-person)
αἰτεῖτον (active dual indicative third-person)
αἰτοῦμεν (active first-person indicative plural)
αἰτεῖτε (active indicative plural second-person)
αἰτοῦσῐ (active indicative plural third-person)
αἰτοῦσῐν (active indicative plural third-person)
αἰτῶ (active first-person singular subjunctive)
αἰτῇς (active second-person singular subjunctive)
αἰτῇ (active singular subjunctive third-person)
αἰτῆτον (active dual second-person subjunctive)
αἰτῆτον (active dual subjunctive third-person)
αἰτῶμεν (active first-person plural subjunctive)
αἰτῆτε (active plural second-person subjunctive)
αἰτῶσῐ (active plural subjunctive third-person)
αἰτῶσῐν (active plural subjunctive third-person)
αἰτοίην (active first-person optative singular)
αἰτοῖμῐ (active first-person optative singular)
αἰτοίης (active optative second-person singular)
αἰτοῖς (active optative second-person singular)
αἰτοίη (active optative singular third-person)
αἰτοῖ (active optative singular third-person)
αἰτοῖτον (active dual optative second-person)
αἰτοίητον (active dual optative second-person)
αἰτοίτην (active dual optative third-person)
αἰτοιήτην (active dual optative third-person)
αἰτοῖμεν (active first-person optative plural)
αἰτοίημεν (active first-person optative plural)
αἰτοῖτε (active optative plural second-person)
αἰτοίητε (active optative plural second-person)
αἰτοῖεν (active optative plural third-person)
αἰτοίησᾰν (active optative plural third-person)
αἴτει (active imperative second-person singular)
αἰτείτω (active imperative singular third-person)
αἰτεῖτον (active dual imperative second-person)
αἰτείτων (active dual imperative third-person)
αἰτεῖτε (active imperative plural second-person)
αἰτούντων (active imperative plural third-person)
αἰτοῦμαι (first-person indicative middle passive singular)
αἰτεῖ (indicative middle passive second-person singular)
αἰτῇ (indicative middle passive second-person singular)
αἰτεῖται (indicative middle passive singular third-person)
αἰτεῖσθον (dual indicative middle passive second-person)
αἰτεῖσθον (dual indicative middle passive third-person)
αἰτούμεθᾰ (first-person indicative middle passive plural)
αἰτεῖσθε (indicative middle passive plural second-person)
αἰτοῦνται (indicative middle passive plural third-person)
αἰτῶμαι (first-person middle passive singular subjunctive)
αἰτῇ (middle passive second-person singular subjunctive)
αἰτῆται (middle passive singular subjunctive third-person)
αἰτῆσθον (dual middle passive second-person subjunctive)
αἰτῆσθον (dual middle passive subjunctive third-person)
αἰτώμεθᾰ (first-person middle passive plural subjunctive)
αἰτῆσθε (middle passive plural second-person subjunctive)
αἰτῶνται (middle passive plural subjunctive third-person)
αἰτοίμην (first-person middle optative passive singular)
αἰτοῖο (middle optative passive second-person singular)
αἰτοῖτο (middle optative passive singular third-person)
αἰτοῖσθον (dual middle optative passive second-person)
αἰτοίσθην (dual middle optative passive third-person)
αἰτοίμεθᾰ (first-person middle optative passive plural)
αἰτοῖσθε (middle optative passive plural second-person)
αἰτοῖντο (middle optative passive plural third-person)
αἰτοῦ (imperative middle passive second-person singular)
αἰτείσθω (imperative middle passive singular third-person)
αἰτεῖσθον (dual imperative middle passive second-person)
αἰτείσθων (dual imperative middle passive third-person)
αἰτεῖσθε (imperative middle passive plural second-person)
αἰτείσθων (imperative middle passive plural third-person)
αἰτεῖν (active infinitive)
αἰτεῖσθαι (infinitive middle passive plural)
αἰτῶν (active masculine participle)
αἰτούμενος (masculine middle participle passive plural)
αἰτοῦσᾰ (active feminine participle)
αἰτουμένη (feminine middle participle passive plural)
αἰτοῦν (active neuter participle)
αἰτούμενον (middle neuter participle passive plural)
ᾔτεον (active first-person indicative singular)
ᾔτεες (active indicative second-person singular)
ᾔτεε (active indicative singular third-person)
ᾔτεεν (active indicative singular third-person)
ᾐτέετον (active dual indicative second-person)
ᾐτεέτην (active dual indicative third-person)
ᾐτέομεν (active first-person indicative plural)
ᾐτέετε (active indicative plural second-person)
ᾔτεον (active indicative plural third-person)
ᾐτεόμην (first-person indicative middle passive singular)
ᾐτέου (indicative middle passive second-person singular)
ᾐτέετο (indicative middle passive singular third-person)
ᾐτέεσθον (dual indicative middle passive second-person)
ᾐτεέσθην (dual indicative middle passive third-person)
ᾐτεόμεθᾰ (first-person indicative middle passive plural)
ᾐτέεσθε (indicative middle passive plural second-person)
ᾐτέοντο (indicative middle passive plural third-person)
ᾔτουν (active first-person indicative singular)
ᾔτεις (active indicative second-person singular)
ᾔτει (active indicative singular third-person)
ᾐτεῖτον (active dual indicative second-person)
ᾐτείτην (active dual indicative third-person)
ᾐτοῦμεν (active first-person indicative plural)
ᾐτεῖτε (active indicative plural second-person)
ᾔτουν (active indicative plural third-person)
ᾐτούμην (first-person indicative middle passive singular)
ᾐτοῦ (indicative middle passive second-person singular)
ᾐτεῖτο (indicative middle passive singular third-person)
ᾐτεῖσθον (dual indicative middle passive second-person)
ᾐτείσθην (dual indicative middle passive third-person)
ᾐτούμεθᾰ (first-person indicative middle passive plural)
ᾐτεῖσθε (indicative middle passive plural second-person)
ᾐτοῦντο (indicative middle passive plural third-person)
αἰτήσω (active first-person indicative singular)
αἰτήσεις (active indicative second-person singular)
αἰτήσει (active indicative singular third-person)
αἰτήσετον (active dual indicative second-person)
αἰτήσετον (active dual indicative third-person)
αἰτήσομεν (active first-person indicative plural)
αἰτήσετε (active indicative plural second-person)
αἰτήσουσῐ (active indicative plural third-person)
αἰτήσουσῐν (active indicative plural third-person)
αἰτήσοιμῐ (active first-person optative singular)
αἰτήσοις (active optative second-person singular)
αἰτήσοι (active optative singular third-person)
αἰτήσοιτον (active dual optative second-person)
αἰτησοίτην (active dual optative third-person)
αἰτήσοιμεν (active first-person optative plural)
αἰτήσοιτε (active optative plural second-person)
αἰτήσοιεν (active optative plural third-person)
αἰτήσομαι (first-person indicative middle singular)
αἰτήσῃ (indicative middle second-person singular)
αἰτήσει (indicative middle second-person singular)
αἰτήσεται (indicative middle singular third-person)
αἰτήσεσθον (dual indicative middle second-person)
αἰτήσεσθον (dual indicative middle third-person)
αἰτησόμεθᾰ (first-person indicative middle plural)
αἰτήσεσθε (indicative middle plural second-person)
αἰτήσονται (indicative middle plural third-person)
αἰτησοίμην (first-person middle optative singular)
αἰτήσοιο (middle optative second-person singular)
αἰτήσοιτο (middle optative singular third-person)
αἰτήσοισθον (dual middle optative second-person)
αἰτησοίσθην (dual middle optative third-person)
αἰτησοίμεθᾰ (first-person middle optative plural)
αἰτήσοισθε (middle optative plural second-person)
αἰτήσοιντο (middle optative plural third-person)
αἰτήσειν (active infinitive)
αἰτήσεσθαι (dual infinitive middle second-person third-person)
αἰτήσων (active masculine participle)
αἰτησόμενος (dual masculine middle participle second-person third-person)
αἰτήσουσᾰ (active feminine participle)
αἰτησομένη (dual feminine middle participle second-person third-person)
αἰτῆσον (active neuter participle)
αἰτησόμενον (dual middle neuter participle second-person third-person)
ᾔτησᾰ (active first-person indicative singular)
ᾔτησᾰς (active indicative second-person singular)
ᾔτησε (active indicative singular third-person)
ᾔτησεν (active indicative singular third-person)
ᾐτήσᾰτον (active dual indicative second-person)
ᾐτησᾰ́την (active dual indicative third-person)
ᾐτήσᾰμεν (active first-person indicative plural)
ᾐτήσᾰτε (active indicative plural second-person)
ᾔτησᾰν (active indicative plural third-person)
αἰτήσω (active first-person singular subjunctive)
αἰτήσῃς (active second-person singular subjunctive)
αἰτήσῃ (active singular subjunctive third-person)
αἰτήσητον (active dual second-person subjunctive)
αἰτήσητον (active dual subjunctive third-person)
αἰτήσωμεν (active first-person plural subjunctive)
αἰτήσητε (active plural second-person subjunctive)
αἰτήσωσῐ (active plural subjunctive third-person)
αἰτήσωσῐν (active plural subjunctive third-person)
αἰτήσαιμῐ (active first-person optative singular)
αἰτήσειᾰς (active optative second-person singular)
αἰτήσαις (active optative second-person singular)
αἰτήσειε (active optative singular third-person)
αἰτήσειεν (active optative singular third-person)
αἰτήσαι (active optative singular third-person)
αἰτήσαιτον (active dual optative second-person)
αἰτησαίτην (active dual optative third-person)
αἰτήσαιμεν (active first-person optative plural)
αἰτήσαιτε (active optative plural second-person)
αἰτήσειᾰν (active optative plural third-person)
αἰτήσαιεν (active optative plural third-person)
αἴτησον (active imperative second-person singular)
αἰτησᾰ́τω (active imperative singular third-person)
αἰτήσᾰτον (active dual imperative second-person)
αἰτησᾰ́των (active dual imperative third-person)
αἰτήσᾰτε (active imperative plural second-person)
αἰτησᾰ́ντων (active imperative plural third-person)
ᾐτησᾰ́μην (first-person indicative middle singular)
ᾐτήσω (indicative middle second-person singular)
ᾐτήσᾰτο (indicative middle singular third-person)
ᾐτήσᾰσθον (dual indicative middle second-person)
ᾐτησᾰ́σθην (dual indicative middle third-person)
ᾐτησᾰ́μεθᾰ (first-person indicative middle plural)
ᾐτήσᾰσθε (indicative middle plural second-person)
ᾐτήσᾰντο (indicative middle plural third-person)
αἰτήσωμαι (first-person middle singular subjunctive)
αἰτήσῃ (middle second-person singular subjunctive)
αἰτήσηται (middle singular subjunctive third-person)
αἰτήσησθον (dual middle second-person subjunctive)
αἰτήσησθον (dual middle subjunctive third-person)
αἰτησώμεθᾰ (first-person middle plural subjunctive)
αἰτήσησθε (middle plural second-person subjunctive)
αἰτήσωνται (middle plural subjunctive third-person)
αἰτησαίμην (first-person middle optative singular)
αἰτήσαιο (middle optative second-person singular)
αἰτήσαιτο (middle optative singular third-person)
αἰτήσαισθον (dual middle optative second-person)
αἰτησαίσθην (dual middle optative third-person)
αἰτησαίμεθᾰ (first-person middle optative plural)
αἰτήσαισθε (middle optative plural second-person)
αἰτήσαιντο (middle optative plural third-person)
αἴτησαι (imperative middle second-person singular)
αἰτησᾰ́σθω (imperative middle singular third-person)
αἰτήσᾰσθον (dual imperative middle second-person)
αἰτησᾰ́σθων (dual imperative middle third-person)
αἰτήσᾰσθε (imperative middle plural second-person)
αἰτησᾰ́σθων (imperative middle plural third-person)
αἰτῆσαι (active infinitive)
αἰτήσᾰσθαι (dual infinitive middle second-person third-person)
αἰτήσᾱς (active masculine participle)
αἰτησᾰ́μενος (dual masculine middle participle second-person third-person)
αἰτήσᾱσᾰ (active feminine participle)
αἰτησᾰμένη (dual feminine middle participle second-person third-person)
αἰτῆσᾰν (active neuter participle)
αἰτησᾰ́μενον (dual middle neuter participle second-person third-person)
ᾔτηκᾰ (active first-person indicative singular)
ᾔτηκᾰς (active indicative second-person singular)
ᾔτηκε (active indicative singular third-person)
ᾔτηκεν (active indicative singular third-person)
ᾐτήκᾰτον (active dual indicative second-person)
ᾐτήκᾰτον (active dual indicative third-person)
ᾐτήκᾰμεν (active first-person indicative plural)
ᾐτήκᾰτε (active indicative plural second-person)
ᾐτήκᾱσῐ (active indicative plural third-person)
ᾐτήκᾱσῐν (active indicative plural third-person)
ᾐτήκω (active first-person singular subjunctive)
ᾐτήκῃς (active second-person singular subjunctive)
ᾐτήκῃ (active singular subjunctive third-person)
ᾐτήκητον (active dual second-person subjunctive)
ᾐτήκητον (active dual subjunctive third-person)
ᾐτήκωμεν (active first-person plural subjunctive)
ᾐτήκητε (active plural second-person subjunctive)
ᾐτήκωσῐ (active plural subjunctive third-person)
ᾐτήκωσῐν (active plural subjunctive third-person)
ᾐτήκοιμῐ (active first-person optative singular)
ᾐτηκοίην (active first-person optative singular)
ᾐτήκοις (active optative second-person singular)
ᾐτηκοίης (active optative second-person singular)
ᾐτήκοι (active optative singular third-person)
ᾐτηκοίη (active optative singular third-person)
ᾐτήκοιτον (active dual optative second-person)
ᾐτηκοίτην (active dual optative third-person)
ᾐτήκοιμεν (active first-person optative plural)
ᾐτήκοιτε (active optative plural second-person)
ᾐτήκοιεν (active optative plural third-person)
ᾔτηκε (active imperative second-person singular)
ᾐτηκέτω (active imperative singular third-person)
ᾐτήκετον (active dual imperative second-person)
ᾐτηκέτων (active dual imperative third-person)
ᾐτήκετε (active imperative plural second-person)
ᾐτηκόντων (active imperative plural third-person)
ᾔτημαι (first-person indicative middle passive singular)
ᾔτησαι (indicative middle passive second-person singular)
ᾔτηται (indicative middle passive singular third-person)
ᾔτησθον (dual indicative middle passive second-person)
ᾔτησθον (dual indicative middle passive third-person)
ᾐτήμεθᾰ (first-person indicative middle passive plural)
ᾔτησθε (indicative middle passive plural second-person)
ᾔτηνται (indicative middle passive plural third-person)
ᾐτημένος ὦ (first-person middle passive singular subjunctive)
ᾐτημένος ᾖς (middle passive second-person singular subjunctive)
ᾐτημένος ᾖ (middle passive singular subjunctive third-person)
ᾐτημένω ἦτον (dual middle passive second-person subjunctive)
ᾐτημένω ἦτον (dual middle passive subjunctive third-person)
ᾐτημένοι ὦμεν (first-person middle passive plural subjunctive)
ᾐτημένοι ἦτε (middle passive plural second-person subjunctive)
ᾐτημένοι ὦσῐ (middle passive plural subjunctive third-person)
ᾐτημένοι ὦσῐν (middle passive plural subjunctive third-person)
ᾐτημένος εἴην (first-person middle optative passive singular)
ᾐτημένος εἴης (middle optative passive second-person singular)
ᾐτημένος εἴη (middle optative passive singular third-person)
ᾐτημένω εἴητον (dual middle optative passive second-person)
εἶτον (dual middle optative passive second-person)
ᾐτημένω εἰήτην (dual middle optative passive third-person)
εἴτην (dual middle optative passive third-person)
ᾐτημένοι εἴημεν (first-person middle optative passive plural)
εἶμεν (first-person middle optative passive plural)
ᾐτημένοι εἴητε (middle optative passive plural second-person)
εἶτε (middle optative passive plural second-person)
ᾐτημένοι εἴησᾰν (middle optative passive plural third-person)
εἶεν (middle optative passive plural third-person)
ᾔτησο (imperative middle passive second-person singular)
ᾐτήσθω (imperative middle passive singular third-person)
ᾔτησθον (dual imperative middle passive second-person)
ᾐτήσθων (dual imperative middle passive third-person)
ᾔτησθε (imperative middle passive plural second-person)
ᾐτήσθων (imperative middle passive plural third-person)
ᾐτηκέναι (active infinitive)
ᾐτῆσθαι (infinitive middle passive plural)
ᾐτηκώς (active masculine participle)
ᾐτημένος (masculine middle participle passive plural)
ᾐτηκυῖᾰ (active feminine participle)
ᾐτημένη (feminine middle participle passive plural)
ᾐτηκός (active neuter participle)
ᾐτημένον (middle neuter participle passive plural)
ᾐτήκειν (active first-person indicative singular)
ᾐτήκη (active first-person indicative singular)
ᾐτήκεις (active indicative second-person singular)
ᾐτήκης (active indicative second-person singular)
ᾐτήκει (active indicative singular third-person)
ᾐτήκειν (active indicative singular third-person)
ᾐτήκετον (active dual indicative second-person)
ᾐτηκέτην (active dual indicative third-person)
ᾐτήκεμεν (active first-person indicative plural)
ᾐτήκετε (active indicative plural second-person)
ᾐτήκεσᾰν (active indicative plural third-person)
ᾐτήμην (first-person indicative middle passive singular)
ᾔτησο (indicative middle passive second-person singular)
ᾔτητο (indicative middle passive singular third-person)
ᾔτησθον (dual indicative middle passive second-person)
ᾐτήσθην (dual indicative middle passive third-person)
ᾐτήμεθᾰ (first-person indicative middle passive plural)
ᾔτησθε (indicative middle passive plural second-person)
ᾔτηντο (indicative middle passive plural third-person)
αἴτημι (alternative)

A denominative of an unattested *αἶτος (*aîtos, “something given: allotment, share”), from Proto-Indo-European *h₂ey- (“to give, take”), whence also αἴνυμαι (aínumai), αἶσα (aîsa), αἴτιος (aítios), διαιτάω (diaitáō).

der

384 BCE – 322 BCE, Aristotle, Prior Analytics 1.24.2

384 BCE – 322 BCE, Aristotle, Topics 8.13.2

+obj

accusative ‘something’; with accusative ‘something’ and accusative ‘from someone’

(usually transitive) to ask for, crave, demand, beg [with accusative ‘something’; or with accusative ‘something’ and accusative ‘from someone’]; or with object omitted

(logic, transitive) to postulate, assume


categorical proposition

en-noun

categorical proposition (plural categorical propositions)

(logic) A proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term). There are four types: "all S are P", "all S are not P", "some S are P", and "some S are not P".

mulisiping palagay

a proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term)


Stone space

Named after Marshall Harvey Stone (1903–1989), an American mathematician.

For every Boolean algebra there is a Boolean ring corresponding to it. The prime spectrum of a Boolean ring is a Stone space.

topological space
topological space#English

(topology, logic) A topological space constructed from a Boolean algebra, whose points are ultrafilters on the algebra.


closed formula

closed formula (plural closed formulas or closed formulae)

closed formulas (plural)
closed formulae (plural)

(logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.


Herbrand universe

Herbrand universe (plural Herbrand universes)

Named after Jacques Herbrand (1908–1931), French mathematician.

(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)


Herbrand function

Herbrand function (plural Herbrand functions)

universal quantifier
universal quantifier

(logic) A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).


Skolem function

Skolem function (plural Skolem functions)

Named after Thoralf Skolem (1887–1963), Norwegian mathematician.

existential quantifier
existential quantifier

(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).


prenex normal form

(logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.


csavart

hu-adj

csavart (comparative csavartabb, superlative legcsavartabb)

csavartabb (comparative)
legcsavartabb (superlative)
csavart (nominative singular)
csavartak (nominative plural)
csavartat (accusative singular)
csavartakat (accusative plural)
csavartnak (dative singular)
csavartaknak (dative plural)
csavarttal (instrumental singular)
csavartakkal (instrumental plural)
csavartért (causal-final singular)
csavartakért (causal-final plural)
csavarttá (singular translative)
csavartakká (plural translative)
csavartig (singular terminative)
csavartakig (plural terminative)
csavartként (essive-formal singular)
csavartakként (essive-formal plural)
csavartban (inessive singular)
csavartakban (inessive plural)
csavarton (singular superessive)
csavartakon (plural superessive)
csavartnál (adessive singular)
csavartaknál (adessive plural)
csavartba (illative singular)
csavartakba (illative plural)
csavartra (singular sublative)
csavartakra (plural sublative)
csavarthoz (allative singular)
csavartakhoz (allative plural)
csavartból (elative singular)
csavartakból (elative plural)
csavartról (delative singular)
csavartakról (delative plural)
csavarttól (ablative singular)
csavartaktól (ablative plural)
csavarté (singular)
csavartaké (plural)
csavartéi (singular)
csavartakéi (plural)

csavar (“to twist, turn; to screw”) + -t (past-tense and past-participle suffix)

affix

(of thinking, logic) complicated, convoluted


ὑποτάσσω

grc-verb

ῠ̔ποτᾰ́σσω • (hŭpotắssō)

ῠ̔ποτᾰ́σσω (canonical)
hŭpotắssō (romanization)
ῠ̔ποτᾰ́σσω (active first-person indicative singular)
ῠ̔ποτᾰ́σσεις (active indicative second-person singular)
ῠ̔ποτᾰ́σσει (active indicative singular third-person)
ῠ̔ποτᾰ́σσετον (active dual indicative second-person)
ῠ̔ποτᾰ́σσετον (active dual indicative third-person)
ῠ̔ποτᾰ́σσομεν (active first-person indicative plural)
ῠ̔ποτᾰ́σσετε (active indicative plural second-person)
ῠ̔ποτᾰ́σσουσῐ (active indicative plural third-person)
ῠ̔ποτᾰ́σσουσῐν (active indicative plural third-person)
ῠ̔ποτᾰ́σσω (active first-person singular subjunctive)
ῠ̔ποτᾰ́σσῃς (active second-person singular subjunctive)
ῠ̔ποτᾰ́σσῃ (active singular subjunctive third-person)
ῠ̔ποτᾰ́σσητον (active dual second-person subjunctive)
ῠ̔ποτᾰ́σσητον (active dual subjunctive third-person)
ῠ̔ποτᾰ́σσωμεν (active first-person plural subjunctive)
ῠ̔ποτᾰ́σσητε (active plural second-person subjunctive)
ῠ̔ποτᾰ́σσωσῐ (active plural subjunctive third-person)
ῠ̔ποτᾰ́σσωσῐν (active plural subjunctive third-person)
ῠ̔ποτᾰ́σσοιμῐ (active first-person optative singular)
ῠ̔ποτᾰ́σσοις (active optative second-person singular)
ῠ̔ποτᾰ́σσοι (active optative singular third-person)
ῠ̔ποτᾰ́σσοιτον (active dual optative second-person)
ῠ̔ποτᾰσσοίτην (active dual optative third-person)
ῠ̔ποτᾰ́σσοιμεν (active first-person optative plural)
ῠ̔ποτᾰ́σσοιτε (active optative plural second-person)
ῠ̔ποτᾰ́σσοιεν (active optative plural third-person)
ῠ̔πότᾰσσε (active imperative second-person singular)
ῠ̔ποτᾰσσέτω (active imperative singular third-person)
ῠ̔ποτᾰ́σσετον (active dual imperative second-person)
ῠ̔ποτᾰσσέτων (active dual imperative third-person)
ῠ̔ποτᾰ́σσετε (active imperative plural second-person)
ῠ̔ποτᾰσσόντων (active imperative plural third-person)
ῠ̔ποτᾰ́σσομαι (first-person indicative middle passive singular)
ῠ̔ποτᾰ́σσῃ (indicative middle passive second-person singular)
ῠ̔ποτᾰ́σσει (indicative middle passive second-person singular)
ῠ̔ποτᾰ́σσεται (indicative middle passive singular third-person)
ῠ̔ποτᾰ́σσεσθον (dual indicative middle passive second-person)
ῠ̔ποτᾰ́σσεσθον (dual indicative middle passive third-person)
ῠ̔ποτᾰσσόμεθᾰ (first-person indicative middle passive plural)
ῠ̔ποτᾰ́σσεσθε (indicative middle passive plural second-person)
ῠ̔ποτᾰ́σσονται (indicative middle passive plural third-person)
ῠ̔ποτᾰ́σσωμαι (first-person middle passive singular subjunctive)
ῠ̔ποτᾰ́σσῃ (middle passive second-person singular subjunctive)
ῠ̔ποτᾰ́σσηται (middle passive singular subjunctive third-person)
ῠ̔ποτᾰ́σσησθον (dual middle passive second-person subjunctive)
ῠ̔ποτᾰ́σσησθον (dual middle passive subjunctive third-person)
ῠ̔ποτᾰσσώμεθᾰ (first-person middle passive plural subjunctive)
ῠ̔ποτᾰ́σσησθε (middle passive plural second-person subjunctive)
ῠ̔ποτᾰ́σσωνται (middle passive plural subjunctive third-person)
ῠ̔ποτᾰσσοίμην (first-person middle optative passive singular)
ῠ̔ποτᾰ́σσοιο (middle optative passive second-person singular)
ῠ̔ποτᾰ́σσοιτο (middle optative passive singular third-person)
ῠ̔ποτᾰ́σσοισθον (dual middle optative passive second-person)
ῠ̔ποτᾰσσοίσθην (dual middle optative passive third-person)
ῠ̔ποτᾰσσοίμεθᾰ (first-person middle optative passive plural)
ῠ̔ποτᾰ́σσοισθε (middle optative passive plural second-person)
ῠ̔ποτᾰ́σσοιντο (middle optative passive plural third-person)
ῠ̔ποτᾰ́σσου (imperative middle passive second-person singular)
ῠ̔ποτᾰσσέσθω (imperative middle passive singular third-person)
ῠ̔ποτᾰ́σσεσθον (dual imperative middle passive second-person)
ῠ̔ποτᾰσσέσθων (dual imperative middle passive third-person)
ῠ̔ποτᾰ́σσεσθε (imperative middle passive plural second-person)
ῠ̔ποτᾰσσέσθων (imperative middle passive plural third-person)
ῠ̔ποτᾰ́σσειν (active infinitive)
ῠ̔ποτᾰ́σσεσθαι (infinitive middle passive plural)
ῠ̔ποτᾰ́σσων (active masculine participle)
ῠ̔ποτᾰσσόμενος (masculine middle participle passive plural)
ῠ̔ποτᾰ́σσουσᾰ (active feminine participle)
ῠ̔ποτᾰσσομένη (feminine middle participle passive plural)
ῠ̔ποτᾰ́σσον (active neuter participle)
ῠ̔ποτᾰσσόμενον (middle neuter participle passive plural)
ῠ̔ποτᾰ́ξω (active first-person indicative singular)
ῠ̔ποτᾰ́ξεις (active indicative second-person singular)
ῠ̔ποτᾰ́ξει (active indicative singular third-person)
ῠ̔ποτᾰ́ξετον (active dual indicative second-person)
ῠ̔ποτᾰ́ξετον (active dual indicative third-person)
ῠ̔ποτᾰ́ξομεν (active first-person indicative plural)
ῠ̔ποτᾰ́ξετε (active indicative plural second-person)
ῠ̔ποτᾰ́ξουσῐ (active indicative plural third-person)
ῠ̔ποτᾰ́ξουσῐν (active indicative plural third-person)
ῠ̔ποτᾰ́ξοιμῐ (active first-person optative singular)
ῠ̔ποτᾰ́ξοις (active optative second-person singular)
ῠ̔ποτᾰ́ξοι (active optative singular third-person)
ῠ̔ποτᾰ́ξοιτον (active dual optative second-person)
ῠ̔ποτᾰξοίτην (active dual optative third-person)
ῠ̔ποτᾰ́ξοιμεν (active first-person optative plural)
ῠ̔ποτᾰ́ξοιτε (active optative plural second-person)
ῠ̔ποτᾰ́ξοιεν (active optative plural third-person)
ῠ̔ποτᾰ́ξομαι (first-person indicative middle singular)
ῠ̔ποτᾰ́ξῃ (indicative middle second-person singular)
ῠ̔ποτᾰ́ξει (indicative middle second-person singular)
ῠ̔ποτᾰ́ξεται (indicative middle singular third-person)
ῠ̔ποτᾰ́ξεσθον (dual indicative middle second-person)
ῠ̔ποτᾰ́ξεσθον (dual indicative middle third-person)
ῠ̔ποτᾰξόμεθᾰ (first-person indicative middle plural)
ῠ̔ποτᾰ́ξεσθε (indicative middle plural second-person)
ῠ̔ποτᾰ́ξονται (indicative middle plural third-person)
ῠ̔ποτᾰξοίμην (first-person middle optative singular)
ῠ̔ποτᾰ́ξοιο (middle optative second-person singular)
ῠ̔ποτᾰ́ξοιτο (middle optative singular third-person)
ῠ̔ποτᾰ́ξοισθον (dual middle optative second-person)
ῠ̔ποτᾰξοίσθην (dual middle optative third-person)
ῠ̔ποτᾰξοίμεθᾰ (first-person middle optative plural)
ῠ̔ποτᾰ́ξοισθε (middle optative plural second-person)
ῠ̔ποτᾰ́ξοιντο (middle optative plural third-person)
ῠ̔ποτᾰ́ξειν (active infinitive)
ῠ̔ποτᾰ́ξεσθαι (dual infinitive middle second-person third-person)
ῠ̔ποτᾰ́ξων (active masculine participle)
ῠ̔ποτᾰξόμενος (dual masculine middle participle second-person third-person)
ῠ̔ποτᾰ́ξουσᾰ (active feminine participle)
ῠ̔ποτᾰξομένη (dual feminine middle participle second-person third-person)
ῠ̔ποτᾰ́ξον (active neuter participle)
ῠ̔ποτᾰξόμενον (dual middle neuter participle second-person third-person)
ῠ̔ποτᾰ́ττω (alternative)

→ Greek: υποτάσσω (ypotásso) (learned)

From ῠ̔πο- (hŭpo-, “under”) + τᾰ́σσω (tắssō, “to place”).

affix

108 CE, Arrian, Discourses of Epictetus 4.1.161

to put after
(logic) to take as a minor premise


(algebra, logic) Boolean value corresponding to truth


impredicative

(logic, of a proposition) definable only in terms of a totality of which it is itself a part


conectivo

(logic) connective (function that operates on truth values)


corolário

Learned borrowing from Latin corōllārium.

lbor

(mathematics, logic) corollary (proposition which follows easily)


predicamento

Borrowed from Medieval Latin praedicāmentum, derived from Latin praedicō (“to declare, proclame, predicate”).

der

I numeri […] si ritruovano in tutti i parlari di tutte le lingue; perchè il parlare cade sotto il predicamento della quantità

1570, Benedetto Varchi, L'Ercolano - Volume secondo, published 1804, pages 299–300:

Numbers are found in every form of every language, for speech falls under the predicament of quantity

(logic, philosophy) predicament, category


predicamento

(chiefly logic and philosophy) predicament (a definite class, state or condition)


predicamento

(logic) predicament (that which is predicated); a category.


masked man fallacy

en-noun

masked man fallacy (plural masked man fallacies)

masked man fallacies (plural)
masked-man fallacy (alternative)

That is to say, one cannot infer from one's subjective state of certainty and uncertainty about two propositions, to the objective connection or lack of connection between them; but it is just such an inference that Descartes seems to be making about himself and his body, and which gives his argument its embarrassing resemblance to the masked man fallacy.

1978, Bernard Williams, Descartes: The Project of Pure Enquiry, New York: Routledge, published 2005, page 97:

Consider the Masked Man fallacy, which shows that I can know something under one description but not under another.

1999, Jonathan E. Pike, From Aristotle to Marx: Aristotelianism in Marxist social ontology, Ashgate, page 176:

[…] that because the per diem payments are compensatory, ipso facto they are not travel expenses. Without further explication, this latter proposition might be thought to exemplify a species of the so-called masked man fallacy ("I know who my father is; I do not know who the masked man is; so, my father is not the masked man.").

2001, Reports of the Tax Court of the United States, volume 117:

(logic, philosophy) A fallacy of inferring that since one knows (or does not know) something by one description, one must know (or not know) it by another, as in "I know who my father is. I do not know who the masked man is. Therefore, my father is not the masked man."


counterextension

counterextension (countable and uncountable, plural counterextensions)

(countable, logic) The set of tuples of values that, used as arguments, do not satisfy the predicate.


destructive sorites

destructive sorites (plural destructive sorites)

In a destructive Sorites, you, of course, go back from the denial of the last consequent to the denial of the first antecedent

1826, Richard Whately, Elements of Logic:

reductio ad absurdum
reductio ad absurdum

(logic) A form of reductio ad absurdum which involves the denial of the first of a series of dependent propositions as a consequence of the denial of the last.


indutivo

pt-adj

indutivo (feminine indutiva, masculine plural indutivos, feminine plural indutivas)

indutiva (feminine)
indutivos (masculine plural)
indutivas (feminine plural)

Borrowed from Late Latin inductīvus, from Latin indūcō.

(logic) inductive (relating to logical induction)


դատողություն

head

դատողություն • (datoġutʻyun) (traditional orthography spelling դատողութիւն)

datoġutʻyun (romanization)
orthography spelling դատողութիւն (traditional)
դատողություն (nominative singular)
դատողություններ (nominative plural)
դատողության (dative singular)
դատողությունների (dative plural)
դատողությունից (ablative singular)
դատողություններից (ablative plural)
դատողությամբ (instrumental singular)
դատողություններով (instrumental plural)
դատողությունում (locative singular)
դատողություններում (locative plural)
դատողությունը (definite nominative singular)
դատողությունն (definite nominative singular)
դատողությունները (definite nominative plural)
դատողություններն (definite nominative plural)
դատողությանը (dative definite singular)
դատողությանն (dative definite singular)
դատողություններին (dative definite plural)
դատողությունս (first-person nominative possessive singular)
դատողություններս (first-person nominative plural possessive)
դատողությանս (dative first-person possessive singular)
դատողություններիս (dative first-person plural possessive)
դատողությունիցս (ablative first-person possessive singular)
դատողություններիցս (ablative first-person plural possessive)
դատողությամբս (first-person instrumental possessive singular)
դատողություններովս (first-person instrumental plural possessive)
դատողությունումս (first-person locative possessive singular)
դատողություններումս (first-person locative plural possessive)
դատողությունդ (nominative possessive second-person singular)
դատողություններդ (nominative plural possessive second-person)
դատողությանդ (dative possessive second-person singular)
դատողություններիդ (dative plural possessive second-person)
դատողությունիցդ (ablative possessive second-person singular)
դատողություններիցդ (ablative plural possessive second-person)
դատողությամբդ (instrumental possessive second-person singular)
դատողություններովդ (instrumental plural possessive second-person)
դատողությունումդ (locative possessive second-person singular)
դատողություններումդ (locative plural possessive second-person)

hy-decl-noun

դատողություն

դատողությունը/դատողությունն

դատողություններ

դատողությունները/դատողություններն

դատողությանը/դատողությանն

դատողությունների, դատողությանց**

դատողություններին

դատողությունից

դատողություններից

դատողությամբ, դատողությունով*

դատողություններով

դատողությունում

դատողություններում

դատողությունս

դատողություններս

դատողությանս

դատողություններիս, դատողությանցս**

դատողությունիցս

դատողություններիցս

դատողությամբս, դատողությունովս*

դատողություններովս

դատողությունումս

դատողություններումս

դատողությունդ

դատողություններդ

դատողությանդ

դատողություններիդ, դատողությանցդ**

դատողությունիցդ

դատողություններիցդ

դատողությամբդ, դատողությունովդ*

դատողություններովդ

դատողությունումդ

դատողություններումդ

From Old Armenian դատողութիւն (datołutʻiwn).


οὐσία

grc-noun

οὐσίᾱ • (ousíā) f (genitive οὐσίᾱς); first declension

οὐσίᾱ (canonical)
ousíā (romanization)
οὐσίᾱς (genitive)
ἡ οὐσῐ́ᾱ (nominative singular)
τὼ οὐσῐ́ᾱ (dual nominative)
αἱ οὐσῐ́αι (nominative plural)
τῆς οὐσῐ́ᾱς (genitive singular)
τοῖν οὐσῐ́αιν (dual genitive)
τῶν οὐσῐῶν (genitive plural)
τῇ οὐσῐ́ᾳ (dative singular)
τοῖν οὐσῐ́αιν (dative dual)
ταῖς οὐσῐ́αις (dative plural)
τὴν οὐσῐ́ᾱν (accusative singular)
τὼ οὐσῐ́ᾱ (accusative dual)
τᾱ̀ς οὐσῐ́ᾱς (accusative plural)
οὐσῐ́ᾱ (singular vocative)
οὐσῐ́ᾱ (dual vocative)
οὐσῐ́αι (plural vocative)
οὐσίη (alternative)
ἐσσία (alternative)
ὠσία (alternative)

Greek: ουσία (ousía)

→ Arabic: أُوسِيَّة (ʔūsiyya)

desc

→ Old Church Slavonic: естьство (estĭstvo) (calque) (see there for further descendants)

From ὤν, οὖσᾰ, ὄν (ṓn, oûsă, ón, “being”), the present participle of εἰμῐ́ (eimĭ́) (“to be”), + -ῐ́ᾱ (-ĭ́ā, abstract noun suffix).

384 BCE – 322 BCE, Aristotle, Categories 1B.26

384 BCE – 322 BCE, Aristotle, Metaphysics 1045B.29

384 BCE – 322 BCE, Aristotle, Categories 2B.5

384 BCE – 322 BCE, Aristotle, Categories 2A.15

384 BCE – 322 BCE, Aristotle, Metaphysics 1035B.29

384 BCE – 322 BCE, Aristotle, Metaphysics 1043A.30

384 BCE – 322 BCE, Aristotle, On the Soul 412A.16

384 BCE – 322 BCE, Aristotle, Metaphysics 1037A.5

384 BCE – 322 BCE, Aristotle, On the Soul 412A.19

384 BCE – 322 BCE, Aristotle, Metaphysics 1035B.15

384 BCE – 322 BCE, Aristotle, Posterior Analytics 87A.36

(philosophy) Synonym of φύσις (phúsis) stable being, immutable reality

(logic) substance as the leading category


deduktiivisuus

deduktiivisuus (nominative singular)
deduktiivisuudet (nominative plural)
deduktiivisuus (accusative nominative singular)
deduktiivisuudet (accusative nominative plural)
deduktiivisuuden (accusative genitive singular)
deduktiivisuudet (accusative genitive plural)
deduktiivisuuden (genitive singular)
deduktiivisuuksien (genitive plural)
deduktiivisuutta (partitive singular)
deduktiivisuuksia (partitive plural)
deduktiivisuudessa (inessive singular)
deduktiivisuuksissa (inessive plural)
deduktiivisuudesta (elative singular)
deduktiivisuuksista (elative plural)
deduktiivisuuteen (illative singular)
deduktiivisuuksiin (illative plural)
deduktiivisuudella (adessive singular)
deduktiivisuuksilla (adessive plural)
deduktiivisuudelta (ablative singular)
deduktiivisuuksilta (ablative plural)
deduktiivisuudelle (allative singular)
deduktiivisuuksille (allative plural)
deduktiivisuutena (essive singular)
deduktiivisuuksina (essive plural)
deduktiivisuudeksi (singular translative)
deduktiivisuuksiksi (plural translative)
deduktiivisuudetta (abessive singular)
deduktiivisuuksitta (abessive plural)
deduktiivisuuksin (instructive plural)
See the possessive forms below. (comitative)
deduktiivisuuteni (nominative singular)
deduktiivisuuteni (nominative plural)
deduktiivisuuteni (accusative nominative singular)
deduktiivisuuteni (accusative nominative plural)
deduktiivisuuteni (accusative genitive singular)
deduktiivisuuteni (accusative genitive plural)
deduktiivisuuteni (genitive singular)
deduktiivisuuksieni (genitive plural)
deduktiivisuuttani (partitive singular)
deduktiivisuuksiani (partitive plural)
deduktiivisuudessani (inessive singular)
deduktiivisuuksissani (inessive plural)
deduktiivisuudestani (elative singular)
deduktiivisuuksistani (elative plural)
deduktiivisuuteeni (illative singular)
deduktiivisuuksiini (illative plural)
deduktiivisuudellani (adessive singular)
deduktiivisuuksillani (adessive plural)
deduktiivisuudeltani (ablative singular)
deduktiivisuuksiltani (ablative plural)
deduktiivisuudelleni (allative singular)
deduktiivisuuksilleni (allative plural)
deduktiivisuutenani (essive singular)
deduktiivisuuksinani (essive plural)
deduktiivisuudekseni (singular translative)
deduktiivisuuksikseni (plural translative)
deduktiivisuudettani (abessive singular)
deduktiivisuuksittani (abessive plural)
deduktiivisuuksineni (comitative plural)
deduktiivisuutesi (nominative singular)
deduktiivisuutesi (nominative plural)
deduktiivisuutesi (accusative nominative singular)
deduktiivisuutesi (accusative nominative plural)
deduktiivisuutesi (accusative genitive singular)
deduktiivisuutesi (accusative genitive plural)
deduktiivisuutesi (genitive singular)
deduktiivisuuksiesi (genitive plural)
deduktiivisuuttasi (partitive singular)
deduktiivisuuksiasi (partitive plural)
deduktiivisuudessasi (inessive singular)
deduktiivisuuksissasi (inessive plural)
deduktiivisuudestasi (elative singular)
deduktiivisuuksistasi (elative plural)
deduktiivisuuteesi (illative singular)
deduktiivisuuksiisi (illative plural)
deduktiivisuudellasi (adessive singular)
deduktiivisuuksillasi (adessive plural)
deduktiivisuudeltasi (ablative singular)
deduktiivisuuksiltasi (ablative plural)
deduktiivisuudellesi (allative singular)
deduktiivisuuksillesi (allative plural)
deduktiivisuutenasi (essive singular)
deduktiivisuuksinasi (essive plural)
deduktiivisuudeksesi (singular translative)
deduktiivisuuksiksesi (plural translative)
deduktiivisuudettasi (abessive singular)
deduktiivisuuksittasi (abessive plural)
deduktiivisuuksinesi (comitative plural)
deduktiivisuutemme (nominative singular)
deduktiivisuutemme (nominative plural)
deduktiivisuutemme (accusative nominative singular)
deduktiivisuutemme (accusative nominative plural)
deduktiivisuutemme (accusative genitive singular)
deduktiivisuutemme (accusative genitive plural)
deduktiivisuutemme (genitive singular)
deduktiivisuuksiemme (genitive plural)
deduktiivisuuttamme (partitive singular)
deduktiivisuuksiamme (partitive plural)
deduktiivisuudessamme (inessive singular)
deduktiivisuuksissamme (inessive plural)
deduktiivisuudestamme (elative singular)
deduktiivisuuksistamme (elative plural)
deduktiivisuuteemme (illative singular)
deduktiivisuuksiimme (illative plural)
deduktiivisuudellamme (adessive singular)
deduktiivisuuksillamme (adessive plural)
deduktiivisuudeltamme (ablative singular)
deduktiivisuuksiltamme (ablative plural)
deduktiivisuudellemme (allative singular)
deduktiivisuuksillemme (allative plural)
deduktiivisuutenamme (essive singular)
deduktiivisuuksinamme (essive plural)
deduktiivisuudeksemme (singular translative)
deduktiivisuuksiksemme (plural translative)
deduktiivisuudettamme (abessive singular)
deduktiivisuuksittamme (abessive plural)
deduktiivisuuksinemme (comitative plural)
deduktiivisuutenne (nominative singular)
deduktiivisuutenne (nominative plural)
deduktiivisuutenne (accusative nominative singular)
deduktiivisuutenne (accusative nominative plural)
deduktiivisuutenne (accusative genitive singular)
deduktiivisuutenne (accusative genitive plural)
deduktiivisuutenne (genitive singular)
deduktiivisuuksienne (genitive plural)
deduktiivisuuttanne (partitive singular)
deduktiivisuuksianne (partitive plural)
deduktiivisuudessanne (inessive singular)
deduktiivisuuksissanne (inessive plural)
deduktiivisuudestanne (elative singular)
deduktiivisuuksistanne (elative plural)
deduktiivisuuteenne (illative singular)
deduktiivisuuksiinne (illative plural)
deduktiivisuudellanne (adessive singular)
deduktiivisuuksillanne (adessive plural)
deduktiivisuudeltanne (ablative singular)
deduktiivisuuksiltanne (ablative plural)
deduktiivisuudellenne (allative singular)
deduktiivisuuksillenne (allative plural)
deduktiivisuutenanne (essive singular)
deduktiivisuuksinanne (essive plural)
deduktiivisuudeksenne (singular translative)
deduktiivisuuksiksenne (plural translative)
deduktiivisuudettanne (abessive singular)
deduktiivisuuksittanne (abessive plural)
deduktiivisuuksinenne (comitative plural)
deduktiivisuutensa (nominative singular)
deduktiivisuutensa (nominative plural)
deduktiivisuutensa (accusative nominative singular)
deduktiivisuutensa (accusative nominative plural)
deduktiivisuutensa (accusative genitive singular)
deduktiivisuutensa (accusative genitive plural)
deduktiivisuutensa (genitive singular)
deduktiivisuuksiensa (genitive plural)
deduktiivisuuttaan (partitive singular)
deduktiivisuuttansa (partitive singular)
deduktiivisuuksiaan (partitive plural)
deduktiivisuuksiansa (partitive plural)
deduktiivisuudessaan (inessive singular)
deduktiivisuudessansa (inessive singular)
deduktiivisuuksissaan (inessive plural)
deduktiivisuuksissansa (inessive plural)
deduktiivisuudestaan (elative singular)
deduktiivisuudestansa (elative singular)
deduktiivisuuksistaan (elative plural)
deduktiivisuuksistansa (elative plural)
deduktiivisuuteensa (illative singular)
deduktiivisuuksiinsa (illative plural)
deduktiivisuudellaan (adessive singular)
deduktiivisuudellansa (adessive singular)
deduktiivisuuksillaan (adessive plural)
deduktiivisuuksillansa (adessive plural)
deduktiivisuudeltaan (ablative singular)
deduktiivisuudeltansa (ablative singular)
deduktiivisuuksiltaan (ablative plural)
deduktiivisuuksiltansa (ablative plural)
deduktiivisuudelleen (allative singular)
deduktiivisuudellensa (allative singular)
deduktiivisuuksilleen (allative plural)
deduktiivisuuksillensa (allative plural)
deduktiivisuutenaan (essive singular)
deduktiivisuutenansa (essive singular)
deduktiivisuuksinaan (essive plural)
deduktiivisuuksinansa (essive plural)
deduktiivisuudekseen (singular translative)
deduktiivisuudeksensa (singular translative)
deduktiivisuuksikseen (plural translative)
deduktiivisuuksiksensa (plural translative)
deduktiivisuudettaan (abessive singular)
deduktiivisuudettansa (abessive singular)
deduktiivisuuksittaan (abessive plural)
deduktiivisuuksittansa (abessive plural)
deduktiivisuuksineen (comitative plural)
deduktiivisuuksinensa (comitative plural)

(logic) deducibility (capability of being deduced, quality of being deducible)


semifactual

From semi- + factual. In the logic sense, introduced by Nelson Goodman.

(logic) A conditional with a false antecedent and a true consequent.


prova dos nove

pt-noun

prova dos nove f (plural provas dos nove)

O seguro está muito bem modelado e a prova dos nove é que a inadimplência é baixa.

(logic, rhetoric) a definitive proof of the point stated


απαγωγή

head

απαγωγή • (apagogí) f (plural απαγωγές)

el-noun

απαγωγή • (apagogí) f (plural απαγωγές)

apagogí (romanization)
απαγωγές (plural)
απαγωγή (nominative singular)
απαγωγές (nominative plural)
απαγωγής (genitive singular)
απαγωγών (genitive plural)
απαγωγή (accusative singular)
απαγωγές (accusative plural)
απαγωγή (singular vocative)
απαγωγές (plural vocative)

Inherited from Ancient Greek ἀπαγωγή (apagōgḗ).


ratio formalis

en-noun

ratio formalis (plural rationes formales)

From Latin ratiō (“reason”) + fōrmālis (“formal”).

(philosophy, logic) the formal grounds for something; the essential attributes of matter as they appear in the mind or in a definition.


公設

/kʊŋ⁵⁵ ʂɤ⁵¹/

/kʊŋ⁵⁵ t͡sʰiːt̚³/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ³³ siɛt̚⁵/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/

/kʊŋ⁵⁵ ʂɤ⁵¹/

/kʊŋ⁵⁵ t͡sʰiːt̚³/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ³³ siɛt̚⁵/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/


metavariable

The pragmatic process of substitution requires some given context to provide an appropriate substituend for a metavariable projected by a pronoun.

2006 March 13, Lutz Martin, “Relative Clause Construal”, in The Dynamics of Language, Brill, →ISBN, page 85:

If it is a programming language, it will almost always have its own notion of variables, and hence the distinction between object-language variables and metavariables is useful.

2016, Aaron Stump, Verified Functional Programming in Agda, page 198:

(logic) A symbol or string of symbols belonging to a metalanguage and standing for elements of some object language.


ポーランド記法

ポーランド記法 (canonical)
pōrandokihō (romanization)

ポーランド (Pōrando, “Poland”) + 記法 (kihō, “notation”)

compound

中置記法

中置記法 ちゅうちきほう


真理値表

真理値表 (canonical)
shinrichihyō (romanization)

真理値 (shinrichi, “truth value”) + 表 (hyō, “table”)


predicat

→ English: predicate

French: prédicat

Vous voyez donc que c'est que un subiect maieur, & un mineur, & un predicat.

1571, Franc Sedile, Les sciences et secrets des arts, page 9:


tabela-verdade

pt-noun

tabela-verdade f (plural tabelas-verdade)

tabelas-verdade (plural)
tabela verdade (alternative)

(logic) truth table (table showing all possible truth-values for an expression)


διαίρεσις

grc-noun

δῐαίρεσῐς • (dĭaíresĭs) f (genitive δῐαιρέσεως); third declension

δῐαίρεσῐς (canonical)
dĭaíresĭs (romanization)
δῐαιρέσεως (genitive)
ἡ δῐαίρεσῐς (nominative singular)
τὼ δῐαιρέσει (dual nominative)
αἱ δῐαιρέσεις (nominative plural)
τῆς δῐαιρέσεως (genitive singular)
τοῖν δῐαιρεσέοιν (dual genitive)
τῶν δῐαιρέσεων (genitive plural)
τῇ δῐαιρέσει (dative singular)
τοῖν δῐαιρεσέοιν (dative dual)
ταῖς δῐαιρέσεσῐ (dative plural)
δῐαιρέσεσῐν (dative plural)
taîs dĭairésesĭ (dative plural)
taîs dĭairésesĭn (dative plural)
τὴν δῐαίρεσῐν (accusative singular)
τὼ δῐαιρέσει (accusative dual)
τᾱ̀ς δῐαιρέσεις (accusative plural)
δῐαίρεσῐ (singular vocative)
δῐαιρέσει (dual vocative)
δῐαιρέσεις (plural vocative)

σῠνᾰγωγή

antonym(s) of “division into logical genus and species”

σῠ́νθεσῐς

antonym(s) of “division of subject and predicate”

σῠναίρεσῐς

antonym(s) of “resolution of a diphthong into two syllables”

desctree

→ Latin: diaeresis
→ English: diaeresis
→ French: diérèse
→ Portuguese: diérese
→ Spanish: diéresis

From διαιρέω (diairéō, “take apart, cleave, divide”) + -σις (-sis), from δια- (dia-, “apart”) + αἱρέω (hairéō, “take, grasp”).

προσῳδία

προσῳδίαι ἑλληνικαί

360 BCE, Plato, The Sophist 267d

384 BCE – 322 BCE, Aristotle, Prior Analytics 1.31

428 BCE – 347 BCE, Plato, Phaedrus 266b

(logic) division into logical genus and species (γένος (génos) and εἶδος (eîdos))

384 BCE – 322 BCE, Aristotle, On Interpretation 1.16a

(logic) separation of the subject and predicate

384 BCE – 322 BCE, Aristotle, Sophistical Refutations 33.177a


conservative extension

en-noun

conservative extension (plural conservative extensions)

(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.


one-to-many

"Being a genetic mother of" is a one-to-many relation from the set of cats to the set of cats.

(mathematics, logic, of a relationship between two sets) Having the property that an element of one set may be assigned by the relationship to several elements in the other set, but that a given element in the second set can have only one member of the first set assigned to it.


many-to-one

(mathematics, logic, of a relationship between two sets) Having the property that many elements of one set may be assigned by the relationship to one element in the other set, and that a given element in the first set can be assigned by only one member of the second set.


many-to-many

"Is a fellow citizen with" is a many-to-many relationship on the set of people (from the set of people to the set of people).

(mathematics, logic, of a relationship between two sets) Having the property that many elements of one set may be assigned by the relationship to any element in the other set, and that a given element in the first set can also be assigned more than one member of the second set.


monadic second-order logic

monadic second-order logic (countable and uncountable, plural monadic second-order logics)

universe of discourse
universe of discourse

(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.


επαγωγή

head

επαγωγή • (epagogí) f (plural επαγωγές)

el-noun

επαγωγή • (epagogí) f (plural επαγωγές)

epagogí (romanization)
επαγωγές (plural)
επαγωγή (nominative singular)
επαγωγές (nominative plural)
επαγωγής (genitive singular)
επαγωγών (genitive plural)
επαγωγή (accusative singular)
επαγωγές (accusative plural)
επαγωγή (singular vocative)
επαγωγές (plural vocative)

(philosophy, logic) induction (thought processes leading to a conclusion)


elementary equivalence

en-noun

elementary equivalence (plural elementary equivalences)

(logic) A relation between two structures which have the property that every first-order formula is valid in one structure if and only if it is valid in the other.


λήμμα

límma (romanization)
λήμματα (plural)
λήμμα (nominative singular)
λήμματα (nominative plural)
λήμματος (genitive singular)
λημμάτων (genitive plural)
λήμμα (accusative singular)
λήμματα (accusative plural)
λήμμα (singular vocative)
λήμματα (plural vocative)

Learnedly, from Ancient Greek λῆμμᾰ (lêmmă), from *λῆβ-μα. For stem ληβ-, see verb λαμβάνω (lambánō).

(mathematics, logic) lemma (proved theorem used in the proof of another)


πάθημα

grc-noun

πᾰ́θημᾰ • (pắthēmă) n (genitive πᾰθήμᾰτος); third declension

πᾰ́θημᾰ (canonical)
pắthēmă (romanization)
πᾰθήμᾰτος (genitive)
τὸ πᾰ́θημᾰ (nominative singular)
τὼ πᾰθήμᾰτε (dual nominative)
τᾰ̀ πᾰθήμᾰτᾰ (nominative plural)
τοῦ πᾰθήμᾰτος (genitive singular)
τοῖν πᾰθημᾰ́τοιν (dual genitive)
τῶν πᾰθημᾰ́των (genitive plural)
τῷ πᾰθήμᾰτῐ (dative singular)
τοῖν πᾰθημᾰ́τοιν (dative dual)
τοῖς πᾰθήμᾰσῐ (dative plural)
πᾰθήμᾰσῐν (dative plural)
toîs păthḗmăsĭ (dative plural)
toîs păthḗmăsĭn (dative plural)
τὸ πᾰ́θημᾰ (accusative singular)
τὼ πᾰθήμᾰτε (accusative dual)
τᾰ̀ πᾰθήμᾰτᾰ (accusative plural)
πᾰ́θημᾰ (singular vocative)
πᾰθήμᾰτε (dual vocative)
πᾰθήμᾰτᾰ (plural vocative)
τὸ πᾰ́θημᾰ (nominative singular)
τὼ πᾰθήμᾰτε (dual nominative)
τᾰ̀ πᾰθήμᾰτᾰ (nominative plural)
τοῦ πᾰθήμᾰτος (genitive singular)
τοῖν πᾰθημᾰ́τοιν (dual genitive)
τῶν πᾰθημᾰ́των (genitive plural)
τῷ πᾰθήμᾰτῐ (dative singular)
τοῖν πᾰθημᾰ́τοιν (dative dual)
τοῖς πᾰθημᾰ́τοις (dative plural)
τὸ πᾰ́θημᾰ (accusative singular)
τὼ πᾰθήμᾰτε (accusative dual)
τᾰ̀ πᾰθήμᾰτᾰ (accusative plural)
πᾰ́θημᾰ (singular vocative)
πᾰθήμᾰτε (dual vocative)
πᾰθήμᾰτᾰ (plural vocative)

From πάσχω (páskhō, “suffer”) + -μᾰ (-mă).


MSO

(logic, computer science) Monadic second-order logic.


material equivalence
material equivalence

(logic) material equivalence; if and only if


negação

[ne.ɡaˈsɐ̃ʊ̯̃]

/nɨ.ɡɐˈsɐ̃w̃/

[nɨ.ɣɐˈsɐ̃w̃]

(logic) negation (proposition which is the contradictory of another proposition)


se e somente se

(logic) if and only if (implies and is implied by)


liar paradox

liar paradoxes (plural)
liar's paradox (alternative)

Graham Priest has argued the liar paradox is a true dialetheia.

(philosophy, logic) A paradox involving statements such as "this sentence is false", or "the following statement is true: the previous statement is false", which cannot be meaningfully regarded as either true or false.


principle of Pseudo-Scotus

principle of explosion
principle of explosion


klausuuli

klausuuli (nominative singular)
klausuulit (nominative plural)
klausuuli (accusative nominative singular)
klausuulit (accusative nominative plural)
klausuulin (accusative genitive singular)
klausuulit (accusative genitive plural)
klausuulin (genitive singular)
klausuulien (genitive plural)
klausuulia (partitive singular)
klausuuleja (partitive plural)
klausuulissa (inessive singular)
klausuuleissa (inessive plural)
klausuulista (elative singular)
klausuuleista (elative plural)
klausuuliin (illative singular)
klausuuleihin (illative plural)
klausuulilla (adessive singular)
klausuuleilla (adessive plural)
klausuulilta (ablative singular)
klausuuleilta (ablative plural)
klausuulille (allative singular)
klausuuleille (allative plural)
klausuulina (essive singular)
klausuuleina (essive plural)
klausuuliksi (singular translative)
klausuuleiksi (plural translative)
klausuulitta (abessive singular)
klausuuleitta (abessive plural)
klausuulein (instructive plural)
See the possessive forms below. (comitative)
klausuulini (nominative singular)
klausuulini (nominative plural)
klausuulini (accusative nominative singular)
klausuulini (accusative nominative plural)
klausuulini (accusative genitive singular)
klausuulini (accusative genitive plural)
klausuulini (genitive singular)
klausuulieni (genitive plural)
klausuuliani (partitive singular)
klausuulejani (partitive plural)
klausuulissani (inessive singular)
klausuuleissani (inessive plural)
klausuulistani (elative singular)
klausuuleistani (elative plural)
klausuuliini (illative singular)
klausuuleihini (illative plural)
klausuulillani (adessive singular)
klausuuleillani (adessive plural)
klausuuliltani (ablative singular)
klausuuleiltani (ablative plural)
klausuulilleni (allative singular)
klausuuleilleni (allative plural)
klausuulinani (essive singular)
klausuuleinani (essive plural)
klausuulikseni (singular translative)
klausuuleikseni (plural translative)
klausuulittani (abessive singular)
klausuuleittani (abessive plural)
klausuuleineni (comitative plural)
klausuulisi (nominative singular)
klausuulisi (nominative plural)
klausuulisi (accusative nominative singular)
klausuulisi (accusative nominative plural)
klausuulisi (accusative genitive singular)
klausuulisi (accusative genitive plural)
klausuulisi (genitive singular)
klausuuliesi (genitive plural)
klausuuliasi (partitive singular)
klausuulejasi (partitive plural)
klausuulissasi (inessive singular)
klausuuleissasi (inessive plural)
klausuulistasi (elative singular)
klausuuleistasi (elative plural)
klausuuliisi (illative singular)
klausuuleihisi (illative plural)
klausuulillasi (adessive singular)
klausuuleillasi (adessive plural)
klausuuliltasi (ablative singular)
klausuuleiltasi (ablative plural)
klausuulillesi (allative singular)
klausuuleillesi (allative plural)
klausuulinasi (essive singular)
klausuuleinasi (essive plural)
klausuuliksesi (singular translative)
klausuuleiksesi (plural translative)
klausuulittasi (abessive singular)
klausuuleittasi (abessive plural)
klausuuleinesi (comitative plural)
klausuulimme (nominative singular)
klausuulimme (nominative plural)
klausuulimme (accusative nominative singular)
klausuulimme (accusative nominative plural)
klausuulimme (accusative genitive singular)
klausuulimme (accusative genitive plural)
klausuulimme (genitive singular)
klausuuliemme (genitive plural)
klausuuliamme (partitive singular)
klausuulejamme (partitive plural)
klausuulissamme (inessive singular)
klausuuleissamme (inessive plural)
klausuulistamme (elative singular)
klausuuleistamme (elative plural)
klausuuliimme (illative singular)
klausuuleihimme (illative plural)
klausuulillamme (adessive singular)
klausuuleillamme (adessive plural)
klausuuliltamme (ablative singular)
klausuuleiltamme (ablative plural)
klausuulillemme (allative singular)
klausuuleillemme (allative plural)
klausuulinamme (essive singular)
klausuuleinamme (essive plural)
klausuuliksemme (singular translative)
klausuuleiksemme (plural translative)
klausuulittamme (abessive singular)
klausuuleittamme (abessive plural)
klausuuleinemme (comitative plural)
klausuulinne (nominative singular)
klausuulinne (nominative plural)
klausuulinne (accusative nominative singular)
klausuulinne (accusative nominative plural)
klausuulinne (accusative genitive singular)
klausuulinne (accusative genitive plural)
klausuulinne (genitive singular)
klausuulienne (genitive plural)
klausuulianne (partitive singular)
klausuulejanne (partitive plural)
klausuulissanne (inessive singular)
klausuuleissanne (inessive plural)
klausuulistanne (elative singular)
klausuuleistanne (elative plural)
klausuuliinne (illative singular)
klausuuleihinne (illative plural)
klausuulillanne (adessive singular)
klausuuleillanne (adessive plural)
klausuuliltanne (ablative singular)
klausuuleiltanne (ablative plural)
klausuulillenne (allative singular)
klausuuleillenne (allative plural)
klausuulinanne (essive singular)
klausuuleinanne (essive plural)
klausuuliksenne (singular translative)
klausuuleiksenne (plural translative)
klausuulittanne (abessive singular)
klausuuleittanne (abessive plural)
klausuuleinenne (comitative plural)
klausuulinsa (nominative singular)
klausuulinsa (nominative plural)
klausuulinsa (accusative nominative singular)
klausuulinsa (accusative nominative plural)
klausuulinsa (accusative genitive singular)
klausuulinsa (accusative genitive plural)
klausuulinsa (genitive singular)
klausuuliensa (genitive plural)
klausuuliaan (partitive singular)
klausuuliansa (partitive singular)
klausuulejaan (partitive plural)
klausuulejansa (partitive plural)
klausuulissaan (inessive singular)
klausuulissansa (inessive singular)
klausuuleissaan (inessive plural)
klausuuleissansa (inessive plural)
klausuulistaan (elative singular)
klausuulistansa (elative singular)
klausuuleistaan (elative plural)
klausuuleistansa (elative plural)
klausuuliinsa (illative singular)
klausuuleihinsa (illative plural)
klausuulillaan (adessive singular)
klausuulillansa (adessive singular)
klausuuleillaan (adessive plural)
klausuuleillansa (adessive plural)
klausuuliltaan (ablative singular)
klausuuliltansa (ablative singular)
klausuuleiltaan (ablative plural)
klausuuleiltansa (ablative plural)
klausuulilleen (allative singular)
klausuulillensa (allative singular)
klausuuleilleen (allative plural)
klausuuleillensa (allative plural)
klausuulinaan (essive singular)
klausuulinansa (essive singular)
klausuuleinaan (essive plural)
klausuuleinansa (essive plural)
klausuulikseen (singular translative)
klausuuliksensa (singular translative)
klausuuleikseen (plural translative)
klausuuleiksensa (plural translative)
klausuulittaan (abessive singular)
klausuulittansa (abessive singular)
klausuuleittaan (abessive plural)
klausuuleittansa (abessive plural)
klausuuleineen (comitative plural)
klausuuleinensa (comitative plural)

< Swedish klausul, compare English clause


szillogizmus

szillogizmusok (plural)
szillogizmus (nominative singular)
szillogizmusok (nominative plural)
szillogizmust (accusative singular)
szillogizmusokat (accusative plural)
szillogizmusnak (dative singular)
szillogizmusoknak (dative plural)
szillogizmussal (instrumental singular)
szillogizmusokkal (instrumental plural)
szillogizmusért (causal-final singular)
szillogizmusokért (causal-final plural)
szillogizmussá (singular translative)
szillogizmusokká (plural translative)
szillogizmusig (singular terminative)
szillogizmusokig (plural terminative)
szillogizmusként (essive-formal singular)
szillogizmusokként (essive-formal plural)
szillogizmusban (inessive singular)
szillogizmusokban (inessive plural)
szillogizmuson (singular superessive)
szillogizmusokon (plural superessive)
szillogizmusnál (adessive singular)
szillogizmusoknál (adessive plural)
szillogizmusba (illative singular)
szillogizmusokba (illative plural)
szillogizmusra (singular sublative)
szillogizmusokra (plural sublative)
szillogizmushoz (allative singular)
szillogizmusokhoz (allative plural)
szillogizmusból (elative singular)
szillogizmusokból (elative plural)
szillogizmusról (delative singular)
szillogizmusokról (delative plural)
szillogizmustól (ablative singular)
szillogizmusoktól (ablative plural)
szillogizmusé (singular)
szillogizmusoké (plural)
szillogizmuséi (singular)
szillogizmusokéi (plural)
szillogizmusom (first-person possessed-single possessive singular)
szillogizmusaim (first-person possessed-many possessive singular)
szillogizmusod (possessed-single possessive second-person singular)
szillogizmusaid (possessed-many possessive second-person singular)
szillogizmusa (possessed-single possessive singular third-person)
szillogizmusai (possessed-many possessive singular third-person)
szillogizmusunk (first-person plural possessed-single possessive)
szillogizmusaink (first-person plural possessed-many possessive)
szillogizmusotok (plural possessed-single possessive second-person)
szillogizmusaitok (plural possessed-many possessive second-person)
szillogizmusuk (plural possessed-single possessive third-person)
szillogizmusaik (plural possessed-many possessive third-person)

From Latin syllogismus, from Ancient Greek συλλογισμός (sullogismós, “inference, conclusion”). With -izmus ending.


誤謬

誤謬 (canonical)
gobyū (romanization)
gobiu (romanization)
ごびう (hiragana historical)


aletiologia

(logic) alethiology (branch of logic dealing with truth and error)


alético

pt-adj

alético (feminine alética, masculine plural aléticos, feminine plural aléticas)

alética (feminine)
aléticos (masculine plural)
aléticas (feminine plural)

(logic) alethic (pertaining to the modalities of truth)


نفي

نَفْي (canonical)
nafy (romanization)
نَفْي (indefinite informal singular triptote)
النَّفْي (definite informal singular triptote)
نَفْي (construct informal singular triptote)
نَفْيٌ (indefinite nominative singular triptote)
النَّفْيُ (definite nominative singular triptote)
نَفْيُ (construct nominative singular triptote)
نَفْيًا (accusative indefinite singular triptote)
النَّفْيَ (accusative definite singular triptote)
نَفْيَ (accusative construct singular triptote)
نَفْيٍ (genitive indefinite singular triptote)
النَّفْيِ (definite genitive singular triptote)
نَفْيِ (construct genitive singular triptote)

→ Persian: نفی (nafy)

→ Ottoman Turkish: نفی (nefiy)

> Turkish: nefiy (inherited)

→ Crimean Tatar: nefiy

نَفْيُ النَّفْيِ إِثْبَاتٌ

The negation of negation is an affirmation.


tiên đề

[tiən˧˧ ʔɗe˨˩]

[tiəŋ˧˧ ʔɗej˦˩]

[tiəŋ˧˧ ʔɗej˨˩]

Sino-Vietnamese word from 先 (“before; previous”) and 題 (“title”).

vi-etym-sino

Tiên đề Ơ-clít về đường thẳng song song: qua một điểm nằm ngoài một đường thẳng, có một và chỉ một đưởng thẳng song song với đường thẳng đó.

Euclidean axiom on parallel lines: through a point that's not on a line, there's one and only one line that's parallel with that line.

(philosophy, mathematics, logic, proof theory) an axiom


định lí

[ʔɗïŋ˧˨ʔ li˧˦]

[ʔɗɨn˨˩ʔ lɪj˨˩˦]

[ʔɗɨn˨˩˨ lɪj˦˥]

Định lý Huygen cho phép tìm mômen quán tính của một vật thể đối với trục đã cho Oz₁ trong trường hợp đã biết mômen quán tính của vật thể đó đối với trục bất kỳ Az₂ song song với Oz₁.

1979, S.M. Targ, translated by Phạm Huyền, Giáo trình giản yếu cơ học lý thuyết, NXB đại học và trung học chuyên nghiệp Hà Nội, page 339:

Huygens' theorem allows to find the moment of inertia of some body relative to a given axis Oz₁ in the case the moment of inertia of that body relative to an arbitrary axis Az₂ parallel to Oz₁ is known.


contradição em termos

pt-noun

contradição em termos f (plural contradições em termos)

contradiction in terms
contradiction in terms

(rhetoric, logic) contradiction in terms (expression in which the terms contradict one another)


ตรรกวิบัติ

th-noun

ตรรกวิบัติ • (dtàk-gà-wí-bàt)

From Sanskrit तर्क (tarka, “argument; reasoning; etc.”) + विपत्ति (vipatti, “adversity; calamity; difficulty; disaster; hardship; etc.”); equivalent to ตรรก (dtàk) + วิบัติ (wí-bàt).

com

ตรรก (dtàk) + วิบัติ (wí-bàt)


antepredicamento

it-noun

antepredicamento m (plural antepredicamenti)


antepredicamento

pt-noun

antepredicamento m (plural antepredicamentos)

(logic) antepredicament (prerequisite to a clear understanding of a predicament)


antilogismo

(logic) antilogism (false syllogism in which two premises contradict the third)


antilogism

(logic) A false syllogism in which two premises contradict the third


noneism

From none + -ism, coined by Richard Routley.

(logic, metaphysics) The theory that some things do not exist, and it is possible to quantify over non-existent things using the particular or existential quantifier.


switching function

en-noun

switching function (plural switching functions)

Boolean function
Boolean function#English


contrapose

en-verb

contrapose (third-person singular simple present contraposes, present participle contraposing, simple past and past participle contraposed)

contraposes (present singular third-person)
contraposing (participle present)
contraposed (participle past)
contraposed (past)

We certainly do not want to take our simple categorical statements and contrapose them into cumbersome natural language.

2005, Robert Malcolm Murray, Nebojsa Kujundzic, Critical Reflection: A Textbook for Critical Thinking, →ISBN, page 214:

To contrapose an argument one swaps the conclusion with any one of the premisses and negates each of the swapped statements.

2006, Philosophy of Psychology and Cognitive Science, →ISBN, page 461:

But subjunctive conditionals do not contrapose, and we are misled into accepting a sensitivity condition by confusing it with a safety condition.

2015, Ernest Sosa, Judgment and Agency, →ISBN, page 120:

(transitive, logic) To place in contraposition.


contraposed

Inductive extrapolation, in effect, is grounded in the contraposed universal generalisation 'where the reason, so the target.'

2001, Jonardon Ganeri, Philosophy in Classical India: The Proper Work of Reason, →ISBN, page 118:


law of identity

The law of identity states that an apple is an apple.

(logic) The logical principle that anything equals itself, expressed by the symbolic equation A=A.


law of nontriviality

Aristotle argued the law of non-triviality was an inevitable belief for all people because denying it is not possible if a person is going to behave in a discriminating way.

(logic) The rule that states that not all propositions are true, the opposite of trivialism.


πρόσληψις

grc-noun

πρόσληψῐς • (próslēpsĭs) f (genitive προσλήψεως or προσλήψῐος); third declension

πρόσληψῐς (canonical)
próslēpsĭs (romanization)
προσλήψεως (genitive)
προσλήψῐος (genitive)
ἡ πρόσληψῐς (nominative singular)
τὼ προσλήψει (dual nominative)
αἱ προσλήψεις (nominative plural)
τῆς προσλήψεως (genitive singular)
τοῖν προσληψέοιν (dual genitive)
τῶν προσλήψεων (genitive plural)
τῇ προσλήψει (dative singular)
τοῖν προσληψέοιν (dative dual)
ταῖς προσλήψεσῐ (dative plural)
προσλήψεσῐν (dative plural)
taîs proslḗpsesĭ (dative plural)
taîs proslḗpsesĭn (dative plural)
τὴν πρόσληψῐν (accusative singular)
τὼ προσλήψει (accusative dual)
τᾱ̀ς προσλήψεις (accusative plural)
πρόσληψῐ (singular vocative)
προσλήψει (dual vocative)
προσλήψεις (plural vocative)

English: proslepsis

προσλᾰμβᾰ́νω (proslămbắnō, “take or receive besides or in addition, get over and above”) + -σῐς (-sĭs)

suffix

προσλᾰμβᾰ́νω

384 BCE – 322 BCE, Aristotle, Prior Analytics 2.5.58b

150 CE – 250 CE, Alexander of Aphrodisias, in APr. 378.14

Phlp., in APr. 416.24

Aps., Rh. p.288

50 CE – 250 CE, Apollonius Dyscolus, On Conjunctions 250.18

Crinis, Stoic. 3.269

46 CE – 120 CE, Plutarch, Moralia 2.387c

50 CE – 250 CE, Apollonius Dyscolus, On Conjunctions 250.21

160 CE – 210 CE, Sextus Empiricus, Outlines of Pyrrhonism 2.149

3rd century CE, Diogenes Laertius, Lives and Opinions of Eminent Philosophers 7.82

(logic, rhetoric) additional assumption
minor premise


disyuntiva

Feminine substantive form of disyuntivo.


equisatisfiable

The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.

2015, Xu Lu, Zhenhua Duan, Cong Tian, “Extending PPTL for Verifying Heap Evolution Properties”, in arXiv:

(logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).


equisatisfiability

(logic, of two formulas) The condition of being equisatisfiable.


spriedums

spriedums (nominative singular)
spriedumi (nominative plural)
sprieduma (genitive singular)
spriedumu (genitive plural)
spriedumam (dative singular)
spriedumiem (dative plural)
spriedumu (accusative singular)
spriedumus (accusative plural)
spriedumu (instrumental singular)
spriedumiem (instrumental plural)
spriedumā (locative singular)
spriedumos (locative plural)
spriedum (singular vocative)
spriedumi (plural vocative)

From spriest (past stem: spried-) (“to judge”) + -ums.

spriest <small>(past stem: spried-</small>)

sprieduma priekšmets

sprieduma subjekts, predikāts

vispārējs spriedums

daļējs spriedums

hipotētisks spriedums

paradokss ir pārsteidzošs divu spriedumu savienojums, kurā no formāli loģiskā viedokļa viens spriedums otru izslēdz, taču reāli abi ir vienlīdz iespējami

a paradox is a surprising union of two judgments in which, from a formally logical viewpoint, one judgment excludes the other, but in reality both are equally possible

(logic) judgment (a type of thinking which expresses in affirmative or negative form objects and their characteristics with respect to each other)


kijelentés

head

kijelentés (countable and uncountable, plural kijelentések)

kijelentések (plural)
kijelentés (nominative singular)
kijelentések (nominative plural)
kijelentést (accusative singular)
kijelentéseket (accusative plural)
kijelentésnek (dative singular)
kijelentéseknek (dative plural)
kijelentéssel (instrumental singular)
kijelentésekkel (instrumental plural)
kijelentésért (causal-final singular)
kijelentésekért (causal-final plural)
kijelentéssé (singular translative)
kijelentésekké (plural translative)
kijelentésig (singular terminative)
kijelentésekig (plural terminative)
kijelentésként (essive-formal singular)
kijelentésekként (essive-formal plural)
kijelentésben (inessive singular)
kijelentésekben (inessive plural)
kijelentésen (singular superessive)
kijelentéseken (plural superessive)
kijelentésnél (adessive singular)
kijelentéseknél (adessive plural)
kijelentésbe (illative singular)
kijelentésekbe (illative plural)
kijelentésre (singular sublative)
kijelentésekre (plural sublative)
kijelentéshez (allative singular)
kijelentésekhez (allative plural)
kijelentésből (elative singular)
kijelentésekből (elative plural)
kijelentésről (delative singular)
kijelentésekről (delative plural)
kijelentéstől (ablative singular)
kijelentésektől (ablative plural)
kijelentésé (singular)
kijelentéseké (plural)
kijelentéséi (singular)
kijelentésekéi (plural)
kijelentésem (first-person possessed-single possessive singular)
kijelentéseim (first-person possessed-many possessive singular)
kijelentésed (possessed-single possessive second-person singular)
kijelentéseid (possessed-many possessive second-person singular)
kijelentése (possessed-single possessive singular third-person)
kijelentései (possessed-many possessive singular third-person)
kijelentésünk (first-person plural possessed-single possessive)
kijelentéseink (first-person plural possessed-many possessive)
kijelentésetek (plural possessed-single possessive second-person)
kijelentéseitek (plural possessed-many possessive second-person)
kijelentésük (plural possessed-single possessive third-person)
kijelentéseik (plural possessed-many possessive third-person)


antinomicamente

(logic) antinomically (in an antinomic manner)


antinómico

pt-adj

antinómico (feminine antinómica, masculine plural antinómicos, feminine plural antinómicas)

antinómica (feminine)
antinómicos (masculine plural)
antinómicas (feminine plural)
antinômico (alternative)

(logic) antinomic (exhibiting or pertaining to antinomy)


ou exclusivo

(logic) xor; exclusive or (logical operation that outputs true only when both inputs differ)


bináris

bináris (nominative singular)
binárisak (nominative plural)
binárist (accusative singular)
binárisakat (accusative plural)
binárisnak (dative singular)
binárisaknak (dative plural)
binárissal (instrumental singular)
binárisakkal (instrumental plural)
binárisért (causal-final singular)
binárisakért (causal-final plural)
binárissá (singular translative)
binárisakká (plural translative)
binárisig (singular terminative)
binárisakig (plural terminative)
binárisként (essive-formal singular)
binárisakként (essive-formal plural)
binárisban (inessive singular)
binárisakban (inessive plural)
binárison (singular superessive)
binárisakon (plural superessive)
binárisnál (adessive singular)
binárisaknál (adessive plural)
binárisba (illative singular)
binárisakba (illative plural)
binárisra (singular sublative)
binárisakra (plural sublative)
binárishoz (allative singular)
binárisakhoz (allative plural)
binárisból (elative singular)
binárisakból (elative plural)
binárisról (delative singular)
binárisakról (delative plural)
bináristól (ablative singular)
binárisaktól (ablative plural)
binárisé (singular)
binárisaké (plural)
bináriséi (singular)
binárisakéi (plural)

Internationalism , from Late Latin bīnārius, from Latin bīnī.

(logic) binary (concerning logic whose subject matter concerns binary states)


apodicticamente

tlb

(Brazilian Portuguese spelling, European Portuguese spelling)

(logic) apodictically (in an apodictical manner)


apodicticidade

(logic) apodicticity (the state of being apodictic)


apodíctico

pt-adj

apodíctico (feminine apodíctica, masculine plural apodícticos, feminine plural apodícticas)

apodíctica (feminine)
apodícticos (masculine plural)
apodícticas (feminine plural)
apodítico (alternative)

Learned borrowing from Latin apodīcticus, from Ancient Greek ἀποδεικτικός (apodeiktikós).

der

ἀποδεικτικός

(logic) apodeictic (incontrovertibly true or false)


apodíctico

apodíctica (feminine)
apodícticos (masculine plural)
apodícticas (feminine plural)

Borrowed from Latin apodīcticus, from Ancient Greek ἀποδεικτικός (apodeiktikós).

ἀποδεικτικός


aridade

(logic, mathematics, computer science) arity (number of arguments a function takes)


valor de verdade

pt-noun

valor de verdade m (plural valores de verdade)

(logic) truth value (variable with two possible values: true or false)


valor-verdade

valor-verdade m (plural valores-verdade)


אםם

From אִם וְרַק אִם ('im v'rak 'im) by analogy to English iff from if and only if.

אני פותח את המטרייה אםם יורד גשם.

הוכיחו גם, כי #124;A#124;#61;0 אםם A#61;0.
Prove also, that |A|=0 iff A=0.

2009, מבוא לאנליזה פונקציונלית / כרך ג׳ (“Introduction to functional analytics / Volume 3”), Open University of Israel →ISBN, page 12

(mathematics, logic) iff, if and only if


injectif

fr-adj

injectif (feminine injective, masculine plural injectifs, feminine plural injectives)

injective (feminine)
injectifs (masculine plural)
injectives (feminine plural)

From inject(ion) + -if, formed analogously to projectif. Coined by a group of French mathematicians writing under the pseudonym Nicolas Bourbaki in or shortly after 1939


आगमन

āgaman (romanization)
आगमन (direct singular)
आगमन (direct plural)
आगमन (oblique singular)
आगमनों (oblique plural)
आगमन (singular vocative)
आगमनो (plural vocative)

[äː.ɡɐ.mɐ̃n]

Learned borrowing from Sanskrit आगमन (āgamana). Cognate with Latin adventus (“arrival, approach”), whence English advent.


वाक्य

vākya (romanization)
वाक्यम् (nominative singular)
वाक्ये (dual nominative)
वाक्यानि (nominative plural)
वाक्या1 (nominative plural)
वाक्य (singular vocative)
वाक्ये (dual vocative)
वाक्यानि (plural vocative)
वाक्या1 (plural vocative)
वाक्यम् (accusative singular)
वाक्ये (accusative dual)
वाक्यानि (accusative plural)
वाक्या1 (accusative plural)
वाक्येन (instrumental singular)
वाक्याभ्याम् (dual instrumental)
वाक्यैः (instrumental plural)
वाक्येभिः1 (instrumental plural)
वाक्याय (dative singular)
वाक्याभ्याम् (dative dual)
वाक्येभ्यः (dative plural)
वाक्यात् (ablative singular)
वाक्याभ्याम् (ablative dual)
वाक्येभ्यः (ablative plural)
वाक्यस्य (genitive singular)
वाक्ययोः (dual genitive)
वाक्यानाम् (genitive plural)
वाक्ये (locative singular)
वाक्ययोः (dual locative)
वाक्येषु (locative plural)

desctree

Pali: vākya
→ Burmese: ဝါကျ (wa-kya.)
→ Khmer: ពាក្យ (piək), វាក្យ (viəkyaʼ)
→ Lao: ພາກ (phāk)
→ Thai: พากย์ (pâak)

→ Gujarati: વાક્ય (vākya)

→ Hindustani:

Hindi: वाक्य (vākya)

Urdu: واکیہ (vākya)

→ Kannada: ವಾಕ್ಯ (vākya)

→ Old Marathi:

Devanagari script: वाइक्य (vāikya), वाक्य (vākya)

Modi script: 𑘪𑘰𑘃𑘎𑘿𑘧 (vāīkya), 𑘪𑘰𑘎𑘿𑘧 (vākya)

→ Nepali: वाक्य (wākya)

→ Punjabi:

Gurmukhi script: ਵਾਕ (vāk)

Shahmukhi script: واکیہ (vāk)

⇒ Telugu: వాక్యము (vākyamu)

Vṛddhi derivative of वच् (vac) with a -य (-ya) extension.

vrd-ya

(logic) an argument, syllogism or member of a syllogism


మర్కటకిశోరన్యాయము

te-noun

మర్కటకిశోరన్యాయము • (markaṭakiśōranyāyamu) ? (plural మర్కటకిశోరన్యాయములు)

markaṭakiśōranyāyamu (romanization)
మర్కటకిశోరన్యాయములు (plural)

(logic) "like the monkey and its cub", i.e., the weaker adheres to the stronger by instinct


క్షీరోదకన్యాయము

క్షీరోదకన్యాయము • (kṣīrōdakanyāyamu) ? (plural క్షీరోదకన్యాయములు)

kṣīrōdakanyāyamu (romanization)
క్షీరోదకన్యాయములు (plural)

(logic) intimate union as milk and water mixed with each other


گزاره

head

گزاره • (gozâre)

fa-noun

گزاره • (gozâre)

[ɡ̥o.zɒː.ɹé]

From گزار (gozâr, “present stem of گزاردن”) + ـه (-e).


bijectif

fr-adj

bijectif (feminine bijective, masculine plural bijectifs, feminine plural bijectives)

bijective (feminine)
bijectifs (masculine plural)
bijectives (feminine plural)


intuitionnisme

fr-noun

intuitionnisme m (plural intuitionnismes)


στοιχειολογία

head

στοιχειολογία • (stoicheiología) f (uncountable)

stoicheiología (romanization)
στοιχειολογία (nominative singular)
στοιχειολογίας (genitive singular)
στοιχειολογία (accusative singular)
στοιχειολογία (singular vocative)

el-decl-noun-unc

στοιχειολογία

στοιχειολογίας

στοιχειολογία

στοιχειολογία

There is a Katharevousa accusative form στοιχειολογίαν.

Καὶ τοιαύτην μὲν ἐξέτασιν ἐν γένει ποιῶν τὴν φυσικὴν καλουμένην κυρίως συνεστήσατο· τὰ διάφορα δὲ στοιχεῖα ἐξ ὧν τὰ σώματα σύγκεινται θεωρῶν, εἰς τὴν καλουμένην χυμείαν, εἰ τε στοιχειακὴν, ἢ στοιχειολογίαν ἀρχὴν ἔδωκεν!

1977, Giannis Karas, Θεόφιλος Καΐρης, Κωνσταντῖνος Μ. Κούμας· Δυὸ πρωτοπόροι δάσκαλοι τοῦ Γένους, §. ΝΘ’., 97

(please add an English translation of this quotation)

Kaì toiaútēn mèn exétasin en génei poiôn tḕn phusikḕn kalouménēn kuríōs sunestḗsato; tà diáphora dè stoikheîa ex hôn tà sṓmata súnkeintai theōrôn, eis tḕn kalouménēn khumeían, ei te stoikheiakḕn, ḕ stoikheiologían arkhḕn édōken!


stœchiologie

desc

στοιχειολογία

Greek: στοιχειολογία (stoicheiología)

From Ancient Greek στοιχεῖον (stoikheîon, “element, fundamental principle”) + -logie.


蘊含

/wɐn¹³ hɐm²¹/

/uŋ⁵²⁻³⁵ ham⁵⁵/

/wɐn¹³ hɐm²¹/

/uŋ⁵²⁻³⁵ ham⁵⁵/


trivialist

(logic) A proponent of trivialism, the metaphysical and logical theory that all propositions are true.


biunivoque

une correspondance biunivoque

(mathematics, logic) biunivocal, bijective, one-to-one


linear logic

Gentzen also wrote down inference rules suitable for the intuitionistic propositional and predicate calculi. These rules lack the mirror symmetry of the classical case. But in the 1980s, this symmetry was restored by Girard’s invention of ‘linear logic’ [43].

2009 February 3, John C. Baez with Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title or journal name), page 39:

(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.


counterpossible

(philosophy, logic) A counterfactual in which the antecedent could not possibly be true.


logica matematica

it-noun

logica matematica f (plural logiche matematiche)


antecedens

antecedens (nominative singular)
antecedensy (nominative plural)
antecedensu (genitive singular)
antecedensów (genitive plural)
antecedensowi (dative singular)
antecedensom (dative plural)
antecedens (accusative singular)
antecedensy (accusative plural)
antecedensem (instrumental singular)
antecedensami (instrumental plural)
antecedensie (locative singular)
antecedensach (locative plural)
antecedensie (singular vocative)
antecedensy (plural vocative)

Learned borrowing from Latin antecēdēns.

(logic) antecedent (the conditional part of a hypothetical proposition)


sequent calculus

en-noun

sequent calculus (plural sequent calculi)

(mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.


atomic formula

atomic formula (plural atomic formulae or atomic formulas)

atomic formulae (plural)
atomic formulas (plural)

In predicate logic, an atomic formula consists of a predicate together with its arguments, its arguments being terms.

(logic) A formula which does not have smaller subformulas.


συλλογισμός

grc-noun

σῠλλογῐσμός • (sŭllogĭsmós) m (genitive σῠλλογῐσμοῦ); second declension

σῠλλογῐσμός (canonical)
sŭllogĭsmós (romanization)
σῠλλογῐσμοῦ (genitive)
ὁ σῠλλογῐσμός (nominative singular)
τὼ σῠλλογῐσμώ (dual nominative)
οἱ σῠλλογῐσμοί (nominative plural)
τοῦ σῠλλογῐσμοῦ (genitive singular)
τοῖν σῠλλογῐσμοῖν (dual genitive)
τῶν σῠλλογῐσμῶν (genitive plural)
τῷ σῠλλογῐσμῷ (dative singular)
τοῖν σῠλλογῐσμοῖν (dative dual)
τοῖς σῠλλογῐσμοῖς (dative plural)
τὸν σῠλλογῐσμόν (accusative singular)
τὼ σῠλλογῐσμώ (accusative dual)
τοὺς σῠλλογῐσμούς (accusative plural)
σῠλλογῐσμέ (singular vocative)
σῠλλογῐσμώ (dual vocative)
σῠλλογῐσμοί (plural vocative)

desc

→ Greek: συλλογισμός (syllogismós) (learned)

Verbal noun from συλλογίζομαι (sullogízomai, “to compute, infer”) + -μός (-mós).

affix

συλλογίζομαι

putting together of observed facts: inference

(logic) syllogism (beginning with Aristotle)


不周

/pu⁵¹ ʈ͡ʂoʊ̯⁵⁵/

/pɐt̚⁵ t͡sɐu̯⁵⁵/

/pu⁵¹ ʈ͡ʂoʊ̯⁵⁵/

/pɐt̚⁵ t͡sɐu̯⁵⁵/

中項不周

中项不周


superpredicate

LL-Q1860 (eng)-Flame, not lame-superpredicate.wav

(logic) A kind of relation between predicates.


propositional constant

en-noun

propositional constant (plural propositional constants)

(logic) One of a set of letters or symbols which are assigned fixed truth values independently of any interpretation or valuation, and each of which qualifies as a prime formula of their language.


hypolemma

hypolemma (plural hypolemmas or hypolemmata)

hypolemmas (plural)
hypolemmata (plural)

From Latin hypolēmma, from Ancient Greek ὑπόλημμᾰ (hupólēmmă, “supposition”), from ὑπο- (hupo-, “lesser”) + λῆμμα (lêmma, “assumption”).

affix

(logic, rare) A lesser proposition or subsumption within a larger syllogism.


paraconsistentization

Moreover, we study the case of paraconsistentization of propositional classical logic.

2016, Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H.B. Dias, “On a paraconsistentization functor in the category of consequence structures”, in arXiv:

(logic, rare) Conversion to a paraconsistent form.


claonloighic

head

claonloighic f (genitive singular claonloighce)

claonloighce (genitive singular)
claonloighic (indefinite nominative singular)
a chlaonloighic (indefinite singular vocative)
claonloighce (genitive indefinite singular)
claonloighic (dative indefinite singular)
an chlaonloighic (definite nominative singular)
na claonloighce (definite genitive singular)
leis an gclaonloighic (dative definite singular)
don chlaonloighic (dative definite singular)
claonloighic
chlaonloighic
gclaonloighic

From claon- (“crooked, sloping, inclined”) + loighic (“logic”).


нөхцөл

[ˈnʊxt͡sʊ̈ɮ]

Perhaps нөхцөх (nöxcöx, “to befriend”) + -л (-l).


歸納法

/ku̯eɪ̯⁵⁵ nä⁵¹ fä²¹⁴⁻²¹⁽⁴⁾/

/kʷɐi̯⁵⁵ naːp̚² faːt̚³/

/kui⁴⁴⁻²² lap̚⁴⁻³² huat̚³²/

/kui⁴⁴⁻²² lap̚¹²¹⁻²¹ huat̚³²/

/kui⁴⁴⁻³³ lap̚⁴⁻³² huat̚³²/

/kui⁴⁴⁻³³ lap̚⁴⁻³² huat̚³²/

/ku̯eɪ̯⁵⁵ nä⁵¹ fä²¹⁴⁻²¹⁽⁴⁾/

/kʷɐi̯⁵⁵ naːp̚² faːt̚³/

/kui⁴⁴⁻²² lap̚⁴⁻³² huat̚³²/

/kui⁴⁴⁻²² lap̚¹²¹⁻²¹ huat̚³²/

/kui⁴⁴⁻³³ lap̚⁴⁻³² huat̚³²/

/kui⁴⁴⁻³³ lap̚⁴⁻³² huat̚³²/

(logic, mathematics) inductive reasoning


superfalsity

LL-Q1860 (eng)-Flame, not lame-superfalsity.wav

(logic) In supervaluationism, the quality of being superfalse.


superfalsehood

LL-Q1860 (eng)-Flame, not lame-superfalsehood.wav


protothetic

In this paper, we present a system which is a natural deduction (in Fitch-Ja\'skowski's style) version of protothetic.

2015, Pierre Joray, “Teaching Leśniewski's Prothetic with a Natural Deduction System”, in arXiv:

(philosophy, logic) A particular theory of the relationships between propositions


充分條件

ㄔㄨㄥ ㄈㄣˋ ㄊㄧㄠˊ ㄐㄧㄢˋ

чунфэнь тяоцзянь

/ʈ͡ʂʰʊŋ⁵⁵ fən⁵¹ tʰi̯ɑʊ̯³⁵ t͡ɕi̯ɛn⁵¹/

/t͡sʰʊŋ⁵⁵ fɐn²² tʰiːu̯²¹ kiːn²²⁻³⁵/

/ʈ͡ʂʰʊŋ⁵⁵ fən⁵¹ tʰi̯ɑʊ̯³⁵ t͡ɕi̯ɛn⁵¹/

/t͡sʰʊŋ⁵⁵ fɐn²² tʰiːu̯²¹ kiːn²²⁻³⁵/

sufficient condition
sufficient condition


kvantifikace

kvantifikace (nominative singular)
kvantifikace (nominative plural)
kvantifikace (genitive singular)
kvantifikací (genitive plural)
kvantifikaci (dative singular)
kvantifikacím (dative plural)
kvantifikaci (accusative singular)
kvantifikace (accusative plural)
kvantifikace (singular vocative)
kvantifikace (plural vocative)
kvantifikaci (locative singular)
kvantifikacích (locative plural)
kvantifikací (instrumental singular)
kvantifikacemi (instrumental plural)


全稱

/t͡ɕʰy̯ɛn³⁵ ʈ͡ʂʰɤŋ⁵⁵/

/t͡ɕʰy̯ɛn³⁵ ʈ͡ʂʰɤŋ⁵⁵/

(logic) universal; pertaining to the universal quantifier


apriorisesti

(logic) a priori (in a way based on theoretical deduction)


Löb's theorem

Named after Martin Löb, who formulated it in 1955.

(logic) A theorem stating that, in any formal system F with Peano arithmetic, for any formula P, if it is provable in F that "if P is provable in F then P is true", then P is provable in F.


superintuitionistic

The results also apply to other fragments of other superintuitionistic logics under certain conditions. In particular, the exponential lower bounds on the length of intuitionistic EF proofs by Hrube\v{s} \cite{hru:lbint}, generalized to exponential separation between EF and SF systems in superintuitionistic logics of unbounded branching by Je\v{r}\'abek \cite{ej:sfef}, can be realized by implicational tautologies..

2015, Emil Jeřábek, “Proof complexity of intuitionistic implicational formulas”, in arXiv:

intuitionistic logic
intuitionistic logic

(logic) Describing an extended form of intuitionistic logic


functionhood

He did not distill the essential idea of functionhood: that to each x in the domain there corresponds a unique y in the range.

1999, William Dunham, Euler: The Master of Us All, The Mathematical Association of America, published 1999, page 17:

(mathematics, logic, grammar) The state or quality of being a function.


אם ורק אם

he-con

אִם וְרַק אִם

אִם וְ רַק אִם (canonical)
'im v'rak 'im (romanization)

אֲנִי פּוֹתֵחַ אֶת הַמִּטְרִיָּה אִם וְרַק אִם יוֹרֵד גֶּשֶׁם.

I open the umbrella if and only if it is raining.