Formatting rules for answering Theoretical Tests

To answer the formalization questions, please follow these rules

RULES

Spaces are forbiden.

The characters(CHAR)for logic connectives are :

  -|------------- |------|--------------------|-
   |CONNECTIVE    | CHAR | NAME               | 
  -|------------- |------|--------------------|-
   |Conjunctor    |   y  | Y greek lowercase  | 
   |Disyuntor     |   v  | Lowercase v        | 
   |Implicator    |   >  | Greater than       | 
   |Coimplicator  |   =  | Equal              | 
   |Negate        |   -  | Minus              | 
  -|------------- |------|--------------------|-

The proposicional variables will be uppercase from A to L (but F and I):
   A, B, C, D, E, G, H, J, K, L

Los truth values will be: (1 and 0 only when indicated, ej: refutation) 
T/1: true
F/0: false
Natural Deduction
Always 2 cols:
   Left: Formula
   Derecha: Rule applied following the application format

APLICATION FORMAT of rule: SG[]LS
   SG: Id of the rule 
   []: 1 space
   LS: Lines of application: one, several (separated by , ), range (with -)

The assumption will be indicated in the left column:
   [ Sup  : Opening of an assumption 
   |      : Internal lines of the assumption
   ]      : Closing of the assumption

⊢ : Symbol that precedes the conclusion to prove

Ids of rules and application formats (# = line number)

  -|--------|-------------------------------------------------------|--------------|
   | ID     | BASIC RULES.                                          | APPLICATION  |
  -|--------|-------------------------------------------------------|--------------|
   |   IC   | Introducción del conjuntor                            | IC #,#       |
   |   EC   | Eliminación del conjuntor                             | EC #         |
   |   ID   | Introducción del disyuntor                            | ID #         |
   |   ED   | Eliminación del disyuntor (Casos)                     | ED #,#-#,#-# |
   |   MP   | Eliminación del implicador (Modus Ponens)             | MP #,#       |
   |   TD   | Introducción del implicador (Teorema de la deducción) | TD #-#       |
   |   IN   | Introducción del Negador (Absurdo)                    | IN #-#       |
   |   EN   | Eliminación del negador                               | EN #         |
   |----------------------------------------------------------------|--------------|
   |          DERIVATED RULES                                       |
   |----------------------------------------------------------------|--------------|
   |   MT   | Modus Tollens                                         | MT #,#       |
   |   CP   | Contrapositivo                                        | CP #         |
   |   SD   | Silogismo Disyuntivo                                  | SD #,#       |
   |   SH   | Silogismo Hipotético                                  | SH #,#       |
   |   Dy   | Distributiva del conjuntor                            | Dy #         |  
   |   Dv   | Distributiva del disyuntor                            | Dv #         |  
   |   DMy  | De Morgan para la conjunción                          | DMy #        |
   |   DMv  | De Morgan para la disyunción                          | DMv #        |
   |   DIy  | Definición del Implicador para la conjunción          | DIy #        |
   |   DIv  | Definición del Implicador para la disyunción          | DIv #        |
   |   IDMy | Idempotencia del conjuntor                            | IDMy #       |
   |   IDMv | Idempotencia del disyuntor                            | IDMv #       |
   |   ABSy | Absorción del conjuntor                               | ABSy #       |
   |   ABSv | Absorción del disyuntor                               | ABSv #       |
   |   IDE  | Identidad                                             | IDE #        |
   |   IDN  | Introducción del Doble Negador                        | IDN #        |
  -|----------------------------------------------------------------|--------------|

Examples of natural deduction

    

        
AvB, B>C, C>D. ⊢ A>D

                
  -|-----------|----------|-
   | -1 AvB    | ⊢ ¬A>D   |
   | -2 B>C    |          |
   | -3 C>D    |          |
   |  4 B>D    | SH 2,3   |
   |  5 ¬A     | [ Sup    |
   |  6 B      | | SD 1,5 |
   |  7 D      | ] MP 4,6 |
   |  8 ¬A>D   | TD 5-7   |
  -|-----------|----------|-
            
    

Formalization examples


    
Juan y Miguel son rubios

            
-----------------------------------------------------------------
|Marco Conceptual | MC={ A: Juan es rubio, B: Miguel es rubio } |                                       |
|Formalization | AyB                                         |
-----------------------------------------------------------------
        
    
María es alta pero Pedro no

                
-----------------------------------------------------------------
|Marco Conceptual | MC={ A: María es alta, B: Pedro es alto }   |                                      |
|Formalization    | Ay-B                                        |
-----------------------------------------------------------------
            
    
Si Julia se compró el coche, Miguel no compró la moto

                            
---------------------------------------------------------------------------
|Marco Conceptual | MC={ A: Julia compra coche, B: Miguel compra moto }   |
|Formalization    | A>-B                                                  |
---------------------------------------------------------------------------
                        
    
Si y sólo sí sabes el password puedes jugar y retransmitir a la vez

                        
-----------------------------------------------------------------
|Marco Conceptual | MC={ A: Sabes el password, B: Puedes jugar, |
|                 |      C: Puedes retransmitir  }              |                                     |
|Formalization    | A=ByC                                       |
-----------------------------------------------------------------