Se 
são proposições simples verdadeiras, então o valor lógico de 
é:
Considere as seguintes proposições:
- Todos os trabalhadores da prefeitura gostam de comer pizza.
- Algumas pessoas que gostam de comer pizza são intolerantes à lactose.
- Pedro trabalha na prefeitura.
Um argumento é composto das seguintes proposições verdadeiras:
- Se João é filho de Matheus, então Pedro é filho de Joana.
- Se Pedro é filho de Joana, então Antônia é filha de Jaime.
- Sabe-se que é verdade que Antônia não é filha de Jaime.
Logo, é possível concluir que seja verdade:
A negação da proposição “Pedro estudaria para o concurso da prefeitura se, e somente se, Maria o ajudasse a estudar” é:
