Necesito resolver este razonamiento y no lo entiendo


P1: "Si bernardo se casa, entonces Florinda se suicida"
P2: "Florinda se suicida si y solo si Bernardo no se hace monje"
C: "Si Bernardo se casa, entonces no se hace monje".

No hago mi tarea, menos la tuya cx
http://profe-alexz.blogspot.mx/2010/05/l...ional.html

No tengo manera de escanear mi libreta o algo, ahí te explican lo básico c:

Se que la P1 es una implicacion donde si bernardo se casa entonces florinda se suicida,

P2 es una Bicondicional Negada donde: 

 Florinda se suicida si y solo si Bernardo no se hace monje

Pero P3 no la entiendo mucho no se si es una condicional negada o una negacion directa ??

¿Puedes explicar un poco para los incultos?

C: "Si Bernardo se casa, entonces no se hace monje".

Voto por negación directa, aunque hace ya dos años que pase eso en la prepa cx

Addio!!!!!!!!!!

Operador Logico

1. es una impricacion ya que en el enunciado me dice "Entonces"
para que se cumpla la funcion Uno de los propositos debe ser cierto

entonces 

Bernardo = p
Florinda = q
Se Casa = ->

La respuesta es simple al armas el enunciado utilizando los operadores logicos seria

P1= p -> q
Si Bernardo se casa, Entonces Florinda se suicida

En P2 tenemos una bicondicional negada
Una bicondicional porque en el enunciado tiene Doble condicion "Si, Entonces si" y negada porque tiene "No"

Entonces seria asi

Bernardo = p
Florinda = q
No se hace monje = ¬
Si y solo si = <->

Armando el enunciado de manera concorde a los operadores logicos seria asi:

P2 = q <-> q ¬

y bueno la p3 la resolvi asi no se si estara buena "Espero que si" 
El enunciado me dda una condicional "Entonces" y una negacion "No"
Seria asi

Bernardo = p
No se hace monje = ¬
Se Casa = ->

Armandola seria asi (Repito no se si estara buena)
P3= p -> ¬