3b:T73a,

\Rightarrow \, \sim A \vee ( \sim B \vee A)

31:["$","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":"$3b"}}]]}] 3c:T73a,

\Rightarrow \, \sim B \vee ( \sim A \vee A)

32:["$","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":"$3c"}}]]}] 3d:T4b1,

\Rightarrow \, \sim B \vee t

33:["$","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":"$3d"}}]]}] 34:["$","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":"= t (tantology)"}}]]}] 35:["$","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":"From options :"}}]]}] 3e:T4d7,(B)

A \to (A \vee B)

36:["$","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":"$3e"}}]]}] 3f:T676,

\Rightarrow \, \sim A \vee (A \vee B)

37:["$","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":"$3f"}}]]}] 40:T662,

\Rightarrow ( \sim A \vee A) \vee B

38:["$","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":"$40"}}]]}] 39:["$","li","10",{"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":11}],["$","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":"

\\Rightarrow t \\vee B

"}}]]}] 3a:["$","li","11",{"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":12}],["$","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":"

\\Rightarrow t

"}}]]}]

More on Mathematical Reasoning

More on Mathematical Reasoning