mariana je napisao:[dispmath]B\;\Longrightarrow\;(B\setminus A)\iff\;–||–[/dispmath]
mariana je napisao:Primjenjujem ekvivalenciju: [inlmath]A\;\Longrightarrow\;B\iff\lnot A\lor B[/inlmath]
mariana je napisao:Sada dolazim do koraka s kojim ne znam nastaviti dalje;
[dispmath]\top\;\land\;(X\notin B\;\lor\;X\notin A)\iff(A\setminus B)=A[/dispmath] Dalje dvojim izmedju:
a) uvrstiti [inlmath](A\setminus B)[/inlmath] levo na mesto [inlmath]A[/inlmath], ali u tom slucaju dobivam [inlmath]\top\;\land\;\top\;\lor\;X\notin A\iff A[/inlmath]
mariana je napisao:b) napraviti tablicu istinitosti i pretpostaviti da je [inlmath]\iff[/inlmath] tacna samo ako pretpostavimo da je [inlmath](X\notin B\;\lor\;X\notin A)[/inlmath] tacno, ali onda opet stanem sta dalje s tim.
mariana je napisao:[dispmath](B\setminus A)[/dispmath] - tu uvodim pomocni element "ili", jer on ne utjece na istinitost iskaza
[dispmath]X\in(B\setminus A)\;\Longrightarrow\;X\in B\;\land\;X\notin A\;\lor\;(X\in B\;\land\;X\in A)[/dispmath]
Daniel je napisao:Kako ne utiče na istinitost iskaza? Može li pojašnjenje?
mariana je napisao:U svakom trenutku smemo uvesti [inlmath]\lor[/inlmath], tj "ili" i iza toga bilo sta!
mariana je napisao:Da [inlmath]\lor[/inlmath] ne utjece na istinitost iskaza se takodje vidi i iz tablice istinitosti za disjunkciju. [inlmath]\top\lor\bot[/inlmath] dat ce [inlmath]\top[/inlmath], jer ako kazem, npr "pada kisa" i to je istina. Dodam li tomu iskaz "nebo je ljubicasto" (sto, recimo da, nije:), svejedno je onda izraz "pada kisa ili je nebo ljubicasto" istinit, jer je jedan od clanova istinit. Da sam rekla "pada kisa i nebo je ljubicasto", onda bi taj izraz bio neistinit jer sam koristila konjukciju, [inlmath]\land[/inlmath].
Daniel je napisao:A da smo, recimo, imali rečenicu „Nebo je ljubičasto“ (koja je, dakle, neistinita) i dodamo „ili je trava zelena“ (što je istinito), bi li se onda promenila istinitosna vrednost prve rečenice?
mariana je napisao:U svakom trenutku smemo uvesti [inlmath]\lor[/inlmath], tj "ili" i iza toga bilo sta!
Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 33 gostiju