1- Using truth-tables, check the veracity of the following statement: [0,5 pts]: ((r t) (s t)) (t r)) is equivalent to (t (s r))

[T / F]

2- Using truth-tables, check the veracity of the following statement: [0,5 pts]: ((r t) (s t)) (t r)) is equivalent to (t (s r))

[T / F]

3- Using truth-tables, check the veracity of the following statement: [0,5 pts]: ((r t) (s t)) (t r)) is not equivalent to ((r t) (s t)) (t r))

[T / F]

4- Using truth-tables, check the veracity of the following statement: [0,5 pts]: ((r t) (s t)) (t r)) is equivalent to ((r t) (s t)) (t r))

[T / F]

5- What is the negation of this proposition? [0.5pt] Either a > 0 or a is a positive integer

a) a 0 or a is not a positive integer

b) a <0 or a is a positive integer

c) a <0 and a is not a positive integer

d) a 0 and a is not a positive integer

6- Let p, q, and r be the following propositions: p: The dog is large, q: the dog is friendly, r: the dog is small, and t: the dog is aggressive. Write the following statement using formula including p, q, r, and t and logical connectives. [0.5pt] The dog is not small, but it is not aggressive.

a) r t

b) (r t)

c) r t

d) (r t)