23/05/2023, 22:10
23/05/2023, 22:15
$AA x,{[(AA a,AA b, (phi(a,b)=0 => a=0 or b=0)) and (AA y,( phi(x,y)=0))] => x=0}$
Sostituendo opportunamente ((P => Q or R)and S) => V è una tautologia quindi ci siamo e funziona, dimostra il teorema.
23/05/2023, 22:24
Martino ha scritto:Direi che chiamando $X$ l'insieme in cui vivono gli elementi interessati, se
$S(X)$ = "$forall a,b$ (($a in X$ and $b in X$ and $aRb$) => $bRa$)"
(simmetria)
$A(X)$ = "$forall a,b$ [(($a in X$ and $b in X$ and $aRb$ and $bRa$) => $a=b$]"
(antisimmetria)
allora abbiamo che
($S(X)$ and $A(X)$) => [$forall a,b$ (($a in X$ and $b in X$ and $aRb$) => $a=b$)]
23/05/2023, 23:38
Scusa, sinceramente non ti seguo piùmatos ha scritto:Non capisco il perché onestamente funzioni in quel caso, secondo te c'è un motivo? (domanda retorica ci sarà sicuramente ma non lo vedo)
Questa frase va bene, non capisco da dove vengono tutti questi dubbi. Il linguaggio naturale è "impreciso" (confrontato con le tavole di verità e via discorrendo) ma è del tutto adatto a scrivere dimostrazioni.serafinon ha scritto:"supponiamo che valga ϕ(x,y)=0⇔x=0ory=0 e prendiamo x tale che ϕ(x,y)=0 per ogni y allora ovviamente esiste y!=0 tale che ϕ(x,y)=0, e applicando l'ipotesi otteniamo x=0. Quindi ϕ è non degenere."
24/05/2023, 05:38
$AA x,{[(AA a,AA b, (phi(a,b)=0 => a=0 or b=0)) and (AA y,( phi(x,y)=0))] => x=0}$
Sostituendo opportunamente ((P => Q or R)and S) => V è una tautologia quindi ci siamo e funziona, dimostra il teorema.
24/05/2023, 08:48
24/05/2023, 14:32
matos ha scritto:Il mio dubbio era rendere $AA x,{[(AA a,AA b, (phi(a,b)=0 => a=0 or b=0)) and (AA y,( phi(x,y)=0))] => x=0}$ e ottenere la tautologia (cioè la dimostrazione) usando solo le tavole.
Ebbene, sostituendo opportunamente ((P => Q or R)and S) => V è una tautologia quindi ci siamo e funziona, dimostra il teorema.
24/05/2023, 19:28
30/05/2023, 10:31
30/05/2023, 16:39
sgrisolo ha scritto:Vorrei solo chiedere una mano sul "come rendere" in tavola di verità:
$AA a,b,{[(AA a,AA b, (phi(a,b)=0 => a=0 or b=0)) and (AA y,( phi(x,y)=0))] => x=0}$
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.