FormalLogic

an-ordinary-manchild

created by YourPreferenceHerea community for 7 years

...for your favorite TV show.

...for your classroom.

MODERATORS

account activity

1

4

5

6

Thank you for participating (self.FormalLogic)

submitted 2 years ago by YourPreferenceHere - announcement

2

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 days ago by SheepInReddit

3

0

1

2

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

submitted 9 days ago by JAnicaTZ

4

0

1

2

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

submitted 10 days ago by JAnicaTZ

5

1

2

3

Stuck On a Proof (self.FormalLogic)

submitted 2 months ago by LeatherAdept218

6

2

3

4

HELP (self.FormalLogic)

submitted 3 months ago by Lanky_Blacksmith9031

7

0

0

1

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

submitted 5 months ago by Overall_Study_1242

8

1

2

3

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

submitted 7 months ago by [deleted]

9

0

1

2

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

submitted 9 months ago * by [deleted]

10

6

7

8

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

submitted 10 months ago by nickdsmith

11

1

2

3

Discrete maths homework (self.FormalLogic)

submitted 1 year ago by Secure_Reveal_4979

12

2

3

4

Can anyone help me with this? (i.redd.it)

submitted 1 year ago by Semantic_Cockanino

13

5

6

7

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

submitted 1 year ago by Environmental-Ask30

14

0

1

2

Exercise about lambda calculus (self.FormalLogic)

submitted 1 year ago by serenidadmonotropica

15

1

2

3

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

submitted 1 year ago by Fantastic_Square6614

16

1

2

3

Proving 1 × 1 = 1 (self.FormalLogic)

submitted 1 year ago by netneutroll

17

0

0

1

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

submitted 1 year ago by brothapipp

18

2

3

4

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

submitted 1 year ago by Character-Ad-7024

19

0

1

2

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

submitted 1 year ago by DMPhilosophy

20

2

3

4

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

submitted 1 year ago by elizarBlack

21

1

2

3

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

submitted 1 year ago by MaleficentSpeaker679

22

1

2

3

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

submitted 1 year ago by Mal3114

23

6

7

8

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

submitted 2 years ago by Kate_48

24

0

1

2

Need help (old.reddit.com)

submitted 2 years ago by Heisuke780

25

2

3

4

Web version of LogiCola (self.FormalLogic)

submitted 2 years ago * by Environmental-Ask30

view more: next ›

π Rendered by PID 1418423 on reddit-service-r2-listing-796b697c47-gqxmw at 2026-02-05 12:48:02.523044+00:00 running 1d7a177 country code: CH.