Μα, για να το γράφεις, εννοείς αυτά για τα οποία ορίζεται.
π.χ. Όταν γράφεις χ+ψ εννοείς πως τα χ,ψ είναι αριθμοί. Αν είναι σύνολα συνόλων υποσυνόλων του πληθυσμού της γης

, προφανώς δεν έχει νόημα (εκτός αν ορίσεις τί θα σημαίνει στην περίπτωση εκείνη το σύμβολο "+").
Το "όλοι οι σκυλοι στο φεγγάρι είναι πεκινουά" γιατί δεν ορίζεται; Ξέρουμε τί εννοούμε "φεγγάρι". Ξέρουμε πως, είτε στο φεγάρι εχει σκύλους, είτε όχι. Ξερουμε τί σημαίνει η έκφραση "ο σκύλος είναι πεκινουά". Ξέρουμε πως είτε όλοι οι σκύλοι απο ένα δοθέν σύνολο θα είναι πεκινουά, είτε ένας τουλάχιστον δεν θα είναι. Χτίζουμε λοιπόν μια χαρά την αληθοτιμή της πρότασης που έδωσες.