Skip to main content
Mathematics
Hunan Rostomyan's user avatar
Hunan Rostomyan's user avatar
Hunan Rostomyan's user avatar
Hunan Rostomyan
  • Member for 10 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
2,055
reputation
117k
reached
74
answers
2
questions
Communities
View all
About

Student

Badges
View all badges
This user doesn’t have any gold badges yet.
17
silver badges
21
bronze badges
Top tags
View all tags
119
Score
61
Posts
80
Posts %
37
Score
17
Posts
22
Posts %
20
Score
7
Posts
9
Posts %
17
Score
8
Posts
11
Posts %
13
Score
5
Posts
7
Posts %
10
Score
2
Posts
3
Posts %
Top posts
View all questions and answers
16
A logic problem. No need for calculation
Apr 27, 2014
12
Is there a simple example of how the law of the excluded middle can be inapplicable?
Apr 5, 2014
9
$(p \implies q) \wedge (q \implies r) \implies (p \implies r)$
Apr 17, 2014
9
Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory
Aug 28, 2013
6
Boolean Logic - Reduction - $a \vee (a \wedge b) = a$
May 9, 2014
6
Soundness of a rule of a proof system with respect to the truth tables?
Nov 3, 2013
5
Lambda calculus logical operators
Apr 18, 2014
4
Axiomatic set theory: definitions.
Apr 29, 2015
4
Relational Algebras and Relational Calculus
Aug 22, 2013
4
Axiom of unrestricted comprehension
May 2, 2014
Top network posts
View all network posts
30
What is the difference between a statement and a proposition?
24
Why does Carnap say 'Caesar is a prime number' is meaningless?
23
Difference between implication/conditional and logical entailment?
23
How do you get a list of the names of all files present in a directory in Node.js?
22
Semantic vs syntactic consequence