In Example 3.15, we constructed a proposition corresponding to “at least three of {s, t, u, v} are true.” Generalize this construction by building a proposition . . . 1 . . . expressing “at least 3...

In Example 3.15, we constructed a proposition corresponding to “at least three of {s, t, u, v} are true.” Generalize this construction by building a proposition . . .

1 . . . expressing “at least 3 of {p1, . . . , pn} are true.”

2 . . . expressing “at least n − 1 of {p1, . . . , pn} are true.”