Quesito logica

Messaggioda HowardRoark » 19/04/2019, 09:00

Salve a tutti! Spero sia la sezione giusta; nel caso non lo fosse mi scuso in anticipo.

Devo analizzare questo ragionamento, e capire se è corretto:

Se Tizio mente allora è l'assassino oppure il delitto è avvenuto dopo la mezzanotte.
Se il delitto è avvenuto prima di mezzanotte allora Tizio mente.
Allora tizio è l'assassino.


Individuo le proposizioni $p$: Tizio mente; $a$: Tizio è l'assassino; $b$: il delitto è avvenuto dopo la mezzanotte.

Ora, potrei rispondere al quesito imbastendo una tavola di verità con le proposizioni $p$, $a$ e $b$, ma il procedimento sarebbe molto laborioso.
Peraltro non saprei quali altre strategie potrei attuare per rispondere alla domanda con le nozioni di logica apprese.

Avreste qualche consiglio da darmi?
$(Z –>)^(90º) – (E–N^2W)^(90º)t = 1$
Avatar utente
HowardRoark
Senior Member
Senior Member
 
Messaggio: 552 di 1669
Iscritto il: 13/07/2016, 09:02

Re: Quesito logica

Messaggioda jinsang » 19/04/2019, 14:28

A me sembra che il ragionamento non sia corretto.
Cioè:
Tizio non mente, il delitto è avvenuto dopo la mezzanotte e Tizio non è l'assassino
Questa "configurazione" è "compatibile" con le implicazioni
Se Tizio mente allora è l'assassino oppure il delitto è avvenuto dopo la mezzanotte.
Se il delitto è avvenuto prima di mezzanotte allora Tizio mente.

Non vorrei sbagliarmi o aver male interpretato, non sono mai stato un granché con questi giochini di logica.
Avatar utente
jinsang
Junior Member
Junior Member
 
Messaggio: 38 di 346
Iscritto il: 03/01/2017, 19:41

Re: Quesito logica

Messaggioda HowardRoark » 19/04/2019, 21:36

Anche a me sembra che il tuo ragionamento sia corretto. Direi che possa andare :-D
Grazie mille!
$(Z –>)^(90º) – (E–N^2W)^(90º)t = 1$
Avatar utente
HowardRoark
Senior Member
Senior Member
 
Messaggio: 555 di 1669
Iscritto il: 13/07/2016, 09:02

Re: Quesito logica

Messaggioda oton » 19/05/2019, 20:31

Oggi mi sono imbattuto nel quesito e in netto ritardo provo a rispondere con una soluzione sistematica, molto utile se il testo è ancora più complicato .
In base alle proposizioni definite l'enunciato iniziale risulta:
((p→a)∨b)∧(~b→p) =
= ((~p∨a)∨b)∧(b∨p) =
= (~p∨a∨b)∧(b∨p)=
= (~p∧b) ∨ (~p∧p) ∨ (a∧b) ∨ (a∧p) ∨ (b∧b) ∨ (b∧p)=
= (~p∧b) ∨ (a∧b) ∨ (a∧p) ∨ b ∨ (b∧p)=
= b ∨ (a∧p)
Significa che
"il delitto è avvenuto dopo la mezzanotte" o ( "Tizio è l'assassino" e "Tizio mente").
Quindi non si può dedurre che "Tizio è l'assassino".
oton
Junior Member
Junior Member
 
Messaggio: 37 di 128
Iscritto il: 30/06/2011, 20:41


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite