Represent the following statement forms using only statement variables, the connective -->, and the symbol for contradiction: c. Justify your answers with truth tables.
Please help this makes no fucking sense.
Your school is shit.
Your school is really shitty.
>using ^ for anything other than exterior/wedge products
Your school is a joke.
>>using ^ for anything other than exterior/wedge products
1) a retard.
2) an undergrad who doesn't know dick about categorical logic.
Everything else I agree with. Truth tables are okay at an intro level but they're deeply biased towards classical logic. "Statement variables" should be called propositions or 0-ary predicates.
Truth tables are a form of proof that is useful in highlighting the relationship between statements in a logic and their models. A clever student can convert truth tables into Eulerian diagrams and trivialize the majority of intro logic.
Me again, I got so caught up in criticizing that retard that I forgot about OP's question.
OP, what your professor is trying to get at is that implication and contradiction form a truth functionally complete set of connectives.