Profil Kami
Kelompok 8 Ordered Sets
Afrilian Ardi Arus
(4101412160)
(4101412160)
Semarang, 13 April 1995
Ana Dwi Ariyani
(4101412170)
(4101412170)
Blora, 26 Mei 1994
Anik Noor Jannah
(4101412069)
(4101412069)
Kudus, 13 September 1993
Senin, 12 November 2012
Senin, 15 Oktober 2012
Selasa, 18 September 2012
Soal No 6 (Set Theory)
6. Show that (i) ̴x eq ̴(xvy) and (ii) x eq (x→y) →(x→y) from these find the equivalent formulae of x˄y, x→y and x↔y as iterated compositions of joint negations
Answer
: . . . .
Senin, 17 September 2012
Soal No 5 (Set Theory)
5. Corresponding to the
statement 'neither X nor Y', the joint negation
X i Y is defined by the truth table.
Show that (i) X i Y eq ~ (X v Y) and (ii) X eq (X I X) I (X I X).
The Answer is. . . .
Contoh Soal PDM
Contoh soal:
Buktikan [(p → q) ˄p] → q ek T
Bukti :
Langganan:
Postingan (Atom)