33:T6a0,Given:

(p \rightarrow q) \rightarrow(q \rightarrow p)

34:T23dc,

\begin{aligned} & \sim[(p \rightarrow q) \rightarrow(q \rightarrow p)] \\\\ & \equiv \sim[\sim p \rightarrow q \wedge q \rightarrow p] \\\\ & \equiv p \rightarrow q \wedge \sim q \rightarrow p \\\\ & \equiv \sim p \vee q \wedge q \wedge \sim p] \\\\ & \equiv q \wedge(\sim p) \end{aligned}

32:["$","section",null,{"className":"flex flex-col gap-3 border-t border-rule pt-5","children":[["$","h2",null,{"className":"m-0 text-[12px] font-semibold uppercase tracking-[0.06em] text-ink-400","children":"Solution"}],["$","ol",null,{"className":"m-0 flex list-none flex-col gap-3 p-0","children":[["$","li","0",{"className":"flex items-start gap-3","children":[["$","span",null,{"className":"mt-0.5 flex h-5 w-5 shrink-0 items-center justify-center rounded-md bg-surface-sunken font-mono text-[11px] text-ink-400","children":1}],["$","div",null,{"className":"min-w-0 max-w-[68ch] flex-1 text-[15px] leading-relaxed text-ink-600 [&_.katex-display]:my-3 [&_.katex-display]:overflow-x-auto","dangerouslySetInnerHTML":{"__html":"$33"}}]]}],["$","li","1",{"className":"flex items-start gap-3","children":[["$","span",null,{"className":"mt-0.5 flex h-5 w-5 shrink-0 items-center justify-center rounded-md bg-surface-sunken font-mono text-[11px] text-ink-400","children":2}],["$","div",null,{"className":"min-w-0 max-w-[68ch] flex-1 text-[15px] leading-relaxed text-ink-600 [&_.katex-display]:my-3 [&_.katex-display]:overflow-x-auto","dangerouslySetInnerHTML":{"__html":"Negation of above statement is :"}}]]}],["$","li","2",{"className":"flex items-start gap-3","children":[["$","span",null,{"className":"mt-0.5 flex h-5 w-5 shrink-0 items-center justify-center rounded-md bg-surface-sunken font-mono text-[11px] text-ink-400","children":3}],["$","div",null,{"className":"min-w-0 max-w-[68ch] flex-1 text-[15px] leading-relaxed text-ink-600 [&_.katex-display]:my-3 [&_.katex-display]:overflow-x-auto","dangerouslySetInnerHTML":{"__html":"$34"}}]]}]]}]]}]

More on Mathematical Reasoning

More on Mathematical Reasoning