A lógica proposicional trata do raciocínio por meio de proposições (frases afirmativas ou negativas) que podem ser julgadas como verdadeiras — V — ou falsas — F. Considere que as letras A e B representam proposições básicas. A proposição ¬A representa a negação da proposição A e, portanto, ¬A é F quando A for V, e ¬A é V quando A for F. A proposição A∨B é a disjunção de A e B, e A∨B é F se A e B são F; caso contrário, V. A proposição A∧B é a conjunção de A e B, e A∧B é V se A e B são V; caso contrário, é F. Uma argumentação é uma seqüência finita de proposições em que algumas são consideradas hipóteses e as outras são obtidas a partir das hipóteses e das proposições que vão sendo inseridas na argumentação, usando-se algumas regras de dedução. Uma regra de dedução, chamada regra do corte, é a seguinte: “Se, em uma argumentação, são assumidas como verdadeiras proposições que tenham a forma P∨¬A∨Q e R∨A∨S, em que P, Q, R e S representam proposições que contêm apenas proposições básicas, negadas ou não, e o conectivo lógico ∨, então a proposição P∨Q∨R∨S pode ser assumida como verdadeira na seqüência de proposições que constituem a argumentação.” A partir dessas instruções, julgue os itens a seguir.