Formalisation Logique

[Kimli]

Bonsoir

Cela n'est pas vraiment des math , plutôt de la logique, j'ai un exercice dont la première étape et la formalisation. Et je galère un peu avec le terme "conjoint", comment comprennaiez vous cette phrase logiquement:

Si l’innocence de Paul implique la culpabilité de René et de Sandrine,
alors d’une part Tatiana est coupable,
et d’autre part la culpabilité conjointe de Paul et Quentin
est équivalente à celle de René et Sandrine

Surtout au niveau du terme conjoint,

j'ai fait quelque chose du genre P -> (non)R(non)S -> (non)T(PQ <-> RS)

Mais , je ne suis vraiment pas sur , pour l'expression culpabilité conjointe.

merci, Bonne soirée

[alavacommejetepousse]

bonsoir les parenthèses sont essentielles

(P => non R et non S) = > [ (non R) et { (non P) et non (Q) } <=> {non R et non S }
ce qui peut se simplifier