Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 48. Erweiterte Syllogistik.
(A1 C 0) k aus 11' · 23', 12' · 25'; (A1 C1 0) k' aus 11' · 24', 12' · 26';
(A C 0) k l aus 19' · 23', 20' · 25'; (A C1 0) k' l aus 19' · 24', 20' · 26';
(A1 C 0) k l' aus 21' · 23', 22' · 25'; (A1 C1 0) k' l' aus 21' · 24', 22' · 26';
(A C 0) (A1 0) k aus 25' · 25'; (A C 0) (C1 0) k aus 13' · 17', 14' · 15';
(A C 0) (C1 0) l aus 19' · 22', 20' · 20';
(A C1 0) (A1 0) k' aus 25' · 26'; (A C1 0) (C 0) k' aus 13' · 18', 14' · 16';
(A C1 0) (C 0) l aus 19' · 21';
(A1 C 0) (A 0) k aus 23' · 25'; (A1 C 0) (C1 0) k aus 12' · 15';
(A1 C 0) (C1 0) l' aus 21' · 22';
(A1 C1 0) (A 0) k' aus 23' · 26', 24' · 24'; (A1 C1 0) (C 0) k aus 12' · 16';
(A1 C1 0) (C 0) l' aus 21' · 21';
(A C 0) (A1 0) (C1 0) l aus 15' · 20', 16' · 22';
(A C1 0) (A1 0) (C 0) l aus 15' · 19', 16' · 21';
(A1 C 0) (A 0) (C1 0) l' aus 17' · 20', 18' · 22';
(A1 C1 0) (A 0) (C 0) l' aus 17' · 19', 18' · 21';
(A C 0) (A1 0) k l aus 15' · 25', 16' · 23';
(A C1 0) (A1 0) k' l aus 15' · 26', 16' · 24';
(A1 C 0) (A 0) k l' aus 17' · 25', 18' · 23';
(A1 C1 0) (A 0) k' l' aus 17' · 26', 18' · 24';
(A C 0) (A C1 0) k aus 13' · 15', 14' · 17';
(A C 0) (A1 C 0) l aus 15' · 23', 16' · 25';
(A C 0) (A C1 0) k' aus 13' · 16', 14' · 18';
(A C 0) (A1 C 0) l' aus 17' · 23', 18' · 25';
(A1 C 0) (A1 C1 0) k aus 11' · 15', 12' · 17';
(A C1 0) (A1 C1 0) l aus 15' · 24', 16' · 26';
(A1 C 0) (A1 C1 0) k' aus 11' · 16', 12' · 18';
(A C1 0) (A1 C1 0) l' aus 17' · 24', 18' · 26';
(A C 0) (A1 C 0) (C1 0) l s aus 15' · 22', 16' · 20';
(A C 0) (A1 C 0) (C1 0) l' n " 17' · 22', 18' · 20';
(A C1 0) (A1 C1 0) (C 0) l r " 15' · 21', 16' · 19';
(A C1 0) (A1 C1 0) (C 0) l' m " 17' · 21', 18' · 19';
§ 48. Erweiterte Syllogistik.
(A1 C ≠ 0) ϰ aus 11’ · 23’, 12’ · 25’; (A1 C1 ≠ 0) ϰ' aus 11’ · 24’, 12’ · 26’;
(A C ≠ 0) ϰ λ aus 19’ · 23’, 20’ · 25’; (A C1 ≠ 0) ϰ' λ aus 19’ · 24’, 20’ · 26’;
(A1 C ≠ 0) ϰ λ' aus 21’ · 23’, 22’ · 25’; (A1 C1 ≠ 0) ϰ' λ' aus 21’ · 24’, 22’ · 26’;
(A C ≠ 0) (A1 ≠ 0) ϰ aus 25’ · 25’; (A C ≠ 0) (C1 ≠ 0) ϰ aus 13’ · 17’, 14’ · 15’;
(A C ≠ 0) (C1 ≠ 0) λ aus 19’ · 22’, 20’ · 20’;
(A C1 ≠ 0) (A1 ≠ 0) ϰ' aus 25’ · 26’; (A C1 ≠ 0) (C ≠ 0) ϰ' aus 13’ · 18’, 14’ · 16’;
(A C1 ≠ 0) (C ≠ 0) λ aus 19’ · 21’;
(A1 C ≠ 0) (A ≠ 0) ϰ aus 23’ · 25’; (A1 C ≠ 0) (C1 ≠ 0) ϰ aus 12’ · 15’;
(A1 C ≠ 0) (C1 ≠ 0) λ' aus 21’ · 22’;
(A1 C1 ≠ 0) (A ≠ 0) ϰ' aus 23’ · 26’, 24’ · 24’; (A1 C1 ≠ 0) (C ≠ 0) ϰ aus 12’ · 16’;
(A1 C1 ≠ 0) (C ≠ 0) λ' aus 21’ · 21’;
(A C ≠ 0) (A1 ≠ 0) (C1 ≠ 0) λ aus 15’ · 20’, 16’ · 22’;
(A C1 ≠ 0) (A1 ≠ 0) (C ≠ 0) λ aus 15’ · 19’, 16’ · 21’;
(A1 C ≠ 0) (A ≠ 0) (C1 ≠ 0) λ' aus 17’ · 20’, 18’ · 22’;
(A1 C1 ≠ 0) (A ≠ 0) (C ≠ 0) λ' aus 17’ · 19’, 18’ · 21’;
(A C ≠ 0) (A1 ≠ 0) ϰ λ aus 15’ · 25’, 16’ · 23’;
(A C1 ≠ 0) (A1 ≠ 0) ϰ' λ aus 15’ · 26’, 16’ · 24’;
(A1 C ≠ 0) (A ≠ 0) ϰ λ' aus 17’ · 25’, 18’ · 23’;
(A1 C1 ≠ 0) (A ≠ 0) ϰ' λ' aus 17’ · 26’, 18’ · 24’;
(A C ≠ 0) (A C1 ≠ 0) ϰ aus 13’ · 15’, 14’ · 17’;
(A C ≠ 0) (A1 C ≠ 0) λ aus 15’ · 23’, 16’ · 25’;
(A C ≠ 0) (A C1 ≠ 0) ϰ' aus 13’ · 16’, 14’ · 18’;
(A C ≠ 0) (A1 C ≠ 0) λ' aus 17’ · 23’, 18’ · 25’;
(A1 C ≠ 0) (A1 C1 ≠ 0) ϰ aus 11’ · 15’, 12’ · 17’;
(A C1 ≠ 0) (A1 C1 ≠ 0) λ aus 15’ · 24’, 16’ · 26’;
(A1 C ≠ 0) (A1 C1 ≠ 0) ϰ' aus 11’ · 16’, 12’ · 18’;
(A C1 ≠ 0) (A1 C1 ≠ 0) λ' aus 17’ · 24’, 18’ · 26’;
(A C ≠ 0) (A1 C ≠ 0) (C1 ≠ 0) λ σ aus 15’ · 22’, 16’ · 20’;
(A C ≠ 0) (A1 C ≠ 0) (C1 ≠ 0) λ' ν „ 17’ · 22’, 18’ · 20’;
(A C1 ≠ 0) (A1 C1 ≠ 0) (C ≠ 0) λ ϱ „ 15’ · 21’, 16’ · 19’;
(A C1 ≠ 0) (A1 C1 ≠ 0) (C ≠ 0) λ' μ „ 17’ · 21’, 18’ · 19’;
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0389" n="365"/>
            <fw place="top" type="header">§ 48. Erweiterte Syllogistik.</fw><lb/>
            <list>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> aus 11&#x2019; · 23&#x2019;, 12&#x2019; · 25&#x2019;; (<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; · 24&#x2019;, 12&#x2019; · 26&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0; &#x03BB;</hi> aus 19&#x2019; · 23&#x2019;, 20&#x2019; · 25&#x2019;; (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' <hi rendition="#i">&#x03BB;</hi> aus 19&#x2019; · 24&#x2019;, 20&#x2019; · 26&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0; &#x03BB;</hi>' aus 21&#x2019; · 23&#x2019;, 22&#x2019; · 25&#x2019;; (<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; · 24&#x2019;, 22&#x2019; · 26&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> aus 25&#x2019; · 25&#x2019;; (<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> aus 13&#x2019; · 17&#x2019;, 14&#x2019; · 15&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi> aus 19&#x2019; · 22&#x2019;, 20&#x2019; · 20&#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> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' aus 25&#x2019; · 26&#x2019;; (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' aus 13&#x2019; · 18&#x2019;, 14&#x2019; · 16&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi> aus 19&#x2019; · 21&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">A</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> aus 23&#x2019; · 25&#x2019;; (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> aus 12&#x2019; · 15&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi>' aus 21&#x2019; · 22&#x2019;;</item><lb/>
              <item>(<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">A</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' aus 23&#x2019; · 26&#x2019;, 24&#x2019; · 24&#x2019;; (<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">C</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi> aus 12&#x2019; · 16&#x2019;;</item><lb/>
              <item>(<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">C</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi>' aus 21&#x2019; · 21&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi> aus 15&#x2019; · 20&#x2019;, 16&#x2019; · 22&#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> &#x2260; 0) (<hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi> aus 15&#x2019; · 19&#x2019;, 16&#x2019; · 21&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">A</hi> &#x2260; 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi>' aus 17&#x2019; · 20&#x2019;, 18&#x2019; · 22&#x2019;;</item><lb/>
              <item>(<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">A</hi> &#x2260; 0) (<hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi>' aus 17&#x2019; · 19&#x2019;, 18&#x2019; · 21&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A C</hi> &#x2260; 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03F0; &#x03BB;</hi> aus 15&#x2019; · 25&#x2019;, 16&#x2019; · 23&#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> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' <hi rendition="#i">&#x03BB;</hi> aus 15&#x2019; · 26&#x2019;, 16&#x2019; · 24&#x2019;;</item><lb/>
              <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> &#x2260; 0) (<hi rendition="#i">A</hi> &#x2260; 0) <hi rendition="#i">&#x03F0; &#x03BB;</hi>' aus 17&#x2019; · 25&#x2019;, 18&#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> &#x2260; 0) (<hi rendition="#i">A</hi> &#x2260; 0) <hi rendition="#i">&#x03F0;</hi>' <hi rendition="#i">&#x03BB;</hi>' aus 17&#x2019; · 26&#x2019;, 18&#x2019; · 24&#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">&#x03F0;</hi> aus 13&#x2019; · 15&#x2019;, 14&#x2019; · 17&#x2019;;<lb/>
(<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">&#x03BB;</hi> aus 15&#x2019; · 23&#x2019;, 16&#x2019; · 25&#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">&#x03F0;</hi>' aus 13&#x2019; · 16&#x2019;, 14&#x2019; · 18&#x2019;;<lb/>
(<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">&#x03BB;</hi>' aus 17&#x2019; · 23&#x2019;, 18&#x2019; · 25&#x2019;;</item><lb/>
              <item>(<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">&#x03F0;</hi> aus 11&#x2019; · 15&#x2019;, 12&#x2019; · 17&#x2019;;<lb/>
(<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">&#x03BB;</hi> aus 15&#x2019; · 24&#x2019;, 16&#x2019; · 26&#x2019;;</item><lb/>
              <item>(<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">&#x03F0;</hi>' aus 11&#x2019; · 16&#x2019;, 12&#x2019; · 18&#x2019;;<lb/>
(<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">&#x03BB;</hi>' aus 17&#x2019; · 24&#x2019;, 18&#x2019; · 26&#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">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BB; &#x03C3;</hi> aus 15&#x2019; · 22&#x2019;, 16&#x2019; · 20&#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">C</hi><hi rendition="#sub">1</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi>' <hi rendition="#i">&#x03BD;</hi> &#x201E; 17&#x2019; · 22&#x2019;, 18&#x2019; · 20&#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><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03BB; &#x03F1;</hi> &#x201E; 15&#x2019; · 21&#x2019;, 16&#x2019; · 19&#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><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">C</hi> &#x2260; 0) <hi rendition="#i">&#x03BB;</hi>' <hi rendition="#i">&#x03BC;</hi> &#x201E; 17&#x2019; · 21&#x2019;, 18&#x2019; · 19&#x2019;;</item>
            </list><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[365/0389] § 48. Erweiterte Syllogistik. (A1 C ≠ 0) ϰ aus 11’ · 23’, 12’ · 25’; (A1 C1 ≠ 0) ϰ' aus 11’ · 24’, 12’ · 26’; (A C ≠ 0) ϰ λ aus 19’ · 23’, 20’ · 25’; (A C1 ≠ 0) ϰ' λ aus 19’ · 24’, 20’ · 26’; (A1 C ≠ 0) ϰ λ' aus 21’ · 23’, 22’ · 25’; (A1 C1 ≠ 0) ϰ' λ' aus 21’ · 24’, 22’ · 26’; (A C ≠ 0) (A1 ≠ 0) ϰ aus 25’ · 25’; (A C ≠ 0) (C1 ≠ 0) ϰ aus 13’ · 17’, 14’ · 15’; (A C ≠ 0) (C1 ≠ 0) λ aus 19’ · 22’, 20’ · 20’; (A C1 ≠ 0) (A1 ≠ 0) ϰ' aus 25’ · 26’; (A C1 ≠ 0) (C ≠ 0) ϰ' aus 13’ · 18’, 14’ · 16’; (A C1 ≠ 0) (C ≠ 0) λ aus 19’ · 21’; (A1 C ≠ 0) (A ≠ 0) ϰ aus 23’ · 25’; (A1 C ≠ 0) (C1 ≠ 0) ϰ aus 12’ · 15’; (A1 C ≠ 0) (C1 ≠ 0) λ' aus 21’ · 22’; (A1 C1 ≠ 0) (A ≠ 0) ϰ' aus 23’ · 26’, 24’ · 24’; (A1 C1 ≠ 0) (C ≠ 0) ϰ aus 12’ · 16’; (A1 C1 ≠ 0) (C ≠ 0) λ' aus 21’ · 21’; (A C ≠ 0) (A1 ≠ 0) (C1 ≠ 0) λ aus 15’ · 20’, 16’ · 22’; (A C1 ≠ 0) (A1 ≠ 0) (C ≠ 0) λ aus 15’ · 19’, 16’ · 21’; (A1 C ≠ 0) (A ≠ 0) (C1 ≠ 0) λ' aus 17’ · 20’, 18’ · 22’; (A1 C1 ≠ 0) (A ≠ 0) (C ≠ 0) λ' aus 17’ · 19’, 18’ · 21’; (A C ≠ 0) (A1 ≠ 0) ϰ λ aus 15’ · 25’, 16’ · 23’; (A C1 ≠ 0) (A1 ≠ 0) ϰ' λ aus 15’ · 26’, 16’ · 24’; (A1 C ≠ 0) (A ≠ 0) ϰ λ' aus 17’ · 25’, 18’ · 23’; (A1 C1 ≠ 0) (A ≠ 0) ϰ' λ' aus 17’ · 26’, 18’ · 24’; (A C ≠ 0) (A C1 ≠ 0) ϰ aus 13’ · 15’, 14’ · 17’; (A C ≠ 0) (A1 C ≠ 0) λ aus 15’ · 23’, 16’ · 25’; (A C ≠ 0) (A C1 ≠ 0) ϰ' aus 13’ · 16’, 14’ · 18’; (A C ≠ 0) (A1 C ≠ 0) λ' aus 17’ · 23’, 18’ · 25’; (A1 C ≠ 0) (A1 C1 ≠ 0) ϰ aus 11’ · 15’, 12’ · 17’; (A C1 ≠ 0) (A1 C1 ≠ 0) λ aus 15’ · 24’, 16’ · 26’; (A1 C ≠ 0) (A1 C1 ≠ 0) ϰ' aus 11’ · 16’, 12’ · 18’; (A C1 ≠ 0) (A1 C1 ≠ 0) λ' aus 17’ · 24’, 18’ · 26’; (A C ≠ 0) (A1 C ≠ 0) (C1 ≠ 0) λ σ aus 15’ · 22’, 16’ · 20’; (A C ≠ 0) (A1 C ≠ 0) (C1 ≠ 0) λ' ν „ 17’ · 22’, 18’ · 20’; (A C1 ≠ 0) (A1 C1 ≠ 0) (C ≠ 0) λ ϱ „ 15’ · 21’, 16’ · 19’; (A C1 ≠ 0) (A1 C1 ≠ 0) (C ≠ 0) λ' μ „ 17’ · 21’, 18’ · 19’;

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
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/389
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 365. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/389>, abgerufen am 24.11.2024.