T_18

11 Dezembro 2020, 09:30 • Mário Jorge Edmundo

Regras de inferência para os quantificadores: eliminação do quantificador universal e introdução do quantificador existencial; exemplos de demonstrações (informal e formal); Regra de inferência eliminação do quantificador existencial; exemplo de demonstração (informal e formal); exemplo de uma demonstração errada.