Let {A, B, C, D} be a set of four distinct sentence symbols. In addition to...

Transcribed Image Text:

Let {A, B, C, D} be a set of four distinct sentence symbols. In addition to the four rules use this order of precedence for connectives (strongest to weakest): , A, V, . Give the strict (i.e. formal) punctuation of the following: (a) AV-BVCAD (b) A B CVAV B (c) AVBBVAV B Rules: 1. The outermost parentheses need not be explicitly mentioned. For example, when we write "AAB" we are referring to (A/B). 2. The negation symbol applies to as little as possible. For example, -AAB is (-A) AB, ie, ((-A) AB). It is not the same as (-(A^B)). 3. The conjunction and disjunction symbols apply to as little as possible, given that convention 2 is to be observed. For example, AAB-CVD is ((A/B) ((-C) V D)). 4. Where one connective symbol is used repeatedly, grouping is to the right: a ABAy is a A (BAY), a By is a (y). Let {A, B, C, D} be a set of four distinct sentence symbols. In addition to the four rules use this order of precedence for connectives (strongest to weakest): , A, V, . Give the strict (i.e. formal) punctuation of the following: (a) AV-BVCAD (b) A B CVAV B (c) AVBBVAV B Rules: 1. The outermost parentheses need not be explicitly mentioned. For example, when we write "AAB" we are referring to (A/B). 2. The negation symbol applies to as little as possible. For example, -AAB is (-A) AB, ie, ((-A) AB). It is not the same as (-(A^B)). 3. The conjunction and disjunction symbols apply to as little as possible, given that convention 2 is to be observed. For example, AAB-CVD is ((A/B) ((-C) V D)). 4. Where one connective symbol is used repeatedly, grouping is to the right: a ABAy is a A (BAY), a By is a (y).

Answer rating: 100% (QA)

1 Solution 11 Part a AVBVCAD Precedence of negation over other s... View the full answer