[ 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

Search:

View post   
>> No.8525188 [View]
File: 76 KB, 268x265, 1431128863311.jpg [View same] [iqdb] [saucenao] [google]
8525188

In Natural Deduction, is there a set of priority-based eliminations you should do?
For example, if you have;
E^FvE^G
Would it not be perfectly possible to eliminate the leftmost E and the rightmost G? The software I'm using doesn't allow this though, and forces me to make assumptions using the v elim.

What's the priority for elimination?

>> No.5497454 [View]
File: 76 KB, 268x265, 1357920953212.jpg [View same] [iqdb] [saucenao] [google]
5497454

>>5497381
EAT LOTSA CARROTS

>> No.4476750 [View]
File: 76 KB, 268x265, 1328808436100.jpg [View same] [iqdb] [saucenao] [google]
4476750

>>4476234

Eu sei que muito provalvemente ele não vai ler mas eu não fui, não sabia que teria qualquer coisa no INE ontem e nem acho que eu tenha deixado de ganhar qualquer coisa em não ter ido.

>> No.4429870 [View]
File: 76 KB, 268x265, 1328808436100.jpg [View same] [iqdb] [saucenao] [google]
4429870

>>4429580

Only the neckbeards "math geniuses" of /sci/ have prejudice against computer science.

>> No.4346708 [View]
File: 76 KB, 268x265, 1289619156516.jpg [View same] [iqdb] [saucenao] [google]
4346708

>>4346702
reported for not being EK

>> No.2318808 [View]
File: 76 KB, 268x265, 1289619156516.jpg [View same] [iqdb] [saucenao] [google]
2318808

>> No.2128582 [View]
File: 76 KB, 268x265, asfghasgasdfasd.jpg [View same] [iqdb] [saucenao] [google]
2128582

>>2128061
>theorist
>!mathematician
MFW

>> No.2053355 [View]
File: 76 KB, 268x265, 1289619156516.jpg [View same] [iqdb] [saucenao] [google]
2053355

>OVER 20 POUNDS OF PUSSY AND ASS

>> No.1944125 [View]
File: 76 KB, 268x265, 1286457721001.jpg [View same] [iqdb] [saucenao] [google]
1944125

>The decision is seen as a response to concerns expressed last year by Iran's supreme leader, Ayatollah Ali Khamenei, who said the subjects could lead to religious doubts.

Admitting weakness. Delicious.

>> No.1894953 [View]
File: 76 KB, 268x265, 1286457721001.jpg [View same] [iqdb] [saucenao] [google]
1894953

Technology will liberate us all from the chains of genetics.

>> No.1863308 [View]
File: 76 KB, 268x265, _.jpg [View same] [iqdb] [saucenao] [google]
1863308

>>1863304

Navigation
View posts[+24][+48][+96]