Quantcast
[ 3 / biz / cgl / ck / diy / fa / g / ic / jp / lit / sci / tg / vr ] [ index / top / reports / report a bug ] [ 4plebs / archived.moe / rbt ]

Maintenance is complete! We got more disk space.
Become a Patron!

/sci/ - Science & Math


View post   

[ Toggle deleted replies ]
File: 10 KB, 327x197, Screen Shot 2013-01-23 at 23.20.52 PM.png [View same] [iqdb] [saucenao] [google] [report]
5466050 No.5466050 [Reply] [Original] [archived.moe]

>(p → q) → (q → r) → (p → r)
>implying

>> No.5466077

Really basic discretes
what is your point?

>> No.5466083

> f(n) = f(n+1)
>inb4

>> No.5466090

>truth table

epic failure.

>> No.5466107

(p → q) → (q → r) → (p → r)
!(p → q)+(q → r) → (p → r)
!(!(p → q)+(q → r))+(p → r)
(p → q)(!(q → r))+(p → r)
(!p + q)(!(!q + r))+(!p + r)
(!p + q)(q + !r))+(!p + r)
( q + !r!p)+(!p + r)
q+!p+r
p→(q+r)

>> No.5466174
File: 2.67 MB, 400x225, 1342407941503.gif [View same] [iqdb] [saucenao] [google] [report]
5466174

>>5466050
>>5466107

>> No.5466236
File: 732 KB, 990x659, bp1[1].jpg [View same] [iqdb] [saucenao] [google] [report]
5466236

>>5466107
>using '+' to indicate logical conjunction
Are you an engineer, bro?

>> No.5466258

Hey, neat.

I'm taking intro to modern symbolic logic right now as a bird course.

>> No.5468186

>>5466050
bump

>> No.5468209

>>5466050
>(p → q)+(q → r) → (p → r)
(p → q)+(q → r) → (p → r)

>> No.5468221

>>5466236
> implying engineers aren't taught to use + for disjunction

>>
Name (leave empty)
Comment (leave empty)
Name
E-mail
Subject
Comment
Password [?]Password used for file deletion.
reCAPTCHA
Action