Os conectivos lógicos possuem a finalidade de ligar duas ou mais proposições, que são presentes nas proposições compostas. Duas checagens são importantes para determinar se as proposições compostas são verdadeiras ou falsas. A primeira, verificar o valor das proposições que compõem as sentenças, e a segunda, o tipo de conectivo que liga as proposições de uma mesma sentença. Sobre a negação, analise as seguintes afirmativas:
I- A negativa de "O almoço é barato" é "Não vou almoçar".
II- Um sinal de til pode ser utilizado para representar a negação de uma proposição.
III- Na lógica proposicional, é possível negar uma proposição composta.
IV- A negação da proposição p é representada por p~.
Assinale a alternativa CORRETA:
A) Somente a afirmativa IV está correta.
B) As afirmativas I, II e IV estão corretas.
C) Somente a afirmativa I está correta.
D) As afirmativas II e III estão corretas.