[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]

2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

File: 10 KB, 327x197, Screen Shot 2013-01-23 at 23.20.52 PM.png [View same] [iqdb] [saucenao] [google]

5466050

Anonymous Wed Jan 23 23:21:25 2013 No.5466050 [Reply] [Original]

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

>>	Anonymous Wed Jan 23 23:32:25 2013 No.5466077 Really basic discretes what is your point?

>>	poorengineer Wed Jan 23 23:34:25 2013 No.5466083 > f(n) = f(n+1) >inb4

>>	Anonymous Wed Jan 23 23:37:25 2013 No.5466090 >truth table epic failure.

>>	Anonymous Wed Jan 23 23:41:25 2013 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)

>>	Anonymous Thu Jan 24 00:09:25 2013 No.5466174 File: 2.67 MB, 400x225, 1342407941503.gif [View same] [iqdb] [saucenao] [google] >>5466050 >>5466107

>>	Anonymous Thu Jan 24 00:27:25 2013 No.5466236 File: 732 KB, 990x659, bp1[1].jpg [View same] [iqdb] [saucenao] [google] >>5466107 >using '+' to indicate logical conjunction Are you an engineer, bro?

>>	Anonymous Thu Jan 24 00:35:25 2013 No.5466258 Hey, neat. I'm taking intro to modern symbolic logic right now as a bird course.

>>	Anonymous Thu Jan 24 17:28:23 2013 No.5468186 >>5466050 bump

>>	Anonymous Thu Jan 24 17:34:09 2013 No.5468209 >>5466050 >(p → q)+(q → r) → (p → r) (p → q)+(q → r) → (p → r)

>>	Anonymous Thu Jan 24 17:37:08 2013 No.5468221 >>5466236 > implying engineers aren't taught to use + for disjunction