22/02/2024, 18:44
mi hai acceso un campanello d'allarme.Dopo aver fissato un x qualsiasi, la puoi rendere sì come implicazione normale. Non capisco quale sia il problema.
da cui avevo capito che quando avessi avuto una scrittura del tipo potevo tradurla come P=>Q. Cioè che fossero proprio equivalenti e avessero una tabella di verità che si costruiva con questa semplice "riscrittura". Per quello non specificavo mai cosa fossero P e Q quando mi trovavo davanti a casi come (1).(1) (∀x,P(x))⇒(∀x,Q(x))
(2) ∀x,(P(x)⇒Q(x)).
E nota che la (1) si può scrivere appunto come P⇒Q,
A me sembra che, nella tua testa, aggiungere un quantificatore (o più di uno) non sia una cosa così grave, che non cambi molto la situazione.
Sì, ti avviso io quando raggiungo il limite
22/02/2024, 20:36
Sì, e quindi? Dopo aver dato dei nomi alle varie componenti, due proposizioni diverse ti portano alla stessa tavola logica. E quindi? Non vedo contraddizioni in questo.pistacios ha scritto:Quindi ho una tavola logica identica per le due situazioni.
23/02/2024, 13:02
23/02/2024, 13:48
24/02/2024, 08:13
avevo solo riportato il ragionamento che mi aveva confuso.pistacios ha scritto:Per spiegare meglio il ragionamento che mi portava fuori strada:
∀a,b, {[ (aRb => bRa) and ( (aRb and bRa) => a=b) ] => (aRb => a=b)}
la dimostro con ("<=>"1)
[ (X => Y) and ( (X and Y) => Z) ] => (X => Z) (**)
che dimostra anche ("<=>")
[ (∀a,b, aRb => ∀a,b, bRa) and ( ∀a,b, (aRb and bRa) => ∀a,b, a=b) ] => (∀a,b, aRb => ∀a,b, a=b)
quindi sembrava che le due proposizioni fossero la stessa, applicavo una sorta di "transitività" passando per la tavola logica (**)
cosa che come ribadito è falso dato che sono proposizioni diverse, quindi la "contraddizione" se vogliamo chiamarla così era questa nella mia mente.
24/02/2024, 11:30
24/02/2024, 17:15
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.