Lógica - Formalizar - Lógica

Hola, agradecría que me ayudaseis a formalizar la siguiente frase.

Si no te conociera diria que te estas equivocando; te conozco; por lo tanto no digo que te estas equivocando, sino que tienes un plan secreto a no ser que me equivoque yo.

Muchas gracias

Sandra, sea P la proposición "te estoy conociendo" y Q la proposición "te estás equivocando". La frase dada puede formalizarse de la siguiente manera:

1. ¬P → Q - "Si no te conociera, diría que te estás equivocando."

2. P - "Te conozco."

3. Por lo tanto, la negación de Q se sigue: ¬Q - "No digo que te estás equivocando."

4. ¬Q → R - "Tienes un plan secreto a menos que me equivoque yo."

En resumen, la frase formalizada sería:

¬P → Q) Λ P Λ (¬Q → R)

Donde R es la proposición "me equivoque yo".