lógica

Si ( ( P(x) & Q(x) ) & ( P(x) ==> R(x) ) & ( Q(x) ==> S(x) ) ) ==> ...

... ( ( P(x) & Q(x) ) ==> ( R(x) & S(x) ) )

Si ( ( P(x) || Q(x) ) & ( P(x) ==> R(x) ) & ( Q(x) ==> S(x) ) ) ==> ...

... ( ( P(x) || Q(x) ) ==> ( R(x) || S(x) ) )

Si ( ( P(x) & Q(x) ) & ( P(x) ==> R(x) ) & ( Q(x) ==> R(x) ) ) ==> ...

... ( ( P(x) & Q(x) ) ==> R(x) )

Si ( ( P(x) || Q(x) ) & ( P(x) ==> R(x) ) & ( Q(x) ==> R(x) ) ) ==> ...

... ( ( P(x) || Q(x) ) ==> R(x) )

P(x) = estoy mal porque tengo condenación.

Q(x) = estoy bien porque no tengo condenación.

R(x) = no ataco a nadie porque no hay motivo.

Si ( ( P(x) || Q(x) ) & ( P(x) ==> R(x) ) & ( Q(x) ==> R(x) ) ) ==> ...

... ( ( P(x) || Q(x) ) ==> R(x) )