¿Como se denominan los objetos conocidos en una forma proposicional?

Logica proposicional ejercicios, por favor?

(1) Se define el conectivo logico # y se ha hecho ası : q#p = [p ⇒ (∼ q∧ ∼ p)] ∨ q ∨ p, entonces demuestre que (∼ p ⇒ q)#[(p∧ ∼ q)# ∼ q)# ∼ q] ≡ T Es decir T es una Tautologıa (2) Determine el valor de verdad de las…