proposition

forms:
proposition
proposition (singular)
propositions (plural)

pos: noun

glosses: η λογική πρόταση ή απλά η πρόταση, η αριστοτελική «πρότασις»

text: δείτε επίσης: proposition στην αγγλική Βικιπαίδεια


hypothesis

forms: hypothesis

glosses: η υπόθεση, μια ιδέα ή εξήγηση που δεν έχει ακόμη αποδειχθεί αληθινή

text: a scientific hypothesis - μια επιστημονική υπόθεση

text: I put forward a hypothesis.

translation: Διατυπώνω μια υπόθεση.

text: → δείτε τη λέξη theory


atom

forms: atom

glosses: η ατομική πρόταση

text: δείτε επίσης: atomic formula στην αγγλική Βικιπαίδεια


quantifier

forms: quantifier

etymology_text: quantifier < quantify + -er

glosses: ο ποσοδείκτης

raw_tags: θεωρία συνόλων


variable

forms: variable

glosses: βλ. propositional variable (προτασιακή μεταβλητή)


conjunction

forms: conjunction

etymology_text: conjunction < διαμέσου της παλιάς γαλλικής από τη λατινική coniūnctiō (ένωση, σύνδεση) < coniungere "ενώνω, συνδέω"

glosses: ο λογικός τελεστής της σύζευξης

glosses: η πρόταση που προκύπτει από το συνδυασμό δύο ή περισσότερων προτάσεων με τον λογικό τελεστή ∧


contradiction

forms: contradiction

ipa: ˌkɒntɹəˈdɪkʃən

glosses: η αντίφαση, αντινομία, αντιλογία


operation

forms:
operation
operation (singular)
operations (plural)

etymology_text: operation < μέση γαλλική operation < παλαιά γαλλική operacion < λατινική operatio

ipa: ˌɑpəˈɹeɪʃən

method

raw_tags: αντικειμενοστρεφής προγραμματισμός

raw_tags: θεωρία συνόλων

text: Addition is a simple operation.

translation: Η πρόθεση είναι μια απλή πράξη.

text: δείτε επίσης: Operation (mathematics) στην αγγλική Βικιπαίδεια


axiom

forms: axiom

postulate

raw_tags: λογική, μαθηματικά


postulate

forms: postulate

glosses: το αξίωμα, αξιωματική αλήθεια κάποιας θεωρίας


axiomatic

forms: axiomatic

pos: adj

glosses: αξιωματικός (που είναι σχετικός ή απορρέει από ένα αξίωμα)


condition

forms:
condition
condition (singular)
conditions (plural)

raw_tags: προγραμματισμός


deduction

forms: deduction

glosses: η παρακράτηση, η κράτηση, η διαδικασία του να παρακρατώ ένα πόσο από κάτι, ειδικά χρημάτων, από το σύνολο· η κράτηση, το ποσό που παρακρατείται

raw_tags: μετρήσιμο και μη μετρήσιμο

text: tax deduction - παρακράτηση φόρου

text: It will cost you a thousand euros plus deductions.

translation: Θα σου στοιχίσει χίλια ευρώ συν τις κρατήσεις.

text: The salary is subject to a 5% deduction.

translation: Ο μισθός υπόκειται σε κρατήσεις 5%.


disjunction

forms: disjunction

ipa: dɪsˈdʒʌŋk(t)ʃən

glosses: , (στον προτασιακό λογισμό) συνήθως αναφέρεται στην μη αποκλειστική διάζευξη (inclusive disjunction)

text: δείτε επίσης: logical disjunction στην αγγλική Βικιπαίδεια


antecedent

forms: antecedent

ipa: ˌæntɪˈsiːdənt

text: υπερώνυμο: material implication

text: δείτε επίσης: antecedent (logic) στην αγγλική Βικιπαίδεια


atomic

forms: atomic

glosses: βλ. atomic proposition (ατομική πρόταση)


antinomy

forms: antinomy

etymology_text: antinomy < (άμεσο δάνειο) γερμανική Antinomie < λατινική antinomia < αρχαία ελληνική ἀντινομία

ipa: ænˈtɪnəmi

glosses: αντινομία, παράδοξο


liar paradox

forms: liar paradox

etymology_text: liar paradox < → δείτε τις λέξεις liar και paradox

glosses: αντιφατικό σόφισμα


tautology

forms: tautology

etymology_text: tautology < (άμεσο δάνειο) υστερολατινική tautologia < αρχαία ελληνική ταὐτολογία. Κλασικό σύνθετο που αναλύεται σε tauto- + -logy

text: Αντώνυμο: contradiction


formal logic

forms: formal logic

etymology_text: formal logic < → δείτε τις λέξεις formal και logic

glosses: τυπική λογική


universal quantifier

forms: universal quantifier

etymology_text: universal quantifier < → δείτε τις λέξεις universal και quantifier

glosses: ο καθολικός ποσοδείκτης και συμβολίζεται με ανάποδο Α (∀)

raw_tags: θεωρία συνόλων


existential quantifier

forms: existential quantifier

etymology_text: existential quantifier < → δείτε τις λέξεις existential και quantifier

glosses: ο υπαρκτικός ποσοδείκτης που συμβολίζεται με ανάποδο Ε (∃)

raw_tags: θεωρία συνόλων


arity

forms: arity

ipa: ˈæɹɪti

glosses: τάξη ( ή βαθμός) συνάρτησης, πράξης ή κατηγορήματος

raw_tags: επιστήμη υπολογιστών


adicity

forms: adicity

glosses: συνώνυμο του arity

raw_tags: επιστήμη υπολογιστών


adinity

forms: adinity

glosses: συνώνυμο του arity

raw_tags: επιστήμη υπολογιστών


propositional logic

forms: propositional logic

etymology_text: propositional logic < → δείτε τις λέξεις propositional και logic

glosses: η προτασιακή λογική


propositional calculus

forms: propositional calculus

etymology_text: propositional calculus < → δείτε τις λέξεις propositional και calculus

glosses: η προτασιακός λογισμός


truth value

forms: truth value

etymology_text: truth value < → δείτε τις λέξεις truth και value

glosses: αληθοτιμή, τιμή αλήθειας


logical connective

forms: logical connective

etymology_text: logical connective < → δείτε τις λέξεις logical και connective

glosses: το λογικό συνδετικό


elementary proposition

forms: elementary proposition

etymology_text: elementary proposition < → δείτε τις λέξεις elementary και proposition. Όρος προτάθηκε από τον Λούντβιχ Βιτγκενστάιν (1889 - 1951)

glosses: η στοιχειώδης πρόταση


atomic proposition

forms: atomic proposition

etymology_text: atomic proposition < → δείτε τις λέξεις atomic και proposition (όρος του βρετανού φιλοσόφου Μπέρτραντ Ράσελ [1872–1970])

glosses: η ατομική λογική πρόταση


compound proposition

forms: compound proposition

etymology_text: compound proposition < → δείτε τις λέξεις compound και proposition

glosses: η σύνθετη λογική πρόταση


compound formula

forms: compound formula

etymology_text: compound formula < → δείτε τις λέξεις compound και formula


atomic formula

forms: atomic formula

etymology_text: atomic formula < → δείτε τις λέξεις atomic και formula

glosses: βλ. συνώνυμο atom


prime formula

forms: prime formula

etymology_text: prime formula < → δείτε τις λέξεις prime και formula

glosses: βλ. συνώνυμο atom


propositional variable

forms: propositional variable

etymology_text: propositional variable < → δείτε τις λέξεις propositional και variable

glosses: η προτασιακή μεταβλητή


inclusive disjunction

forms: inclusive disjunction

etymology_text: inclusive disjunction < → δείτε τις λέξεις inclusive και disjunction

glosses: η μη αποκλειστική διάζευξη


exclusive disjunction

forms: exclusive disjunction

etymology_text: exclusive disjunction < → δείτε τις λέξεις exclusive και disjunction

glosses: η αποκλειστική διάζευξη


XOR

glosses: αναπαριστά την αποκλειστική διάζευξη

text: Δείτε επίσης τα σύμβολα: ⊻, ⊕


inclusive or

forms: inclusive or

etymology_text: inclusive or < → δείτε τις λέξεις inclusive και or

glosses: η μη αποκλειστική διάζευξη, η απλή διάζευξη (inclusive disjunction)


exclusive or

forms: exclusive or

etymology_text: exclusive or < → δείτε τις λέξεις exclusive και or

glosses: η αποκλειστική διάζευξη (exclusive disjunction)


OR

glosses: αναπαριστά την μη αποκλειστική διάζευξη


truth table

forms: truth table

etymology_text: truth table < → δείτε τις λέξεις truth και table

glosses: η πίνακας αληθείας


material implication

forms: material implication

etymology_text: material implication < → δείτε τις λέξεις material και implication

glosses: η συνεπαγωγή


hypothetical proposition

forms: hypothetical proposition

etymology_text: hypothetical proposition < → δείτε τις λέξεις hypothetical και proposition

glosses: βλ. συνώνυμο material implication (συνεπαγωγή)


if and only if

forms: if and only if

glosses: αν και μόνο αν

text: Συντομογραφία: iff


iff

pos: abbrev

glosses: συντομογραφία του if and only if (αν και μόνο αν)


universe of discourse

forms: universe of discourse

etymology_text: universe of discourse < → δείτε τις λέξεις universe και discourse

glosses: το πεδίο αναφοράς


domain of discourse

forms: domain of discourse

etymology_text: domain of discourse < → δείτε τις λέξεις domain και discourse

glosses: το πεδίο αναφοράς


contrapositive

forms: contrapositive

glosses: αντιθεταντίστροφο, αντι-αντιμετάθετο, ανταντιμετάθετο

text: Το αντίθετο/inverse του αντίστροφου/αντιμετάθετου/converse μιας δεδομένης λογικής συνεπαγωγής.


contrapositive

glosses: αντιθεταντίστροφος, αντιθεταντίστροφη, αντιθεταντίστροφο