Distintos juegos de conectivas (notaciones)

Hola,

Para quienes lo necesiten acá tienen una tabla con las variantes de notación de las conectivas que pueden encontrar en la bibliografía y en los prácticos. 

https://drive.google.com/file/d/1HPzg3zNFp67mOPYM9qqZe41W866AYtQi/view?usp=sharing

APARTE, están las conectivas inventadas que usaremos en el parcial, que ya puse en un post, y también las de TAUT. Para mayor abundamiento, las repito acá:

---

PARA EL PARCIAL

NEGACIÓN:
Sólo admitiremos el guión común (-). Es la negación de Echave, Urquijo y Guibourg. Es el guión conocido como "guión bajo", que está tanto en el teclado alfabético como (en las computadoras que lo tienen) en el teclado numérico (en este caso, es la tecla del extremo superior derecho). NO ADMITIREMOS EL GUIÓN ANGULAR (el de los prácticos, ¬) PORQUE mOOdle no lo admite.

CONJUNCIÓN:   &

DISYUNCIÓN:   +

CONDICIONAL:  >

BICONDICIONAL:   =

NO SE ADMITEN PARÉNTESIS REDUNDANTES. EL ÚNICO PAR DE PARÉNTESIS REDUNDANTE QUE SE ADMITE ES UN PAR QUE ENVUELVA LA FÓRMULA ENTERA.

LAS FÓRMULAS DEBEN ESCRIBIRSE SIN USAR ESPACIOS. TODOS LOS SÍMBOLOS (LETRAS, PARÉNTESIS, CONECTIVAS) UNO PEGADO AL OTRO, TODOS JUNTOS, COMO PUÑALADA DE LOCO. Esto no es un capricho sino una restricción debida a Moodle.

SÓLO SE PUEDEN USAR LAS SIGUIENTES LETRAS PROPOSICIONALES EN LAS FÓRMULAS:  'p', 'q', 'r', 's', 't', 'u', 'w'.

---

PARA TAUT

NEGACIÓN: ¬ / not

CONJUNCIÓN: & / and

DISYUNCIÓN: or

CONDICIONAL:`then

BICONDICIONAL: iff

SÓLO SE PUEDEN USAR LAS SIGUIENTES LETRAS PROPOSICIONALES EN LAS FÓRMULAS:  'p', 'q', 'r', 's', 't', 'u', 'w' (las mismas que para el parcial)

RECORDAR QUE Taut NO ADMITE PARÉNTESIS REDUNDANTES. EL ÚNICO PAR DE PARÉNTESIS REDUNDANTE QUE ADMITE Taut ES UN PAR QUE ENVUELVA LA FÓRMULA ENTERA. (igual que para el parcial).

Taut admite espacios entre símbolos (a diferencia de nuestra condición para el parcial, que NO los admite).

---