Analise as seguintes afirmações relativas à lógica formal.
Indique a opção que contenha todas as afirmações verdadeiras.

I. Os argumentos analógicos podem ser apreciados na base da maior ou menor probabilidade com que suas conclusões são estabelecidas.
II. Um critério para apreciação de um argumento analógico é o número de entidades entre as quais se afirmam as analogias.
III. É impossível submeter à prova uma hipótese, se dela forem dedutíveis alguns fatos observáveis.
IV. O operador condicional opera sobre três expressões. A primeira é avaliada e, se falsa, a expressão toda assume o valor da segunda expressão; caso contrário, assume o valor da terceira expressão.