konjunktsioon) V (või e. disjunktsioon) - (ei e. eitus) => (järeldus e. implikatsioon) == (samasus e. ekvivalents) A& B AV B -A A => B -------- -------- ---- -------- TTT TTT VT TTT TVV TTV TV TVV VVT VTT VTT VVV VVV VTV Kaasaegse loogika alus: Gottlob Frege 1879: Kontseptuaalne notatsioon ("Begriffsschrift") loob kaasaegse predikaatarvutuse; Isa (Jaan,Mihkel). Isa(Jaan,Ants).Isa(Ants,Peeter).Iga x, y, z jaoks: Isa(x,y) & Isa(y,z) => Vanaisa(x,z).Tõesta, et eksisteerivad z, u nii et Vanaisa(z,u). 1890: Herman Hollerith: perfokaartidega masin USA rahvaloenduse andmete töötlemiseks Hollerith'i firmast tekkis IBM Vaakumtoru 1906 Le e Deforest Georg Cantor (1845-1918) hulgateooria rajaja,
x q.! q) .;I ^:'J *J =.r- -:a :J = 'J) J;= -Xa i=;-v ;li - =>=_=JJ9 j iJ ! .A ,; ! al-i'vtv/ .r-i =E= .}< t4 r'Y r (Jli!!!, 9V:-f Vrr d! ! .2.liNF6 a 2 NrQ H , -L! ! i+ r-l -=t== =.1 -:.;.31..-.--^ - zii 's; r'== r= q =-:
Loogikatehted on funktsioonid tõeväärtustel T ja V. Enimkasutatud tehted on & (ja e. konjunktsioon) V (või e. disjunktsioon) - (ei e. eitus) => (järeldus e. implikatsioon) == (samasus e. ekvivalents) A& B AVB - A A => B -------- -------- ---- -------- TTT TTT VT TT T TVV TTV TV TVV VVT VTT VTT VVV VVV VTV Kaasaegse loogika alus: Gottlob Frege 1879: Kontseptuaalne notatsioon ("Begriffsschrift") loob kaasaegse predikaatarvutuse Näide: Isa(Jaan,Mihkel), Isa(Jaan,Ants), Isa(Ants,Peeter). Iga x, y, z jaoks: Isa(x,y) & Isa(y,z) => Vanaisa(x,z). Tõesta, et eksisteerivad z, u nii et Vanaisa(z,u). Frege filosoofina: logitsist Hollerith’i perfokaardid 1890: Herman Hollerith: perfokaartidega masin USA rahvaloenduse andmete töötlemiseks Hollerith’i firmast tekkis IBM.
annaabi.ee 
