mert

less info

network profile

114 reputation

3

bio	website	mert.im
	location	Ankara
	age	24
visits	member for	1 year, 6 months
	seen	Feb 16 at 20:46
stats	profile views	5

MSc in computer science at Bilkent University, Ankara, Turkey.

summary answers questions tags badges favorites bounties reputation activity

2 Questions

votes activity newest

2	Propositional Logic Proof of $\vdash \lnot (p \supset q) \supset (p \land \lnot q)$
1	Prove or disprove validity: $(\forall x \exists y (P(x) \supset Q(y))) \supset(\exists y \forall x (P (x) \supset Q(y)))$

114 Reputation

+10	Propositional Logic Proof of $\vdash \lnot (p \supset q) \supset (p \land \lnot q)$
-2	Prove or disprove validity: $(\forall x \exists y (P(x) \supset Q(y))) \supset(\exists y \forall x (P (x) \supset Q(y)))$
+5	Prove or disprove validity: $(\forall x \exists y (P(x) \supset Q(y))) \supset(\exists y \forall x (P (x) \supset Q(y)))$

1 Answer

votes activity newest

-1	Prove or disprove validity: $(\forall x \exists y (P(x) \supset Q(y))) \supset(\exists y \forall x (P (x) \supset Q(y)))$

4 Tags

0 intuition	-1 logic × 3
0 propositional-calculus	-1 homework × 2

8 Accounts

	Academia	477 rep	110
	Stack Overflow	386 rep	212
	English Language & Usage	133 rep	14
$Mathematics Stack Exchange$	Mathematics	114 rep	3
	Server Fault	111 rep	5

3 Badges

recent class name

Autobiographer	Student
Scholar

0 Active bounties

active offered earned

This user has no active bounties

0 Votes Cast

This user has not cast any votes

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.17.690