principios lógicos y reglas de inferencia

Principios:
Principio de mi identidad: cada cosa es igual a su misma en un tiempo especifico X=X
No es posible que yo sea y no sea a la vez X ^¬ X
No es posible un término medio entreproposiciones contradictorias Xv¬X
Proposiciones:
1. Proposición conjuntiva: estas premisas unen variables proporsionales y tienen como forma lógica X ^Z ej: estudio y respiro
2. Proposición disyuntiva:estas premisas desunen variables proporcionales y su forma lógica es : XvZ ej: estudio o juego a la pelota
3. Proposición condicional: tienen la forma del principio de causalidad (dado una causaobtengo un efecto o consecuencia) por lo tanto si tengo un antecedente obtendré un consecuente, su forma lógica P -> Q ej: si estudio me va bien.
Reglas de inferencia:
1. Ponendo pones: si tengo unaproposición condicional y tengo afirmado el antecedente de esa condicional, puedo concluir con la afirmación del consecuente de ese condicional
R->Q Tomo me curo
R .Tomo .
Q me curo
2. Tolendo tolens: si tengo una proposición condicional y luego tengo negado el consecuente de ese condicional ; puedo concluir con la negación delantecedente del condicional .
P->Q si tomo me curo
¬Q . no me curo .
¬P no tome
3. Tolendo ponens: si tengo una proposición disyuntiva yluego negado uno de los miembros de esa disyunción puedo concluir con la afirmación del otro miembro de la disyunción.
Pv Q Soy del colo O de la U
¬Q . No soy dela U .
P Soy del colo
4. Silogismo disyuntivo: Si tengo una proposición disyuntiva y luego 2 proposiciones condicionales en donde los antecedentes de loscondicionales forman parte de la disyunción, puedo concluir con una disyunción de los consecuentes de los condicionales.
1-PvQ Soy del colo o de la U
2-P->R...