(We are restricted to the logical linkages NOT, AND, OR and IMPLIES, and we can only assign "significant" propositions to the variables p and q).
(Υπάρχει περιορισμός σε λογικές συνδέσεις ΔΕΝ, ΚΑΙ, Η' και ΣΥΝΕΠΑΓΕΤΑΙ, και μπορούμε να εκχωρήσουμε μόνο "σημαντικές" προτάσεις στις μεταβλητές p και q).