Logo no.boatexistence.com

Hvilken regel utleder p q fra p?

Innholdsfortegnelse:

Hvilken regel utleder p q fra p?
Hvilken regel utleder p q fra p?

Video: Hvilken regel utleder p q fra p?

Video: Hvilken regel utleder p q fra p?
Video: ЛЮБОВЬ С ДОСТАВКОЙ НА ДОМ (2020). Романтическая комедия. Хит 2024, Kan
Anonim

9.3 Metoden for deduksjon For eksempel regelen til Modus Ponens Modus Ponens I proposisjonell logikk, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), også kjent som modus ponendo ponens (latin for " metode for å sette ved å plassere") eller implikasjonseliminering eller bekreftelse av antecedenten, er en deduktiv argumentform og slutningsregel https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - Wikipedia

forteller oss at hvis proposisjonen “P. Q” er sann og proposisjonen “P” er sann, så må “Q” være sann. Denne slutningsregelen kan uttrykkes som følgende tautologiske påstand om materiell implikasjon: «((P. Q)•P). Q.”

Hva er denne slutningsregelen p og q innebærer p?

Latin for "metode for å nekte." En slutningsregel hentet fra kombinasjonen av modus ponens og det kontrapositive. Hvis q er usann, og hvis p betyr q (p q), så er p også usann. En feil i resonnementet. Gitt et utsagn p, hvis ~p fører logisk til en motsigelse, må p være sann.

Hva er de ni slutningsreglene?

Vilkår i dette settet (9)

  • Modus Ponens (M. P.) -Hvis P så Q. -P. …
  • Modus Tollens (M. T.) -If P then Q. …
  • Hypotetisk syllogisme (H. S.) -Hvis P så Q. …
  • Disjunktiv syllogisme (D. S.) -P eller Q. …
  • Konjunksjon (konj.) -P. …
  • Konstruktivt dilemma (C. D.) -(Hvis P så Q) og (Hvis R så S) …
  • Simplification (Simpl.) -P og Q. …
  • Absorpsjon (Abs.) -Hvis P så Q.

Hvordan leser du PQ?

Implikasjonen p → q (les: p innebærer q, eller hvis p så q) er påstanden som hevder at hvis p er sann, så er q også sann. Vi er enige om at p → q er sant når p er usann Utsagnet p kalles hypotesen for implikasjonen, og utsagnet q kalles konklusjonen av implikasjonen.

Hvorfor brukes P og Q i logikk?

Proposisjonene er like eller logisk likeverdige hvis de alltid har samme sannhetsverdi. Det vil si at p og q er logisk ekvivalente hvis p er sann når q er sann, og omvendt, og hvis p er usann når q er usann, og omvendt. Hvis p og q er logisk like, skriver vi p=q.

Anbefalt: