Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.

Bild:
<< vorherige Seite
Dreiundzwanzigste Vorlesung.
(A1 + C1 = 1) (C1 0) aus 11' · 30', 12' · 28';
(A1 + C = 1) (C 0) " 11' · 29', 12' · 27';
(A + C1 = 1) (C1 0) " 13' · 30', 14' · 28';
(A + C = 1) (C 0) " 13' · 29', 14' · 27';
(A1 + C1 = 1) (A1 C 0) aus 11' · 27', 12' · 29';
(A1 + C = 1) (A1 C1 0) " 11' · 28', 12' · 30';
(A + C1 = 1) (A C 0) " 13' · 27', 14' · 29';
(A + C = 1) (A C1 0) " 13' · 28', 14' · 30';
(A1 + C1 = 1) (A1 C1 0) k' aus 11' · 26', 12' · 24';
(A1 + C = 1) (A1 C 0) k " 11' · 25', 12' · 23';
(A + C1 = 1) (A C1 0) k' " 13' · 26', 14' · 24';
(A + C = 1) (A C 0) k " 13' · 25', 14' · 23';
(A1 + C1 = 1) (A1 C1 0) k' l' aus 21' · 26', 22' · 24';
(A1 + C = 1) (A1 C 0) k l' " 21' · 25', 22' · 23';
(A + C1 = 1) (A C1 0) k' l " 19' · 26', 20' · 24';
(A + C = 1) (A C 0) k l " 19' · 25', 20' · 23';
(A C 0) (A C1 0) (A1 C 0) s = aA, C s aus 15' · 30', 16' · 28';
(A C 0) (A C1 0) (A1 C1 0) r = aA, C1 r " 15' · 29', 16' · 27';
(A C 0) (A1 C 0) (A1 C1 0) n = aA1, C n " 17' · 30', 18' · 28';
(A C1 0) (A1 C 0) (A1 C1 0) m = aA1, C1 m " 17' · 29', 18' · 27';
(A1 + C1 = 1) (A C1 0) (A1 C 0) (A1 C1 0) m r = aA, C aA1, C1 m aus
23' · 29', 24' · 27';
(A1 + C = 1) (A C 0) (A1 C 0) (A1 C1 0) n s = aA, C1 aA1, C n aus
23' · 30', 24' · 28';
(A + C1 = 1) (A C 0) (A C1 0) (A1 C1 0) m r = aA1, C aA, C1r aus
25' · 29', 26' · 27';
(A + C = 1) (A C 0) (A C1 0) (A1 C 0) n s = aA1, C1 aA, C s aus
25' · 30', 26' · 28';
(A C + A1 C1 = 1) (A C 0) (A1 C1 0) n = dA, C dA1, C1 n aus 27' · 30', 28' · 28';
(A C + A1 C1 1) (A C 0) (A1 C1 0) r = dA, C dA1, C1 r " 29' · 29';
Dreiundzwanzigste Vorlesung.
(A1 + C1 = 1) (C1 ≠ 0) aus 11’ · 30’, 12’ · 28’;
(A1 + C = 1) (C ≠ 0) „ 11’ · 29’, 12’ · 27’;
(A + C1 = 1) (C1 ≠ 0) „ 13’ · 30’, 14’ · 28’;
(A + C = 1) (C ≠ 0) „ 13’ · 29’, 14’ · 27’;
(A1 + C1 = 1) (A1 C ≠ 0) aus 11’ · 27’, 12’ · 29’;
(A1 + C = 1) (A1 C1 ≠ 0) „ 11’ · 28’, 12’ · 30’;
(A + C1 = 1) (A C ≠ 0) „ 13’ · 27’, 14’ · 29’;
(A + C = 1) (A C1 ≠ 0) „ 13’ · 28’, 14’ · 30’;
(A1 + C1 = 1) (A1 C1 ≠ 0) ϰ' aus 11’ · 26’, 12’ · 24’;
(A1 + C = 1) (A1 C ≠ 0) ϰ „ 11’ · 25’, 12’ · 23’;
(A + C1 = 1) (A C1 ≠ 0) ϰ' „ 13’ · 26’, 14’ · 24’;
(A + C = 1) (A C ≠ 0) ϰ „ 13’ · 25’, 14’ · 23’;
(A1 + C1 = 1) (A1 C1 ≠ 0) ϰ' λ' aus 21’ · 26’, 22’ · 24’;
(A1 + C = 1) (A1 C ≠ 0) ϰ λ' „ 21’ · 25’, 22’ · 23’;
(A + C1 = 1) (A C1 ≠ 0) ϰ' λ „ 19’ · 26’, 20’ · 24’;
(A + C = 1) (A C ≠ 0) ϰ λ „ 19’ · 25’, 20’ · 23’;
(A C ≠ 0) (A C1 ≠ 0) (A1 C ≠ 0) σ = αA, C σ aus 15’ · 30’, 16’ · 28’;
(A C ≠ 0) (A C1 ≠ 0) (A1 C1 ≠ 0) ϱ = αA, C1 ϱ „ 15’ · 29’, 16’ · 27’;
(A C ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) ν = αA1, C ν „ 17’ · 30’, 18’ · 28’;
(A C1 ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) μ = αA1, C1 μ „ 17’ · 29’, 18’ · 27’;
(A1 + C1 = 1) (A C1 ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) μ ϱ = aA, C αA1, C1 μ aus
23’ · 29’, 24’ · 27’;
(A1 + C = 1) (A C ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) ν σ = aA, C1 αA1, C ν aus
23’ · 30’, 24’ · 28’;
(A + C1 = 1) (A C ≠ 0) (A C1 ≠ 0) (A1 C1 ≠ 0) μ ϱ = aA1, C αA, C1ϱ aus
25’ · 29’, 26’ · 27’;
(A + C = 1) (A C ≠ 0) (A C1 ≠ 0) (A1 C ≠ 0) ν σ = aA1, C1 αA, C σ aus
25’ · 30’, 26’ · 28’;
(A C + A1 C1 = 1) (A C ≠ 0) (A1 C1 ≠ 0) ν = δA, C δA1, C1 ν aus 27’ · 30’, 28’ · 28’;
(A C + A1 C1 ≠ 1) (A C ≠ 0) (A1 C1 ≠ 0) ϱ = δA, C δA1, C1 ϱ „ 29’ · 29’;
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0390" n="366"/>
            <fw place="top" type="header">Dreiundzwanzigste Vorlesung.</fw><lb/>
            <list>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) aus 11&#x2019; · 30&#x2019;, 12&#x2019; · 28&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">C</hi> &#x2260; 0) &#x201E; 11&#x2019; · 29&#x2019;, 12&#x2019; · 27&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) &#x201E; 13&#x2019; · 30&#x2019;, 14&#x2019; · 28&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">C</hi> &#x2260; 0) &#x201E; 13&#x2019; · 29&#x2019;, 14&#x2019; · 27&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) aus 11&#x2019; · 27&#x2019;, 12&#x2019; · 29&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) &#x201E; 11&#x2019; · 28&#x2019;, 12&#x2019; · 30&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi> &#x2260; 0) &#x201E; 13&#x2019; · 27&#x2019;, 14&#x2019; · 29&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) &#x201E; 13&#x2019; · 28&#x2019;, 14&#x2019; · 30&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' aus 11&#x2019; · 26&#x2019;, 12&#x2019; · 24&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> &#x201E; 11&#x2019; · 25&#x2019;, 12&#x2019; · 23&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' &#x201E; 13&#x2019; · 26&#x2019;, 14&#x2019; · 24&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> &#x201E; 13&#x2019; · 25&#x2019;, 14&#x2019; · 23&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' <hi rendition="#i">&#x03BB;</hi>' aus 21&#x2019; · 26&#x2019;, 22&#x2019; · 24&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0; &#x03BB;</hi>' &#x201E; 21&#x2019; · 25&#x2019;, 22&#x2019; · 23&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' <hi rendition="#i">&#x03BB;</hi> &#x201E; 19&#x2019; · 26&#x2019;, 20&#x2019; · 24&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0; &#x03BB;</hi> &#x201E; 19&#x2019; · 25&#x2019;, 20&#x2019; · 23&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03C3;</hi> = <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03C3;</hi> aus 15&#x2019; · 30&#x2019;, 16&#x2019; · 28&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F1;</hi> = <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">&#x03F1;</hi> &#x201E; 15&#x2019; · 29&#x2019;, 16&#x2019; · 27&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BD;</hi> = <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03BD;</hi> &#x201E; 17&#x2019; · 30&#x2019;, 18&#x2019; · 28&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BC;</hi> = <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">&#x03BC;</hi> &#x201E; 17&#x2019; · 29&#x2019;, 18&#x2019; · 27&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BC; &#x03F1;</hi> = <hi rendition="#i">a</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">&#x03BC;</hi> aus<lb/>
23&#x2019; · 29&#x2019;, 24&#x2019; · 27&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BD; &#x03C3;</hi> = <hi rendition="#i">a</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03BD;</hi> aus<lb/>
23&#x2019; · 30&#x2019;, 24&#x2019; · 28&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BC; &#x03F1;</hi> = <hi rendition="#i">a</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi><hi rendition="#i">&#x03F1;</hi> aus<lb/>
25&#x2019; · 29&#x2019;, 26&#x2019; · 27&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi> + <hi rendition="#i">C</hi> = 1) (<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03BD; &#x03C3;</hi> = <hi rendition="#i">a</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03C3;</hi> aus<lb/>
25&#x2019; · 30&#x2019;, 26&#x2019; · 28&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BD;</hi> = <hi rendition="#i">&#x03B4;</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03B4;</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">&#x03BD;</hi> aus 27&#x2019; · 30&#x2019;, 28&#x2019; · 28&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 1) (<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F1;</hi> = <hi rendition="#i">&#x03B4;</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">&#x03B4;</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">&#x03F1;</hi> &#x201E; 29&#x2019; · 29&#x2019;;</item>
            </list><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[366/0390] Dreiundzwanzigste Vorlesung. (A1 + C1 = 1) (C1 ≠ 0) aus 11’ · 30’, 12’ · 28’; (A1 + C = 1) (C ≠ 0) „ 11’ · 29’, 12’ · 27’; (A + C1 = 1) (C1 ≠ 0) „ 13’ · 30’, 14’ · 28’; (A + C = 1) (C ≠ 0) „ 13’ · 29’, 14’ · 27’; (A1 + C1 = 1) (A1 C ≠ 0) aus 11’ · 27’, 12’ · 29’; (A1 + C = 1) (A1 C1 ≠ 0) „ 11’ · 28’, 12’ · 30’; (A + C1 = 1) (A C ≠ 0) „ 13’ · 27’, 14’ · 29’; (A + C = 1) (A C1 ≠ 0) „ 13’ · 28’, 14’ · 30’; (A1 + C1 = 1) (A1 C1 ≠ 0) ϰ' aus 11’ · 26’, 12’ · 24’; (A1 + C = 1) (A1 C ≠ 0) ϰ „ 11’ · 25’, 12’ · 23’; (A + C1 = 1) (A C1 ≠ 0) ϰ' „ 13’ · 26’, 14’ · 24’; (A + C = 1) (A C ≠ 0) ϰ „ 13’ · 25’, 14’ · 23’; (A1 + C1 = 1) (A1 C1 ≠ 0) ϰ' λ' aus 21’ · 26’, 22’ · 24’; (A1 + C = 1) (A1 C ≠ 0) ϰ λ' „ 21’ · 25’, 22’ · 23’; (A + C1 = 1) (A C1 ≠ 0) ϰ' λ „ 19’ · 26’, 20’ · 24’; (A + C = 1) (A C ≠ 0) ϰ λ „ 19’ · 25’, 20’ · 23’; (A C ≠ 0) (A C1 ≠ 0) (A1 C ≠ 0) σ = αA, C σ aus 15’ · 30’, 16’ · 28’; (A C ≠ 0) (A C1 ≠ 0) (A1 C1 ≠ 0) ϱ = αA, C1 ϱ „ 15’ · 29’, 16’ · 27’; (A C ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) ν = αA1, C ν „ 17’ · 30’, 18’ · 28’; (A C1 ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) μ = αA1, C1 μ „ 17’ · 29’, 18’ · 27’; (A1 + C1 = 1) (A C1 ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) μ ϱ = aA, C αA1, C1 μ aus 23’ · 29’, 24’ · 27’; (A1 + C = 1) (A C ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) ν σ = aA, C1 αA1, C ν aus 23’ · 30’, 24’ · 28’; (A + C1 = 1) (A C ≠ 0) (A C1 ≠ 0) (A1 C1 ≠ 0) μ ϱ = aA1, C αA, C1ϱ aus 25’ · 29’, 26’ · 27’; (A + C = 1) (A C ≠ 0) (A C1 ≠ 0) (A1 C ≠ 0) ν σ = aA1, C1 αA, C σ aus 25’ · 30’, 26’ · 28’; (A C + A1 C1 = 1) (A C ≠ 0) (A1 C1 ≠ 0) ν = δA, C δA1, C1 ν aus 27’ · 30’, 28’ · 28’; (A C + A1 C1 ≠ 1) (A C ≠ 0) (A1 C1 ≠ 0) ϱ = δA, C δA1, C1 ϱ „ 29’ · 29’;

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/390
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 366. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/390>, abgerufen am 18.06.2024.