Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B.
Uma forma comum de provar um teorema é assumir que o teorema é falso e então mostrar que esta suposição leva a uma conseqüência falsa, chamada contradição. Exemplo: Seja U um conjunto infinito, e seja S um subconjunto finito de U. Seja T o complemento de S em relação a U. Então T é infinito.
Tabela dos conectivos lógicos
Conectivo/ partícula | Significado | Conectivos lógicos símbolos |
---|---|---|
Conectivo “e” | Conjunção | ∧ |
Conectivo “ou” | Disjunção | ∨ |
Conectivo “Ou… ou…” | Disjunção exclusiva | ∨ |
Conectivo “Se… então…” | Condicional | → |
A palavra "não" (negação) e as frases "é falso que" (negação) e "não é o caso que" (negação) também expressam um conectivo lógico - mesmo que elas sejam aplicadas a uma única sentença, e não conectem duas sentenças.
Para negarmos uma proposição composta ligada pelo conectivo operacional “E” , basta negarmos ambas as proposições individuais(simples) e trocarmos o conectivo “e” pelo conectivo”ou”. Ou seja, transformaremos uma conjunção em uma disjunção. Vejamos; Ex:“Pedro é Mineiro e João é Capixaba”.
Para negar a bicondicional, teremos na verdade que negar a sua conjunção equivalente. E para negar uma conjunção, já sabemos, nega-se as duas partes e troca-se o E por OU.
A questão pede uma equivalência para uma proposição que possui conectivo “se… então…”. O conectivo “se… então…” poderá ser equivalente ao conectivo “ou” ou ao conectivo “se…
Como tirar soro do creme de leite congelado?
Quanto tempo leva a gestação de um canguru?
Quem tirou a maior nota do Enem 2021?
Como funciona o pagamento do DogHero?
O que diz o artigo 203 do CPC?
Qual aeroporto mais perto de Courchevel?
Como numerar as páginas de um livro?
O que são teorias do desenvolvimento e da aprendizagem?
Qual as vantagens do tecido náutico?
O que é ser um empreendedor ou um intraempreendedor?
O que é execução orçamentária da despesa?
É possível existir norma constitucional originária inconstitucional?
Como identificar tumor na tomografia?
O que pode dar errado na abdominoplastia?
O que é um cronograma de Marcos?
Quais são os objetivos e os princípios da estratégia de Saúde da Família?