[ 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

View post   
File: 3 KB, 263x51, algebra.png [View same] [iqdb] [saucenao] [google]
4012155 No.4012155 [Reply] [Original]

What kind of Algebra is this? I've forgotten the meanings of the symbols and I can't figure out what to search for. Some help would be nice.

>> No.4012156

Logic

>> No.4012164

predicate calculus

>> No.4012195

"negation of conditional"

>> No.4012210

Looks like Boolean

>> No.4012215

1st order logic

>> No.4012267

>>4012215
Thanks!

>> No.4012281

>>4012267
don't thank me, i was\lying

the lack of quantifiers means it is propositional logic

>> No.4012295 [DELETED] 

>>4012281
It doesn't "make" it anything since there isn't a set of axioms

>> No.4012315

>>4012295
By that rationale 2+3=5 is not arithmetic because there isn't any axioms.

>> No.4012325

>>4012315
sorry I deleted that

It could be any number of logical systems which include implication.

Just seeing 2+5=7 tells you little about what "+" and "=" mean. I don't know why you would suppose to take the weakest possible system in which those terms are used, as in >>4012281 I mean, if someone asks you, are you going to say "Oh that's tropical mathematics"?

>> No.4012362

>>4012325
"Propositional Calculus" may be the weakest system, but it's also the only system that doesn't require you to make any assumptions.

And Jesus Christ, if he knew any more formal logic he likely would know the answer to his own question, and he would at least know where to look, and at least wouldn't call it an algebra. Just answer the fucking question in a straightforward way to give him something to go on. Christ.

>> No.4012369

>>4012362
That is, assumptions about what else the system contains, not axioms.

>> No.4012414
File: 452 KB, 500x600, cutey_Emma_redsihuett.png [View same] [iqdb] [saucenao] [google]
4012414

>>4012369
>what else the system contains
I don't understand.

>> No.4012428

[formula] \int_{1}^{2}[/formula]
[equation]\int_{1}^{2}[/equation]

>> No.4012465

>>4012369
I don't think you understand what you're talking about, but perhaps you're just not good at explaining.
Do you mean to say that propositional calculus consists of axioms, but needs not assume a universe?

>> No.4012498

>>4012414
>>4012465
Whether or not the logic contains quantifiers, modals, etc...

All I'm saying is don't be fucking dicks about it, it's a simple question with a simple answer.

>> No.4012526

>>4012155
interesting thread, sci
i am proud