ააგე ენობრივად მოცემული პროპოზიციული ცვლადისა და საკუთრივი პროპოზიციული კონსტანტის შემცველი ლოგიკური ამოცანა