Question

(p -> q) A (r --> s), p v r ├ q v s
lo de en medio es como una A pero sin raya
como se haría eso?

Answer 1

Querrás decir ^ que significa "y" que es un conector lógico