Final Fantasy 7 Cloud Strife

Search

Profil Kami

Kelompok 8 Ordered Sets

Afrilian Ardi Arus
(4101412160)
Semarang, 13 April 1995

Ana Dwi Ariyani
(4101412170)
Blora, 26 Mei 1994

Anik Noor Jannah
(4101412069)
Kudus, 13 September 1993

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 :

Mind Map Of Statement Calculus