"juhulkuip" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

i. Esimese vormireegli vastu. ii. Neljanda presupositsioonireegli vastu. iii. Teise vormireegli vastu. iv. Esimese presupositsioonireegli vastu. v. Kolmanda vormireegli vastu. Loogikaeksamivabastustöö Karina Sedova 1. Modaalneloogika (aleetilineloogika) Mislausesobibjärgmiselevalemile, juhulkuip-Tiinatahabjalutadajaq-sõberjätabkõikekõrvale? ¬ □ ¬ (p→q) a) On paratamatu, et kui Tiina tahab jalutada, jätab sõber kõike kõrvale. b) On võimatu, et kui Tiina tahab jalutada, jätab sõber kõike kõrvale. c) Kui Tiina tahab jalutada, siis ei ole paratamatu, et sõber jätab kõike kõrvale. d) On võimalik, et kui Tiina tahab jalutada, jätab sõber kõike kõrvale. e) Ei ole paratamatu, et kui Tiina tahab jalutada, jätab sõber kõike kõrvale. 2