Staredit Network Profile-Scene Clokr_ basic
Profile for Clokr_
Send me a Message
Find my Posts
Find my Topics

Last visitors

Account Information
Joined: Apr 13 2004, 4:03 pm
Last Active: Feb 6 2012, 1:22 am
Status: Offline
Display Name: Clokr_

Activity: 194
Posts: 864
Posts Per Day: 0.23
Topics: 20
Minerals: 0

Contact Information
E-Mail: Lewl coming soon // No spambots
Starcraft I: Not Given.
Starcraft II: Not Given.

[12:21 am]
jjf28 -- with one giant truth table
[12:20 am]
Dem0n -- How the fuck do you prove (p -> q) -> ((p v r) -> (q v r)) is a tautology?
[11:40 pm]
Dem0n -- oohhh that's true
[11:40 pm]
jjf28 -- does implication have a distributive property? or more importantly, has your instructor provided a rule stating so?
[11:34 pm]
Dem0n -- Am I seeing this wrong, or can (p -> q) ^ (p -> r) and (p -> (q ^ r)) just be proven by distributing p to q and r in the second statement?
[11:21 pm]
jjf28 -- and yes, another notation xD
[11:20 pm]
jjf28 -- had to look up all de-rules
[11:16 pm]
Dem0n -- Oh my god I actually figured it out
[10:59 pm]
Dem0n -- But they specifically ask for me to prove equivalency with logical properties
Please log in to shout.

Members Online: jjf28, Dem0n, Roy, Excalibur, Cinolt