Σύνολα και Λογική

Εισαγωγή στα Σύνολα Τα σύνολα αποτελούν τη βάση της σύγχρονης μαθηματικής. Ένα σύνολο είναι μια συλλογή διακριτών αντικειμένων που θεωρούνται ...

Εισαγωγή στα Διαγράμματα Venn Τα διαγράμματα Venn είναι γραφικές αναπαραστάσεις συνόλων και των σχέσεων μεταξύ τους. Ονομάστηκαν έτσι από τον ...

Πράξεις μεταξύ Συνόλων Οι πράξεις μεταξύ συνόλων μας επιτρέπουν να δημιουργούμε νέα σύνολα από υπάρχοντα. Οι βασικές πράξεις είναι η ένωση, η τομή...

Οι Βασικοί Λογικοί Σύνδεσμοι Οι λογικοί σύνδεσμοι (ή λογικές πράξεις) χρησιμοποιούνται για να συνδυάσουμε απλές προτάσεις και να δημιουργήσουμε σύ...

Εισαγωγή στους Ποσοδείκτες Οι ποσοδείκτες είναι σύμβολα που χρησιμοποιούνται στη μαθηματική λογική για να εκφράσουμε προτάσεις σχετικά με την ...

Εισαγωγή στην Προτασιακή Λογική Η προτασιακή λογική (ή προτασιακός λογισμός) είναι ο κλάδος της μαθηματικής λογικής που ασχολείται με προτάσει...