Fjerde kolonne… … i bevisene holder rede på hvilke premisser de enkelte utsagnene avhenger av. Reglene for slik ”bokføring”er som følger: Et premiss avhenger.

Slides:



Advertisements
Liknende presentasjoner
NÅ SKAL DU LÆRE OM FUNKSJONER
Advertisements

Ebus Management Center En liten bruksanvisning for de enkleste funksjonene.
Praktiske eksempler for å bedre tilgjengeligheten til nettsider.
Infomøte diplomboksing Skagen Hotel Bodø kl. 17:15.
Media håndtering og kommunikasjon
 Valgmagasin minutter  Som regel to deltakere – duell!  Debatt i en ordinær sending 4 minutter  Lengre tid i radio ( op til 10 min) Debatt på.
Unix Amir Maqbool Ahmed
Tetting og varmeisolering av vegger
Generelt I/O if/else Funksjoner Lists Løkker Dictionaries Annet Listebehandling Klasser Python med noen algdat-anvendelser Åsmund Eldhuset asmunde *at*
Repetisjon kap 6,7,8.
Anne-Berit Imerslund rådgiver Regionsenteret for døvblinde
KAP. 3: PREFERANSER A. Preferanser rangerer ”knipper av goder” (godevektorer) Faktiske valg avslører preferanser Rangering av ”hele knipper” B. Notasjon.
Samordnet kommunikasjon (UC) i HiNT Vårt valg basert på: Brukerbehov Totalkost (Langsiktig) Krystallkula – Hvordan utvikler verden seg…. Strategi: Ønsker.
Kurt Orre Rådmann Nøtterøy kommune
Hvordan uttrykke krav Kapittel 4.4. Innledning Målet er å samles rundt ett entydig språk som ikke kan misforståes eller feiltolkes. Gjør sporbarheten.
SINTEF Energi AS 1 Jørn Heggset SINTEF Energi AS Nytt i FASIT kravspesifikasjon v og forslag til endringer i v
VOD. VOD- Vegobjektdialog Åpne eksisterende vegobjekt Nytt vegobjekt.
eDialog24 Operator Nyheter og endringer i versjon
Disjunktiv normalform, oppsummering Et litteral… er en utsagnsvariabel eller negasjonen av en utsagnsvariabel. P  P Q S  R En fundamental konjunksjon.
Disjunktiv normalform, oppsummering Et litteral… er en utsagnsvariabel eller negasjonen av en utsagnsvariabel. P  P Q S  R En fundamental konjunksjon.
UTSPILL MOT TRUMFKONTRAKT I mange tilfeller bruker en samme regler for utspill mot trumf som mot NT-kontrakt. 1. Det høyeste kortet i en sekvens. K D Kn.
Laplace Invers transformasjon Residue
En repetisjon hrj – høst 2010
SMP = +(F1*L1) = +(10N*2m) = +20Nm
Regresjonsanalyse Del 2
En formel er gyldig hviss den sann i alle tolkninger Utsagnslogikk Tolkning = linje i sannhetsverditabell Altså: En formel er gyldig hviss den har T i.
Laplace Invers transformasjon. Laplace Invers Laplace transformasjon Laplace transformasjon Invers Laplace transformasjon Ved invers Laplace transformasjon.
Oppsummering ved Professor Hans Petter Graver
Gen og arv.
Kompletthetsteoremet
Et bevis 1 Q → R P 2 P → Q P 3 P P 4 Q 3,2,MP 5 R 4,1,MP 6 P → R 3,5,CP 7 (P → Q) → (P → R) 2,6,CP 8 (Q → R) → ((P → Q) → (P → R)) 1,7,CP Vi oppsummerer.
En formel er gyldig hviss den sann i alle tolkninger Utsagnslogikk Tolkning = linje i sannhetsverditabell Altså: En formel er gyldig hviss den har T i.
Gottlob Frege ( ) Ga den første aksiomatisering av utsagnslogikk. (Oppfant dessuten predikatlogikk og mye annet, og regnes som den moderne logikks.
JUS102 Advokat Lars Baklund. Ansvarlig selskap (ANS) og selskap med delt ansvar (DA) Minst to deltagere i ANS og DA, sel. § 1-1 Ubegrenset personlig ansvar.
Rehabilitering søknadsplikt – forskriftskrav Byggesaksseminar Tromsø 16. nov 2010 Frank Bjørkum, juridisk rådgiver.
VELKOMMEN TIL FORELDREMØTE FOR VG1 ELEVER. 1. SØKING OG INNTAK TIL VG2 Fristen for å søke skoleplass er 1.mars Inntaksregler:  Alle fag i.
Presentasjon – Econa Riksrevisjonens stilling i statsapparatet Riksrevisjonen er direkte knyttet til Stortinget og er uavhengig av forvaltningen.
Kunnskapsløftet – fra ord til handling Elevinfo - database for planlegging, gjennomføring og vurdering Elevinfo - database for planlegging, gjennomføring.
MandagTirsdagOnsdagTorsdagFredag 1 EngelskKunst & håndverk Uteskole Naturfag Øve 2 GymØveUteskole Naturfag Matte 3 ØveNorsk/ Lese for b.hage ØveNorsk.
Hedmark fylkeskommunes rutiner for inntak av minoritetsspråklige v/Kasper Tøstiengen.
Hvordan skrive delegert vedtak Sentralarkivet og Politisk sekretariat Kurs for saksbehandlere Dette gjelder vedtak på: ansettelser elevpermisjoner.
Velkommen til «TRIO FOR ALLE» Av: Tove Marie Isdahl-Engh.
Merverdiavgift. Hva er merverdiavgift? Merverdiavgift er en avgift (penger) man betaler til staten ved salg av varer og tjenester Beregnes som % av salgspris.
SKRIV TITEL HER Skriv emnet her. TITEL TIL DEN FØRSTE SLIDE  Første linje kan du skrive her  Anden linje kan du skrive her  Tredje linje kan du skrive.
Innsyn og adgangsbegresning
Fra Kluge: Advokat Grethe Gullhaug Dragefjellet 9. mai 2011
Van Hiele-modellen.
Opptakskrav til master i pedagogikk
Samarbeid og konflikt.
2016 VISMA Arbeidsfordeling i praksis
Tilbakeføring av kommunal andel av selskapsskatt fom 2005 – nettoeffekt
Redigering av videofil
Hverdagsrehabilitering i Nome
Praktisk bridge Spill 2.
Verbal og ikke-verbal kommunikasjon
  x A  A(x/t) er gyldig …
Samfunnsfag s
Hva blir egentlig sagt her?
Tide Carrier 22.februar til 23.februar
Kompletthetsteoremet
MAT0100V Sannsynlighetsregning og kombinatorikk
Oppsummering ved Professor Hans Petter Graver
Sjokk og konjunktursvingninger
Studentombudets halvårsrapport 2014
SIV : t-testen for to stikkprøver
Tromsø 21. september 2017 Faggruppen for inntak.
Data- og informasjonssikkerhet
Utskrift av presentasjonen:

Fjerde kolonne… … i bevisene holder rede på hvilke premisser de enkelte utsagnene avhenger av. Reglene for slik ”bokføring”er som følger: Et premiss avhenger (bare) av seg selv. 6 Q  (Q  R) P 6 Et aksiom avhenger ikke av noe. 9 (Q  R)   (Q  R) XM Et utsagn avledet fra tidligere utsagn ved hjelp av en ”vanlig” regel (dvs. alle regler unntatt CP (eller IP)) ”arver” alle avhengighetene fra disse tidligere utsagnene. 5 (Q  R)  (Q  R) Simp,4 1,2 10 (Q  R) Conj, 6,7 1,7 14 (Q  R) MP 5,10 1,2,7 Et utsagn avledet ved hjelp av CP brukt på et premiss og en annen linje, vil arve alle avhengighetene fra denne linjen, unntatt dette premisset. 6 Q  (Q  R) P 6 15 (R  S ) 11,12, MP 1,6,7 18 Q  (Q  R)  (R  S ) 6,15, CP 1,7