Conteúdo
declarações condicionais tomar duas condições, tais como "o céu é azul," e "não vai chover," e colocá-los juntos em sentenças: "Se a condição 1 for verdade, então a condição 2 é verdade," "Se a condição 1 for verdade, então a condição 2 às vezes é verdade," e "Se a condição 1 for verdade, então a condição 2 é falsa." É possível ilustrar estas declarações visualmente com um diagrama de Venn correspondente.
Diagramas de Venn
Um diagrama de Venn consiste de círculos ou outras formas geométricas simples que podem ser completamente separados, ou se sobrepõem completamente englobam entre si. Dois círculos, A e B, que não tocam em tudo corresponde à declaração "se algo está em A, então não é em B." A e B corresponde a passagem "Se algo está em A, pode ser em B." Círculo Um desenhado inteiramente dentro do círculo B corresponde a duas afirmações possíveis: "Se algo está em B, pode estar em A," e "Se algo está em A, então é definitivamente em B."
Exemplos
É possível ilustrar a declaração "Se um animal é um peixe, então não é uma ave" por um círculo, que representa os peixes, e um círculo separado representando pássaros. "Se um animal não pode voar, ele pode ter penas" corresponde a um círculo para os animais que não voam cruzando um círculo para os animais que têm penas. A parte onde elas se cruzam contém animais, como avestruzes e pinguins. "Se um animal é um peixe, ele vive em água" corresponde a um círculo para os peixes dentro de um círculo para os animais que vivem na água.