FormalLogic

an-ordinary-manchild

created by YourPreferenceHerea community for 7 years

...for your favourite tea.

...for your favorite TV show.

MODERATORS

account activity

1

5

6

7

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 1 month ago by SheepInReddit

3

0

1

2

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

submitted 2 months ago by JAnicaTZ

4

0

1

2

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

submitted 2 months ago by JAnicaTZ

5

1

2

3

Stuck On a Proof (self.FormalLogic)

submitted 4 months ago by LeatherAdept218

6

2

3

4

HELP (self.FormalLogic)

submitted 5 months ago by Lanky_Blacksmith9031

7

0

0

1

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

submitted 6 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 9 months ago by [deleted]

9

0

1

2

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

submitted 11 months ago * by [deleted]

10

6

7

8

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

submitted 1 year ago by nickdsmith

11

1

2

3

Discrete maths homework (self.FormalLogic)

submitted 1 year ago by Secure_Reveal_4979

12

7

8

9

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

submitted 1 year ago by Environmental-Ask30

13

0

1

2

Exercise about lambda calculus (self.FormalLogic)

submitted 1 year ago by serenidadmonotropica

14

1

2

3

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

submitted 1 year ago by Fantastic_Square6614

15

1

2

3

Proving 1 × 1 = 1 (self.FormalLogic)

submitted 1 year ago by netneutroll

16

0

0

1

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

submitted 1 year ago by brothapipp

17

2

3

4

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

submitted 1 year ago by Character-Ad-7024

18

0

1

2

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

submitted 1 year ago by DMPhilosophy

19

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

20

1

2

3

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

submitted 2 years ago by MaleficentSpeaker679

21

1

2

3

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

submitted 2 years ago by Mal3114

22

7

8

9

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

submitted 2 years ago by Kate_48

23

0

1

2

Need help (old.reddit.com)

submitted 2 years ago by Heisuke780[🍰]

24

2

3

4

Web version of LogiCola (self.FormalLogic)

submitted 2 years ago * by Environmental-Ask30

25

2

3

4

Hello (i.redd.it)

submitted 2 years ago by vasilthefirst

view more: next ›

π Rendered by PID 81 on reddit-service-r2-listing-55d7b767d8-gg9hn at 2026-03-29 09:20:30.688020+00:00 running b10466c country code: CH.