Esta frase se lee como "No es cierto que (R es verdadero y S es falso)", que es la definición de un condicional.