Lógica proposicional y conectivas

A cada uno de los enunciados selectividad por letra P en adelante
Las expresiones no no es cierto no es verdad no es el caso de que no es posible es falso: ¬ no
Las expresiones y e más pero ni: ٧ y
Las expresiones o o..o bien..bien ya..ya: ٨ o
Las expresiones sí entonces luego por tanto en consecuencia cuando con tal de: → si entonces
Las expresiones sí y solo si equivale a es igual a vale por es lo mismo que: ↔ si y solo si
El conjuntor aquella conectiva que da lugar a una proposición compleja que es verdadera solamente cuando son verdad de las dos simples
p:1100 q:1010 p٨q: 1001
El disyuntor aquella conectiva que da lugar a una proposición compleja que es verdadera solamente cuando una o ambas proposiciones son verdaderas
p:1100 q:1010 p٧q: 1110
El condicionador verdadera siempre que no ocurra que el antecedente sea verdadero y consecuente falso
p:1100 q:1010 p→q: 1011
El bicondicionador verdadero cuando las proposiciones tienen el mismo valor
p:1100 q:1010 p↔q: 1001

Modus ponens (MP)

sí tenemos como premisa un condicional y el antecedente del condicional podemos inferir como conclusión el consecuente.

Modus tollens (MT)

sí tenemos como premisas incondicional y la negación del consecuente podemos inferir como conclusión la negación del antecedente

Silogismo disyuntivo (SD)

si tenemos como premisas una fórmula disyuntiva inhalación de uno de sus miembros podemos inferir como conclusión el otro miembro de la conjunción

Doble negación (DN)

si tenemos como premisa una proposición doblemente negada podemos inferir como conclusión su afirmación o viceversa

Introducción del conjuntor (IC)

si tenemos como premisas dos fórmulas podemos impedir como conclusión la conjunción de ambas

Eliminacion del conjuntor (EC)

si tenemos como premisa una fórmula podemos inferir como conclusión cualquiera de sus miembros

Introducción del disyuntor (ID)

sí tenemos como premisa una fórmula podemos inferir como conclusión una discusión de esa fórmula con cualquier otra

Eliminación del disyuntor (ED)

si tenemos como premisa la de una disyuncion suponemos como premisas provisionales cada uno de sus miembros se dan los supuestos con la misma fórmula lógica e inferir hemos con la que se han cerrado
Puede ser conmutativa disyuncion conjuncion

Introducción del acondicionador (II)

puesto que lo que se desea es inferir una fórmula condicional la estrategia pasa por suponer como premisa provisional al antecedente del condicional y una vez se haya obtenido por derivación el consecuente sé cancelar a el supuesto y se escribirá en la línea siguiente de la cadena deductiva la fórmula condicional deseada

Todas: 
falsas: contradictorio
Verdaderas: tautología
Alternan: indeterminada