2e:["$","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":"The Boolean expression"}}] 38:T85d,

(p \Rightarrow q) \Leftrightarrow\left(q^*(\sim p)\right)

is a tautology.2f:["$","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":"$38"}}]]}] 30:["$","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":"Making the truth table for this"}}]]}] 31:["$","li","3",{"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":4}],["$","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":".tg {border-collapse:collapse;border-spacing:0;width:100%}\n.tg td{border-color:black;border-style:solid;border-width:1px;font-family:Arial, sans-serif;font-size:14px;\n overflow:hidden;padding:10px 5px;word-break:normal;}\n.tg th{border-color:black;border-style:solid;border-width:1px;font-family:Arial, sans-serif;font-size:14px;\n font-weight:normal;overflow:hidden;padding:10px 5px;word-break:normal;}\n.tg .tg-c3ow{border-color:inherit;text-align:center;vertical-align:top}"}}]]}] 39:T12a1,p q

p \rightarrow q

q^* \sim p

\sim q

-q \wedge p

\sim(\sim {q} \wedge p)

32:["$","li","4",{"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":5}],["$","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":"$39"}}]]}] 3a:Tbdc,

\mathrm{T}

\mathrm{T}

\mathrm{T}

\mathrm{T}

\mathrm{F}

\mathrm{F}

\mathrm{T}

T F F F T T F F T T T F F T F F T T T F T33:["$","li","5",{"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":6}],["$","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":"$3a"}}]]}] 3b:Tb80,

\therefore \quad \sim(\sim q \wedge p)=q \vee \sim p=\sim p \vee q

34:["$","li","6",{"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":7}],["$","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":"$3b"}}]]}] 3c:T59b,

\therefore{ }^*

is equivalent to

v

.35:["$","li","7",{"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":8}],["$","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":"$3c"}}]]}] 3d:Ta76,So,

\quad p^* \sim q=p \vee \sim q=\sim q \vee p

36:["$","li","8",{"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":9}],["$","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":"$3d"}}]]}] 37:["$","li","9",{"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":10}],["$","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":"

=q \\Rightarrow p

"}}]]}]

More on Mathematical Reasoning

More on Mathematical Reasoning