tehted on kommutatiivsed. Implikatsioon ei ole kommutatiivne tehe. pqp→q 111 100 011 001 Implikatsiooni saab tõlgendada kui hinnangut tõe ülekande protsessile. Implikatsioon on tõene parajasti siis, kui tehte esimeselt komponendilt teisele liikudes ei teki tõekadu. Tõeväärtustabeli esimeses reas tõde kaduma ei lähe ning teises reas läheb. Ka tabeli kahes viimases reas ei lähe tõde kaduma, sest seda polegi esimeses operandis. Implikatsiooni saab avaldada teiste lausearvutuse tehete kaudu: p → q ≡ ¬p ∨ q, p → q ≡ ¬(p & ¬q). Samasuse märk ≡ rõhutab, et võrdus leiab aset muutujate kõigi väärtuste korral. Lausearvutuses kasutatav implikatsioon on eelkõige ikkagi lausearvutuse tehe ega kirjelda kõiki seoseid, mida väljendipaar kui … siis … keeles väljendada võib. Esiteks võib väljendipaar kui ... siis … esineda eesti keeles ka konjunktsiooni tähenduses, nt tuleks
0 1 1 0 0 1 Implikatsiooni saab tõlgendada kui hinnangut tõe ülekande protsessile. Implikatsioon on tõene parajasti siis, kui tehte esimeselt komponendilt teisele liikudes ei teki tõekadu. Tõeväärtustabeli esimeses reas tõde kaduma ei lähe ning teises reas läheb. Ka tabeli kahes viimases reas ei lähe tõde kaduma, sest seda polegi esimeses operandis. Implikatsiooni saab avaldada teiste lausearvutuse tehete kaudu: p q ¬p q, p q ¬(p & ¬q). Samasuse märk rõhutab, et võrdus leiab aset muutujate kõigi väärtuste korral. Lausearvutuses kasutatav implikatsioon on eelkõige ikkagi lausearvutuse tehe ega kirjelda kõiki seoseid, mida väljendipaar kui ... siis ... keeles väljendada võib. Esiteks võib väljendipaar kui ... siis ..
annaabi.ee 
