ააგე ენობრივად მოცემული 0 1 2 3 4 5 6 7 8 9 10 პროპოზიციული ცვლადისა და 0 1 2 3 4 5 6 7 8 9 10 საკუთრივი პროპოზიციული კონსტანტის შემცველი ლოგიკური ამოცანა