Ονομάζεται επίσης αληθοφανείς, μια ατομική πρόταση είναι μια απλή δηλωτική πρόταση που μπορεί να είναι αληθής ή ψευδής. Χρησιμοποιούνται στη λογική, οι ατομικές προτάσεις είναι τα δομικά στοιχεία για πιο σύνθετες προτάσεις, που ονομάζονται μοριακές προτάσεις. Στις λογικές αποδείξεις, οι ατομικές προτάσεις αποδίδονται γράμματα προκειμένου να υπολογιστεί εύκολα η αλήθεια ή το ψεύδος μιας πιο περίπλοκης πρότασης.
Μια ατομική πρόταση είναι ο πιο βασικός τύπος πρότασης στη λογική. Παρόμοια με μια απλή πρόταση στη γραμματική, μια ατομική πρόταση περιέχει ένα υποκείμενο, ένα ρήμα και συχνά ένα αντικείμενο. Για παράδειγμα, «Ο Τζακ μαγείρεψε το δείπνο», «Είναι έξυπνος» και «Έφερε το κρασί», είναι όλες ατομικές προτάσεις.
Ένας κύριος στόχος στη φιλοσοφία και τη λογική είναι να προσδιοριστεί η αλήθεια των δηλώσεων και των πολύπλοκων ιδεών. Οι ατομικές προτάσεις είναι σημαντικές γιατί μπορεί να είναι είτε εξ ολοκλήρου σωστές είτε εντελώς ψευδείς. Είτε ο Τζακ μαγείρεψε το δείπνο είτε όχι. Χρησιμοποιώντας ατομικές προτάσεις για την κατασκευή πιο σύνθετων προτάσεων – ή, αντίθετα, για να αναλύσουμε σύνθετες προτάσεις στα βασικά τους μέρη – η αλήθεια αυτών των δηλώσεων μπορεί να προσδιοριστεί μέσω λογικών αποδείξεων. Οι λογικές αποδείξεις είναι παρόμοιες με τις γεωμετρικές αποδείξεις ως προς τη λειτουργία και το σχεδιασμό.
Όταν δύο ή περισσότερες ατομικές προτάσεις ενώνονται μεταξύ τους για να σχηματίσουν μια πιο σύνθετη πρόταση, σχηματίζεται μια μοριακή πρόταση. Για παράδειγμα, συνδυάζοντας τις ατομικές προτάσεις, «Ο Τζακ μαγείρεψε το δείπνο» και «Έφερε το κρασί», σχηματίζει τη μοριακή πρόταση, «Ο Τζακ μαγείρεψε το δείπνο και εκείνη έφερε το κρασί». Επιπλέον, οι μοριακές προτάσεις μπορούν να σχηματιστούν με την άρνηση μιας ατομικής πρότασης. Για παράδειγμα, αν και το «Δεν είναι ευφυής», εξακολουθεί να είναι μια απλή πρόταση σύμφωνα με γραμματικούς κανόνες, σύμφωνα με λογικούς κανόνες, η προσθήκη του «μη» κάνει τη δήλωση μια μοριακή πρόταση. Οι μοριακές προτάσεις μπορεί να είναι εξ ολοκλήρου σωστές, εν μέρει αληθείς ή εντελώς ψευδείς.
Στη συμβολική λογική, οι ατομικές προτάσεις αποδίδονται γράμματα, που συχνά ξεκινούν με “p” και στη συνέχεια συνεχίζουν αλφαβητικά. Για παράδειγμα, η ατομική πρόταση, «Ο Τζακ μαγειρεύει το δείπνο», μπορεί να αντιπροσωπεύεται με ένα «p», ενώ το «Έφερε το κρασί» αντιπροσωπεύεται από το γράμμα «q». Στις συνδετικές λέξεις, όπως «και», «αν», «αλλά» και «όχι», δίνονται σύμβολα που αντιπροσωπεύουν τη λειτουργία τους και στη μεγαλύτερη πρόταση.
Όταν οι προτάσεις αναλύονται με αυτόν τον τρόπο, κάθε πρόταση μπορεί να επεξεργαστεί ακριβώς όπως μια μαθηματική απόδειξη. Τα σύμβολα για τις συνδετικές λέξεις είναι λογικοί τελεστές και συμπεριφέρονται παρόμοια με τους μαθηματικούς τελεστές, όπως συν και πλην. Δουλεύοντας μέσα από μια λογική απόδειξη, μπορεί να εξακριβωθεί η αλήθεια ή το ψέμα μιας μοριακής πρότασης στο σύνολό της, όχι μόνο οι ατομικές προτάσεις που περιέχει.