Derpibooru
Filters (Default) SettingsRegisterLogin
28 37 35 2 2
Subscribe
Galleries
Featured in
Sign in to create a gallery
Related
View VS Download DS
Uploaded by 10minutemale
 759x721 JPG 57 kB
Interested in advertising on Derpibooru? Click here for information!
Furry Body Pillows - Preset and Custom Designs

Help fund the $15 daily operational cost of Derpibooru - support us financially!

Description

Pretty sure Makima woke something in me regarding women in suits, or in this case a labcoat https://t.co/0TSnuY1P4v

Tags
Edit History (7)
safe
2289510 artist:drasill
81 twilight sparkle
372677 pony
1719447 unicorn
591642 g4
2130432 diaper
17722 diaper fetish
11847 doodle
5284 fetish
61315 monochrome
182249 non-baby in diaper
13133 sketch
88973 solo
1509746 unicorn twilight
38317
Report Share List favoriters

Comments

Edit Preview
Syntax quick reference: **bold** *italic* ||hide text|| `code` __underline__ ~~strike~~ ^sup^ ~sub~

Detailed syntax guide

2 comments posted
Twilights-Secret
Thread Starter - DiaperPony General [NSFW]
Wallet After Summer Sale -
Not a Llama - Happy April Fools Day!
Artist -

Comfy Pones
Okay, the implication on lines 4 and 5 follows from the equality statement on line 1, but I’m confused about what’s going on on lines 2 and 3.
Line 2 is true if A OR B OR C are true - if any of them are true.
Line 3:
(x is an element of A OR B) AND (x is an element of A AND C)
Line 3 is only true if A AND C are both true. In fact, the first part of that statement (x is an element of A OR B) is entirely redundant since it’s always true if the other part of the AND is true (x is an element of A AND C), but whether or not B is true never changes the truth value of the entire statement.
In other words,
(x is an element of A OR B) AND (x is an element of A AND C) = (x is an element of A AND C)
Since both statements are true if and only if A AND C are both true, so they both have identical truth tables.
But line 1 shows you a principle which you apply to line 4 and you end up with line 5. So that makes sense.
Though I think it would be more correct to use = or <=> at the end of line 4 since lines 4 and 5 are equivalent. (They’ll both always have the same truth value, though, so technically, line 4 -> line 5 will never be false, since you’ll never have <line 4 be true and line 5 be false>, but you’ll never have <line 5 be true and line 4 be false>, either, so equality or double implication would convey more information so I say that would be more correct.)
But lines 2 and 3 have no continuity with the other lines, so what’s with those?
Posted Report
Edited