Judul: SOAL-SOAL DAN JAWABAN LOGIKA-KUANTOR
Penulis: Mufa Latifa
SOAL DAN JAWABAN LOGIKA
KUANTOR
LATIHAN SOAL 4 NO. 3-22
DOSEN PENGAMPU : BENI ASYHAR, M.Pd191617410480300
KELOMPOK 4:
ISTIQOMAH2814133094
IZAELATUL LAELA2814133095
IZATUL FUADAH2814133096
MAHMUD HADI KUNCORO2814133107
MIFTAKHUL MA'RUF2814133113
M. RIZAL SUKMA2814133119
MUFA LATIFATUL UMMA2814133120
Kelas : TMT 2-D
FAKULTAS TARBIYAH DAN ILMU KEGURUAN
INSTITUS AGAMA ISLAM NEGRI (IAIN)
TULUNGAGUNG
2014
Apabila kalimat-kalimat terbuka terbuka
px:x≤3
qx:x+1ganjil
rx:x>0
Tentukan semua nilai x sedemikian hingga pernyataan p(x)∧q(x)∧r(x) benar.
Tentukan lima bilangan bulat positif terkecil x sehingga pernyataan p(x)→¬q(x)∧r(x) benar.
Jawab :∃xpx∧qx∧rx∃xx≤3∧x+1ganjil∧x>0
∃xx≤3,x genap∧x>0
∃x0<x≤3, x genap
Jadi, x bernilai benar jika 0<x≤3 dan x genap sehingga x=2.
∃xp(x)→¬q(x)∧r(x)∃xx≤3→¬x+1ganjil∧x>0
∃xx≤3→x>0,x genap
∃x¬x≤3∨x>0,x genap
∃xx>3 ∨x>0,xgenap
Jadi, x bernilai benar jika x>0 dan x genap seningga x=2,4,6,8,10Misalkan kalimat terbuka p(x): "x2 >x" dengan semesta terdiri dari semua bilangan riil. Tentukan nilai kebenaran dari pernyataan-pernyataan berikut:
p(0)
p(2/3)
∃x p(x)
∀x p(x)
Jawab:
a. p(0) = 02 > 0(salah)
b. p(2/3) = (2/3)2 > 2/3 = 4/9 > 2/3(salah)
c. ∃x p(x) (benar) → misal p(2)=22 > 2
d.∀x p(x)(salah)
Misalkan semesta terdiri dari semua segi banyak dengan tiga sisi atau empat sisi. Didefinisikan kalimat-kalimat terbuka sebagai berikut:
p(x): Semua sudut (dalam) dari x sama.
q(x): Segitiga sama sisi.
r(x): Semua sisi x sama.
a(x): x mempunyai sudut (dalam) melebihi 180°.
b (x): x empat sisi.
c (x): x bujur sangkar.
d (x): x empat persegi.
e (x): x segitiga.
Terjemahkan dan tentukan nilai kebenaran pernyataan-pernyataan berikut:
∃xax⋀ex∀xsx→ex∀xex→~ax∀xpx→qx∃xbx⋀ax∃xcx⋀~dx∀xrx→qx∀xpx⋀ex)↔q(x)∀xrx⋀bx)→d(x)∀xdx↔px)⋀r(x))∀xex→px↔r(x))∀xpx→(qx∨(x))Jawab:
Terdapat x, x mempunyai sudut (dalam) melebihi 180° dan x segitiga, nilai (S)
Untuk semua x, jika x segitiga sama kaki maka x segitiga, nilai (B)
Untuk semua x, jika x segitiga maka x tidak mempunyai sudut (dalam) melebihi 180°, nilai (B)
Untuk semua x,jika semua sudut (dalam) dari x sama maka maka x segitiga sama sisi, nilai (S)
Terdapat xempat sisi dan x mempunyai sudut (dalam) melebihi 180°, nilai (B)
Terdapat x segitiga dan x tidak empat persegi,nilai
Untuk semua x,jika semua sisi x sama maka x segitiga sama sisi, nilai (B)
Untuk semua x semua sudut (dalam) dari x sama dan x segitiga jika dan hanya jika x segitiga sama sisi, nilai (B)
Untuk semua x,jika semua sisi x sama dan x empat sisi maka x empat persegi, nilai (B)
Untuk semua x,x empat persegi jika dan hanya jika semua sudut (dalam) dari x sama dan semua sisi x sama, nilai (B)
Untuk semua x, jika x segitiga maka semua sudut (dalam) dari x sama jika dan hanya jika semua sisi xsama, nilai (B)
Untuk semua x,jika semua sudut (dalam) dari x sama maka x segitiga sama sisi atau x bujur, nilai (B).
Misalkan semesta dari semua bilangan bulat, didefinisikan sebagai kalimat-kalimat terbuka sebagai berikut :
px:x>0 sx:x dapat dibagi 4 qx:x genap tx:x dapat dibagi 5
rx:xkuadrat sempurna
Tuliskan pernyataan-pernyataan berikut menggunakan kuantor dan penghubung logika. Selanjutnya, tentukan nilai-nilai kebenarannya.Sekurang-kurangnya satu bilangan bulat adalah genap.
Jawab :∃x ∈Z qx , salah, karena sekurang-kurangnya satu bilangan bulat bisa juga ganjil.Terdapatlah bilangan bulat positif yang genap.
Jawab :∃x ∈Z px→qx , benar, karena terdapatlah bilangan bulat positif yang genap.Jika x genap, maka x dapat dibagi 5.
Jawab :∀x ∈Z qx→tx , salah, karena terdapat x genap yang dapat dibagi 5.
Tidak ada bilangan bulat genap yang dapat dibagi 5.
Jawab :¬∃x ∈Z qx→tx , salah, karena terdapat x genap yang dapat dibagi 5.
Menggunakan p(x), q(x), r(x), s(x) dan t(x) didalam soal (6), terjemahkan pernyataan- pernyataan berikut dalam bentuk kalimat:
(a). ∀x [r(x)⟶p(x)](b). ∀x [s(x)⟶q(x)(c). ∀x [s(x)⟶t(x)](d). ∀x [∼r(x)∨∼q(x)∨s(x)]
Penyelesaian:
Diketahui:
p(x) = x>0s(x) = x dapat dibagi 4
q(x) = x genapt(x) = x dapat dibagi 5
r(x) = x kuadrat sempurna
Ditanyakan:
(a). ∀x [r(x)⟶p(x)](b). ∀x [s(x)⟶q(x)(c). ∀x [s(x)⟶t(x)](d). ∀x [∼r(x)∨∼q(x)∨s(x)]
Jawab:
(a). ∀x [r(x)⟶p(x)]Setiap ∈Z ; jika x kuadrat sempurna, maka x>0(b). ∀x [s(x)⟶q(x)Setiap ∈Z ; jika x dapat dibagi 4, maka x genap
(c). ∀x [s(x)⟶t(x)] Setiap ∈Z ; jika x dapat dibagi 4, maka x dapat dibagi 5
(d). ∀x [∼r(x)∨∼q(x)∨s(x)]
Setiap ∈Z ; jika x bukan kuadrat sempurna atau x ganjil atau x tidak dapat dibagi 4
Misalkan semesta terdiri dari kumpulan semua obyek dan kalimat-kalimat terbuka p(x) ; "x adalah buku", q(x) : "x adalah mahal", dan r(x): "x adalah bagus". Tulislah pernyataan-pernyataan berikut menggunakan kuantor dan penghubung logika.
Tidak ada buku yang mahalSemua buku yang mahal adalah bagusTidak ada buku yang bagusApakah (c) diturunan dari (a) dan (b) ?Jawab:
∀xp(x)→¬q(x)∀xq(x)→r(x)∀xp(x)→¬r(x).
9. Diketahui : px= x2-2x-3=0qx=x ganjilrx=x>0Tentukan nilai kebenaran dari pernyataan-pernyataan dibawah ini
∀xpx→qx∀xqx→px∃xpx→qx∃xpx∧rx∀xpx→rx∃xrx→px∀x∼px∨qx∀x∼qx→∼px∃xpx→qx∧rx∀x(px∨qx)→r(x)
Jawab
Akan dibuktikan nilai kebenaran ∀xpx→qxAmbil sebarang x∈2n+1px= x2-2x-3=0p1=12-2.1-3 = -4karena ada x∈2n+1 yaitu 1 maka p1=-4 (genap)sehingga x genap,jadi ∀xpx→qx, bernilai salahAkan dibuktikan nilai kebenaran ∀xqx→pxAmbil sebarang x∈2n+1, misal x=1px= x2-2x-3=0p1=12-2.1-3 =-4sehingga px dengan x=1 maka px=-4karena -4≠0 jadi pemisalan salahjadi ∀xqx→px, bernilai salahAkan dibuktikan nilai kebenaran ∃xpx→qx Ambil sebarang x∈2n+1px= x2-2x-3=0p1=12-2.1-3 = -4Ambil sebarang x∈2npx= x2-2x-3=0p2=22-2.2-3 = 4-4-3 =-3karena ada x∈2n+1 yaitu 1 maka p1=-4 (genap)sehingga x genap,jadi ∃xpx→qx, bernilai benar
Akan dibuktikan nilai kebenaran ∀xpx→rxAkan ditunjukkan nilai x dari x2-2x-3=0x2-2x-3=0x-3x+1=0x=3 ∨x=-1karena ada x<0 yaitu x=-1, jadi ∀xpx→rx bernilai salah Akan dibuktikan nilai kebenaran ∃xrx→px-Ambil sebarang x>0, misal x=3px= x2-2x-3=0p3=32-2.3-3=0 =9-6-3=0-Ambil sebarang x<0, misal x=-2px= x2-2x-3=0p-2= -22-2.-2-3=0 =4+4-3 =5karena ada x>0, yaitu x=3, sehingga nilai x2-2x-3=0 maka pernyataan p(x) bernilai benar dan ada x<0, yaitu x=-2, sehingga nilai x2-2x-3=5 maka pernyataan p(x) bernilai salahjadi ∃xrx→px bernilai benar
Akan dibuktikan nilai kebenaran ∀x∼qx→∼pxAkan ditunjukkan faktor dari x2-2x-3=0x2-2x-3=0x-3x+1=0x=3 ∨x=-1karena faktor dari x2-2x-3=0 adalah x=3 ∨x=-1, x∈2n+1sehingga setiap x∈2n, maka x2-2x-3≠0jadi ∀x∼qx→∼px, bernilai benar
10. Diketahui : kalimat terbuka P(x,y) : "x lebih besar dari y" dengan semesta semua bilangan riil
Tentukan nilai kebenaran pernyataan-pernyataan dibawah ini:
P(2,1)
P(4,4)
P(5,-5)
P(35,243)Jawab:
2 lebih besar dari 1 (benar)
4 lebih besar dari 4 (salah)
5 lebih besar dari -5 (benar)
35 lebih besar dari 243 (salah)
Misalkan semesta terdiri dari semua bilangan bulat. Didefinisikan kalimat terbuka p(x,y): "x factor y" . Untuk bilangan-bilangan bulat x dan y, tentukan nilai kebenaran dari pernyataan-pernyataan berikut dan beri alas an.
p(2,9)e) ∀x px,xp(9,2)f) ∀y ∃x p(x,y)p(3,27)g)∃y ∀x p(x,y)∀y p(1,y)h) ∀x ∀y p(x,y)∧p(y,x)→x=yJawab :p(2,9) salah, karena 9 tidak habis membagi 2
p(9,2) salah, karena 2 tidak habis membagi 9
p(3,27) benar, karena 27 habis membagi 3
∀y p(1,y) benar, karena Z habis membagi 1
∀x px,x benar, karena bilangan yang dibagi bilangan itu sendiri hasilnya 1
∀y ∃x p(x,y), "untuk setiap bilangan bulat y terdapat bilangan bulat x yang merupakan factor bilangan bulat y". Jadi ∀y ∃x p(x,y) benar, karena bilangan bulat x habis membagi bilangan y.
∃y ∀x p(x,y), "terdapat bilangan bulat y yang habis dibagi dari setiap bilangan bulat x". Jadi, ∃y ∀x p(x,y) salah karena ada bilangan bulat y yang tidak habis dibagi bilangan bulat x, misal p(2,9)
∀x ∀y p(x,y)∧p(y,x)→x=y, benar karena x dan y akan bernilai sama jika x factor y dan y factor x , missal p3,3∧p3,3→3=3 dan x ≠ y jika x bukan factor y tetapiy factor x atau sebaliknya, x factor y tetapi y bukan factor x, sehingga p(x,y)∧p(y,x) salah dan x=y salah maka p(x,y)∧p(y,x)→x=y=s→s.
Misalkan kalimat terbuka p(x,y) dengan semesta {2,3,5}.
Pernyataan berkuantor ∃y p(2,y)⇔[(2,2)∨(2,3) ∨(2,5)] dan ∃x∀y p(x,y)⇔[(2,2)∧(2,3) ∧(2,5)]∨[(3,2)∧(3,3) ∧(3,5)]∨[(5,2)∧(5,3) ∧(5,5)]
Tuliskan pernyataan- pernyataan kalimat berikut menggunakan disjungsi atau konjungsi.
(a). ∃x p(x,5)(d). ∃x∃y p(x,y)(b). ∀x p(x,3)(e). ∃x∀y p(x,y)(c). ∀x p(2,y)(f). ∀y∃x p(x,y)Penyelesain:
(a). ∃x p(x,5)⇔[(2,5)∨(3,5) ∨(5,5)](b). ∀x p(x,3)⇔[(3,2)∧(3,3)∧ (3,5)](c). ∀x p(2,y)⇔[(2,2)∧(3,2)∧ (5,2)](d). ∃x∃y p(x,y)⇔[(2,2)∨(2,3) ∨(2,5)]∨[(3,2)∨(3,3) ∨(3,5)]∨[(5,2)∨(5,3)∨(5,5)](e). ∃x∀y p(x,y)⇔[(2,2)∧(2,3) ∧(2,5)]∧[(3,2)∧(3,3) ∧(3,5)]∧[(5,2)∧(5,3) ∧(5,5)](f). ∀y∃x p(x,y)⇔[(2,2)∨(3,2) ∨(5,2)]∧[(2,3)∨(3,3)∨(5,3)]∧[(2,5)∨(3,5)∨(5,5)]Misalkan kalimat terbuka p(x,y) dengan semesta 1,2,3. Teliskan pernyataan-pernyataan berikut menggunakan disjungsi atau konjungsi.
∃x px,3
Jawab :p1,3∨p2,3∨p3,3
∀x p1,x
Jawab :p1,1∧p1,2∧p1,3
∀x∀y px,y
Jawab :p1,1∧p1,2∧p1,3∧p2,1∧p2,2∧p3,3∧p3,1∧p3,2∧p3,3
∃x∃y px,y
Jawab :p1,1∨p1,2∨p1,3∨p2,1∨p2,2∨p3,3∨p3,1∨p3,2∨p3,3
∀y∀x px,y
Jawab :p1,1∧p1,2∧p1,3∧p2,1∧p2,2∧p3,3∧p3,1∧p3,2∧p3,3
Misalkan semesta terdiri dari semua orang dan kalimat terbuka p(x,y) : "x menyukai y". Tulislah pernyataan-pernyataan berikut menggunakan kuantor.
Semua orang menyukai setiap orang
Semua orang menyukai seseorang
Seseorang tidak menyukai siapa saja
Semua orang menyukai Cinderela
Terdapat seseorang yang menyukai semua orang
Tidak ada orang yang menyukai semua orang
Jawab:
∀x∀y p(x,y)
∀x∃y p(x,y)
∃x∀y ̴p(x,y)
∀x∃y p(x,y)
∃x∀y p(x,y)
∀x∀y ̴p(x,y)
Misalkan semesta terdiri dari semua bilangan bulat. Didefinisikan kalimat-kalimat terbuka sebagai berikut:
P(x): x ganjil.
q(x): x2 ganjil.
Diantara pernyataan-pernyataan berikut, manakah diantaranya yang ekuivalen satu sama lain.
Jika kuadrat dari sebarang bilangan bulat ganjil, maka bilangan bulat tersebut ganjil.
∀x[p(x) syarat perlu untuk q(x)].
Kuadrat dari sebarang bilangan bulat ganjil adalah ganjil.
Terdapat beberapa bilangan bulat yang kuadratnya adalah ganjil.
Sebarang bilangan bulat yang kuadratnya ganjil, bilangan bulat tersebut ganjil.
∀x[~p(x)→~q(x)].
Setiap bilangan bulat dengan kuadrat ganjil adalah ganjil.
Setiap bilangan bulat dengan kuadrat genap adalah genap.
∀x[p(x) syarat cukup untuk q(x)].
Jawab:
a ≡ c ≡gb ≡id ≡ef ≡hUntuk semua pasang dari pernyataan-pernyataan berikut, tentukan apakah negasi usulan benar. Jika negasi usulan salah, tentukan versi negasi yang benar.
Pernyataan: untuk semua bilangan rill x,y, jika x2>y2, maka x>yNegasi usulan: terdapatlah bialangan riil x,y sedemikian hingga x2>y2 tetap x>yPernyataan: terdapatlah bilangan riil x,y sedemikian hingga x,y rasional tetapi x+y irasional.
Negasi usulan: untuk setiap bilangan riil x,y, x+y rasional, maka x,y rasional.
Pernyataan: untuk setiap bilangan riil x, jika x tidak nol yang tidak mempunyai invers terhadap penggandaan.
Negasi usulan: terdapatlah bilangan riil yang tidak nolyang tidak mempunyai invers terhadap penggandaan.
Pernyataan: terdapatlah bilangan-bilangan bilangan bulat ganjil yang hasil kalinya ganjil.
Negasi usulan: hasil kali dari dua sembarang bilangan ganjil adalah ganjil.
Jawab :.
∃x,y ∈R x,y Q ∧ x+y Q℩Misal : p = x,y Qq = x+y Q℩maka : ∃x,y ∈R p ∧ qditanya : ¬∃x,y ∈R p ∧ q≡ ∀x,y∈R ¬p ∧ q ≡∀x,y∈R ¬p∨¬q ≡∀x,y∈R p→¬q ≡∀x,y∈R x,y Q→¬x+y Q℩∴ negasi usulan salah karena untuk setiap x,y bilangan riil sedemikian hingga jika x,y rasional maka x+y rasional.
∀x ∈R p(x)→q(xmisal : px=x tidak nol qx=x mempunyai invers terhadap penggandaanDitanya : ¬∀x ∈R p(x)→q(xJawab :
¬∀x ∈R p(x)→q(x
≡∃x ∈R ¬px→qx≡∃x ∈R ¬¬px∨qx≡∃x ∈R px∨¬qx∴ negasi usulan benar, karena terdapat bilangan riil x sedemikian hingga x tidak nol dan tidak mempunyai invers terhadap penggandaan.
∃x x∈2n+1→x.x ∈2nMisal : p(x) = x∈2n+1q(x)= x.x ∈2nmaka : ∃x p(x)→q(x)ditanya : ¬∃x p(x)→q(x)jawab :¬∃x p(x)→q(x)≡∀x ¬p(x)→q(x)
≡∀x p(x)∧¬q(x)
∴negasi usulan salah karena untuk setiap bilangan ganjil dan hasil kalinya genap.
Negasikan dan sederhanakan pernyataan-pernyataan berikut:
∀xp(x)→q(x)c) ∀xp(x)∧¬q(x)∃xp(x)∨q(x)d) ∃xp(x)∧q(x)→r(x)Jawab :¬∀xp(x)→q(x)≡∃x¬p(x)→q(x)
≡∃x¬¬p(x)∨q(x)
≡∃x p(x)∧¬q(x)
∃x p(x)∨q(x)
=¬∃x p(x)∨q(x)
≡∀x ¬p(x)∨q(x)
≡∀x ¬p(x)∧¬q(x)∀xp(x)∧¬q(x)=¬∀xp(x)∧¬q(x)
≡∃x¬p(x)∧¬q(x)
≡∃x ¬p(x)∨q(x)
≡∃x p(x)→q(x)
∃xp(x)∧q(x)→r(x)=¬∃xp(x)∧q(x)→r(x)
≡∀x¬p(x)∧q(x)→r(x)
≡∀x¬¬p(x)∧q(x)∨r(x)
≡∀xp(x)∧q(x)∧¬r(x)
Misalkan semesta terdiri darisemua bilangan bulat. Tentukan nilai kebenaran pernyataan-pernyataan berikut. Kemudian tentukan konvers, invers, kontrapositif serta nilai kebenarannya.
Jika x>y , maka x2>y2 .
Jika x factor dari y dan y factor dari z, maka x factor dari z.
Setiap bilangan bulat yang dapat dibagi oleh 8 juga dapat dibagi oleh 4.
Jawab :∀x,y x>y→x2>y2, salah misal x=-2, y=1, maka 1>-2 bernilai benar dan 12>-22 bernilai salah, sehingga x>y→x2>y2=B→SKonvers : ∀x,y x2>y2→x>y, salah. Misal x=1, y=-2, maka -22>12 benar dan -2>1 salah, sehingga x>y→x2>y2 salah.
Invers : ∀x,y x≤y→x2≤y2, salah. Misal x=-2, y=1, maka -2≤1 benar dan -22≤12 salah. Sehingga ∀x,y x≤y→x2≤y2 salah.
Kontrapositif : ∀x,y x2≤y2→x≤y, salah. Karena x>y→x2>y2⟺x2≤y2→x≤yMisal p(x,y): "x factor y", maka ∀x∀y∀zp(x,y)∧p(y,z)→p(x,z) benar.
Bukti :AS, x,y,z ∈Z, misal 2,4,8 berarti p2,4∧p4,8 maka p(2,8)Konvers : ∀x∀y∀zp(x,z)→p(x,y)∧p(y,z) salah. AS. x,y,z ∈Z, misal 2,5,8 berarti p(2,5) maka p(2,5)∧p(5,8).
Invers : ∀x∀y∀z¬p(x,y)∨¬p(y,z)→¬p(x,z) salah, As. x,y,z ∈Z, misal 2,3,6 berarti
¬p(2,3)∨¬p(3,6)→¬p(2,6)=B∨S→S=B→S=S
Kontrapositif : ∀x∀y∀z¬p(x,z)→¬p(x,y)∨¬p(y,z) benar karena untuk semua bilangan bulat p(x,y)∧p(y,z)→p(x,z)⟺¬p(x,z)→¬p(x,y)∨¬p(y,z).
Misalkan semesta terdiri dari semua bilangan bulat non negatif. Tentukan nilai kebenaran dari pernyataan-pernyataan berikut.
∀x∃yxy=1∃x∀yxy=1∀x∀ysin2x+cos2x=sin2y+cos2x∃x∃y2x+y=5∧x-3y=-8Jawab :∀x∃yxy=1, untuk setiap bilangan bulat non negatif x terdapat bilangan bulat negatif y sedemikian hingga xy=1. Jadi, ∀x∃yxy=1 salah.
∃x∀yxy=1, terdapat bilangan bulat non negatif x untuk setiap bilangan bulat non negatif y sedeian hingga xy=1. Jadi, xy=1 salah.
∀x∀ysin2x+cos2x=sin2y+cos2x, untuk setiap bilangan bulat non negatif x berlaku untuk semua bilangan bulat non negatif y sedemikian hingga sin2x+cos2x=sin2y+cos2x. Jadi, ∀x∀ysin2x+cos2x=sin2y+cos2x∃x∃y2x+y=5∧x-3y=-8, terdapat bilangan bulat negatif x berlaku terdapat bilangan bulat non negatif y sedemikian hingga 2x+y=5∧x-3y=-8. Jadi, ∃x∃y2x+y=5∧x-3y=-8 benar jika x = 1 dan y = 3.
Misalkan semesta terdiri dari semua bilangan riil. Sederhanakan pernyataan-pernyataan berikut:
∀x∀yx>y→x-y>0∀x∀yx>0∧x=logx→x=10y∀x∀yx<y→∃zx<z<y∀x∀yx=y→y=±xMisalkan p(x) dan q(x) kalimat-kalimat terbuka di dalam semesta. Tujukkan ekuivalensi-ekuivalensi (logis) berikut :
∀x¬p(x)∧q(x)↔∀x¬p(x)∨¬q(x)∀x¬p(x)∨q(x)↔∀x¬p(x)∧¬q(x)Jawab :Untuk setiap ɑ di dalam semesta, perhatikan pernyataan-pernyataan ¬[p(ɑ) ˄ q(ɑ)] dan [¬p(ɑ) ˅ ¬q(ɑ)]. Menggunakan hukum de Morgan, ¬[p(ɑ) ˄ q(ɑ)]↔ [¬p(ɑ) ˅ ¬q(ɑ)].
Jadi, ∀x ¬[p(x) ˄ q(x)]↔ ∀x [¬p(x) ˅ ¬q(x)].
Untuk setiap ɑ di dalam semesta, perhatikan pernyataan-pernyataan ¬[p(ɑ) ˅q(ɑ)] dan [¬p(ɑ) ˄ ¬q(ɑ)]. Menggunakan hukum de Morgan, ¬[p(ɑ) ˅ q(ɑ)]↔ [¬p(ɑ) ˄ ¬q(ɑ)].
Jadi, ∀x ¬[p(x) ˅ q(x)]↔ ∀x [¬p(x) ˄ ¬q(x)].
Menggunakan konsep limit untuk barisan dari bilangan-bilangan riil, tulislah pernyataan lima→∞an≠L dalam bentuk simbolik.
Jawab:
limx→∞an=L↔ ∀x>0 ∃k>0 ∀n [(n>k)→(an-L<ε)] negasinya
limx→∞an≠L↔ ~[∀x>0 ∃k>0 ∀n [(n>k)→(an-L<ε)] ↔∃x>0 ∀k>0 ∃n ~[(n>k)→(an-L<ε)]↔∃x>0 ∀k>0 ∃n ~[~n>k ˅ (an-L<ε)] ↔∃x>0 ∀k>0 ∃n [n>k ˅ (an-L<ε)]
Terimakasih telah membaca SOAL-SOAL DAN JAWABAN LOGIKA-KUANTOR. Gunakan kotak pencarian untuk mencari artikel yang ingin anda cari.
Semoga bermanfaat
0 komentar: