Assume that R denotes "Roses are red", V denotes "Violets are blue", and S denotes "Sugar is sweet". Translate the following statements into symbolic notation using compound propositions. a. Roses are red, and violets are blue. b. Roses are red, and either violets are blue, or sugar is sweet. C. Roses are red only if violets aren't blue or sugar is sour. d. Roses are red and, if sugar is sour, then either violets aren't blue, or sugar is sweet.

Define concrete and abstract syntax with example.

what is logic structures?

Do programming paradigms have a list somewhere? Why are there so many diverse paradigms, then? Do you really need them? To convey your ideas about the subject, use your own words.

Formal Methods are based on logic reasoning. Conceptually the two most common logics are propositional logic and Predicate Logic.  An undergraduate student who took a course of discrete mathematics is inquiring as to how propositional and predicate logics can be used in software testing. You are asked to guide this student in this quest.  One pointer may consist in presenting the characteristics and limitations of both logic as well as their use as a mean for software testing. Which Logic is most adequate for formal verification of software and how this should be implemented?