evianpring

Member for 1 year, 11 months
Last seen more than 1 year ago

Network profile

Summary

Reputation

291

291

Feb
May
Aug
Nov

Top tag

logic

Next privilege

350 Rep.

Access review queues

Badges

1

8

Newest

Yearling

Next badge

0/1

Informed

Questions

View all 13 questions

Score Activity Newest Views

3

Why is any sentence a logical consequence of a set of inconsistent premises?

Jan 3, 2022

2

How to understand scope of action of a quantifier in a quantified sentence that is a translation of an English sentence?

Jan 19, 2022

1

How to understand a proof by contradiction in minute detail?

Jan 3, 2022

1

How to formally prove using first-order set theory that {7,8,9}={7,8,10} is a false statement?

Feb 1, 2022

1

Prove that if S tautological consequence of P, S tautological consequence of Q, then S tautological consequence of P | Q

Jan 5, 2022

Answers

Score Activity Newest

2

How to write a formal proof of Euclid's Theorem, specifying every logic rule used?

Jan 22, 2022

0

What is the difference between a logical truth and a tautology?

Dec 26, 2021

0

How to understand a proof by contradiction in minute detail?

Jan 11, 2022

Tags

View all 7 tags

logic

2

Score

16

posts

propositional-logic

0

Score

6

posts

proof

0

Score

2

posts

principle-of-non-contradiction

0

Score

2

posts

set-theory

0

Score

1

post

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Dec 26, 2022

8

bronze badges

Curious

Jan 22, 2022
Critic

Jan 21, 2022
Commentator

Jan 6, 2022

Accounts

View all 16 accounts

4,601
1
10
20

3,358
1
27
54

311
1
7

291
1
8

141
2

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

8

upvotes

8

answer votes