A negação da sentença “Existe pelo menos um aluno de lógica ...
Gab: B
A negação da sentença “Existe pelo menos um aluno de lógica que foi vacinado” é:
NEGAÇÕES:
A ^ B__________________________~A v ~B
A v B__________________________~A ^ ~B
A -> B_________________________A ^ ~B ("regra do MANÉ" = MAntém a 1ª E NEga a 2ª)
A <-> B________________________ A v B
A v B__________________________ A <-> B
Todo__________________________(Pelo menos um / Existe um / Algum) + negar o resto = “PEA + não”
Algum_________________________ Nenhum + repetir o resto
Nenhum_______________________ Algum + repetir o resto
- Ou seja, a negação do "Existe pelo menos um que é/foi" é que "todos não foram".
A negação da sentença “Existe pelo menos um aluno de lógica que foi vacinado” é:
~(∃p) = (∀~p)
troca o termo, e nega o segundo.
( ∃ )- termo existencial
Pelo menos um
Existe um
Algum
( ∀ ) - universal
Todo (a) (s)
Alguns
Nenhum