Matematik

Aksiomatisk deduktive beviser (SRP, metode)

14. marts 2021 af Jones2929 - Niveau: A-niveau

Hej.

Jeg har et lille spørgsmål om aksiomatisk-deduktive beviser. Hvordan vil man opskrive et aksiomatisk-deduktivt bevis på symbolform? nu handler disse beviser jo om at slutte fra noget til noget andet, hvis man har en sand grundlæggende antagelse. Er det nok at skrive et aksiomatisk bevis som

$p \Rightarrow q$

p medfører q, går fra p til q

Eller bør man skrive det som $p \Rightarrow q \Leftrightarrow r$

p medfører q, hvis og kun hvis r er sand

Eller noget helt tredje? er hverken den ene eller anden rigtig nok? overser jeg noget?

På forhånd tak

Svar #1
14. marts 2021 af Jones2929

Mathon please hjælp :(

Skriv et svar til: Aksiomatisk deduktive beviser (SRP, metode)

Du skal være logget ind, for at skrive et svar til dette spørgsmål. Klik her for at logge ind.
Har du ikke en bruger på Studieportalen.dk? Klik her for at oprette en bruger.