Gå til innhold

Hva skjuler det seg bak din Ctrl+v?


Anbefalte innlegg

Videoannonse
Annonse
Skrevet

Indirect proof provides a convenient way for proving the validity of an argument

having a tautology for its conclusion. In fact, the only way in which the conclusion of

many such arguments can be derived is through either conditional or indirect proof

Skrevet

Og så noe anna ræl:

http://imgur.com/aqMzz6i
Adressa har så lite å gjøre at de ringer halvkjente bloggere som tilfelidigvis er på en buss som blir ransaket av snuten.

http://imgur.com/KIwUR74
En håpløs Nettby-profil

http://imgur.com/Ok8ofQa
Datasmurf forlot faktisk forumet for en måneds tid

http://imgur.com/I497Kqu
Eplefe og minstesøss

http://imgur.com/vYKLJUa
Og litt hat
[05.08.14 09:02:52] .sjur Vaage: http://www.bokklubben.no/SamboWeb/produkt.do?produktId=10227808
[05.08.14 09:02:55] .sjur Vaage: Jeg skal ha denne boken. :D

Skrevet

Kontroll ved topdalsveien mellom sørlandsaparken og Kjevik retning Kjevik. Ser ut som det er statens vegvesen som har kontroll

Skrevet

We define a formal proof of validityof a given argument as a sequence of statements,

each of which either is a premise of that argument or follows from preceding statements of

the sequence by an elementary valid argument or by a logical equivalence, such that the last

statement in the sequence is the conclusion of the argument whose validity is being proved.

We define an elementary valid argumentas any argument that is a substitution in-stance of an elementary valid argument form

Skrevet

Distribution is a useful rule for transforming a dis-junction of the pattern into the conjunction , whose

right-hand conjunct can then be eliminated by Simplification.

Opprett en konto eller logg inn for å kommentere

Du må være et medlem for å kunne skrive en kommentar

Opprett konto

Det er enkelt å melde seg inn for å starte en ny konto!

Start en konto

Logg inn

Har du allerede en konto? Logg inn her.

Logg inn nå
  • Hvem er aktive   0 medlemmer

    • Ingen innloggede medlemmer aktive
×
×
  • Opprett ny...