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?