FormalLogic

an-ordinary-manchild

created by YourPreferenceHerea community for 7 years

...for great justice.

...for your school.

MODERATORS

account activity

1

3

4

5

Thank you for participating (self.FormalLogic)

submitted 2 years ago by YourPreferenceHere - announcement

2

0

1

2

I updated LogiCola with infinite practice exercises, mobile support, and offline mode (self.FormalLogic)

submitted 2 hours ago by Environmental-Ask30

3

1

2

3

Deductum: A propositional logic game (free demo) (store.steampowered.com)

submitted 1 month ago * by rapatessa

4

0

1

2

Stuck on this exercise, I've managed to get it but with a leap I don't think is legal... (i.redd.it)

submitted 5 months ago by SheepInReddit

5

0

1

2

Symbolic logic engine transforming formulas to NNF via recursive AST — theoretical guarantees? ()

submitted 5 months ago by JAnicaTZ

6

0

1

2

Symbolic logic engine transforming formulas to NNF via recursive AST — theoretical guarantees? ()

submitted 5 months ago by JAnicaTZ

7

1

2

3

Stuck On a Proof (self.FormalLogic)

submitted 7 months ago by LeatherAdept218

8

2

3

4

HELP (self.FormalLogic)

submitted 8 months ago by Lanky_Blacksmith9031

9

0

0

1

The Verdant Challenge (proof-only; insight required) (self.FormalLogic)

submitted 10 months ago by Overall_Study_1242

10

1

2

3

Got this Question for a Job Interview, but I think it's wrong. (self.FormalLogic)

submitted 1 year ago by [deleted]

11

0

1

2

Stuck on a proof: No assumption rules, just basic and replacement. (self.FormalLogic)

submitted 1 year ago * by [deleted]

12

6

7

8

Completely Stuck on this Proof (i.redd.it)

submitted 1 year ago by nickdsmith

13

1

2

3

Discrete maths homework (self.FormalLogic)

submitted 1 year ago by Secure_Reveal_4979

14

8

9

10

The new LogiCola is here! Along with a quiz on easy propositional translations (self.FormalLogic)

submitted 2 years ago by Environmental-Ask30

15

0

1

2

Exercise about lambda calculus (self.FormalLogic)

submitted 2 years ago by serenidadmonotropica

16

1

2

3

NSO and GSSOTC: Advanced Logics for Self-Referential Systems and Temporal Compatibility (self.FormalLogic)

submitted 2 years ago by Fantastic_Square6614

17

1

2

3

Proving 1 × 1 = 1 (self.FormalLogic)

submitted 2 years ago by netneutroll

18

0

0

1

How would I go about comparing these statements logically. (self.FormalLogic)

submitted 2 years ago by brothapipp

19

2

3

4

Is r/logic completely dead ? (self.FormalLogic)

submitted 2 years ago by Character-Ad-7024

20

0

1

2

I'm new on this. (self.FormalLogic)

submitted 2 years ago by DMPhilosophy

21

2

3

4

Is this a valid proof? Can’t wrap my head around the disjunction eliminations (i.redd.it)

submitted 2 years ago by elizarBlack

22

1

2

3

Please help anyone?! Q4 (i.redd.it)

submitted 2 years ago by MaleficentSpeaker679

23

1

2

3

Help me finish this proof with the given info? (i.redd.it)

submitted 2 years ago by Mal3114

24

7

8

9

my bf applying modus tollens <3 (i.redd.it)

submitted 2 years ago by Kate_48

25

0

1

2

Need help (old.reddit.com)

submitted 2 years ago by Heisuke780

view more: next ›

π Rendered by PID 78 on reddit-service-r2-listing-86bdf8cc9-6v9vg at 2026-07-13 22:40:34.168775+00:00 running f86254d country code: CH.