Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 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> ≠ 0) <hi rendition="#i">ϰ</hi> aus 11’ · 23’, 12’ · 25’; (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' aus 11’ · 24’, 12’ · 26’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) <hi rendition="#i">ϰ λ</hi> aus 19’ · 23’, 20’ · 25’; (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' <hi rendition="#i">λ</hi> aus 19’ · 24’, 20’ · 26’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">ϰ λ</hi>' aus 21’ · 23’, 22’ · 25’; (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' <hi rendition="#i">λ</hi>' aus 21’ · 24’, 22’ · 26’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi> aus 25’ · 25’; (<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi> aus 13’ · 17’, 14’ · 15’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi> aus 19’ · 22’, 20’ · 20’;</item><lb/> <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' aus 25’ · 26’; (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' aus 13’ · 18’, 14’ · 16’;</item><lb/> <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ</hi> aus 19’ · 21’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">A</hi> ≠ 0) <hi rendition="#i">ϰ</hi> aus 23’ · 25’; (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi> aus 12’ · 15’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi>' aus 21’ · 22’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' aus 23’ · 26’, 24’ · 24’; (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">ϰ</hi> aus 12’ · 16’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ</hi>' aus 21’ · 21’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi> aus 15’ · 20’, 16’ · 22’;</item><lb/> <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ</hi> aus 15’ · 19’, 16’ · 21’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">A</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi>' aus 17’ · 20’, 18’ · 22’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ</hi>' aus 17’ · 19’, 18’ · 21’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ λ</hi> aus 15’ · 25’, 16’ · 23’;</item><lb/> <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' <hi rendition="#i">λ</hi> aus 15’ · 26’, 16’ · 24’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">A</hi> ≠ 0) <hi rendition="#i">ϰ λ</hi>' aus 17’ · 25’, 18’ · 23’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' <hi rendition="#i">λ</hi>' aus 17’ · 26’, 18’ · 24’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi> aus 13’ · 15’, 14’ · 17’;<lb/> (<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ</hi> aus 15’ · 23’, 16’ · 25’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' aus 13’ · 16’, 14’ · 18’;<lb/> (<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ</hi>' aus 17’ · 23’, 18’ · 25’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi> aus 11’ · 15’, 12’ · 17’;<lb/> (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi> aus 15’ · 24’, 16’ · 26’;</item><lb/> <item>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' aus 11’ · 16’, 12’ · 18’;<lb/> (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi>' aus 17’ · 24’, 18’ · 26’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ σ</hi> aus 15’ · 22’, 16’ · 20’;</item><lb/> <item>(<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi>' <hi rendition="#i">ν</hi> „ 17’ · 22’, 18’ · 20’;</item><lb/> <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ ϱ</hi> „ 15’ · 21’, 16’ · 19’;</item><lb/> <item>(<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">λ</hi>' <hi rendition="#i">μ</hi> „ 17’ · 21’, 18’ · 19’;</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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 18.02.2025. |