@levigile92 Tu n’es pas toujours obligé d’avoir des tables de vérité complètes, dans ton cas pour vérifier que c’est une tautologie tu as besoin de table complète, mais si ça avait uniquement pour vérifier qu’une formule bien formée n’était pas tautologique, là pas besoin de faire tout ça.
@levigile92 Tu compliques beaucoup trop tes tables de vérité, essaye plutôt d’avoir des colonnes distinctes à gauche pour chacune de tes variables prop, puis fais gaffe à leur combinaison de valeurs. Ensuite tu crées une colonne à côté pour toute la formule (donc pour le biconditionnel):
@mxhaa_dz@JustLydou La plupart ne sont pas des inconnus au bataillon dans cette liste + toi t’exagères de malade aussi de base on parle des perso attirants et sous-côtés sans avoir été montré avec bcp de formes non plus, là c’est juste du gooning vulgaire, brute. Ça manque de finesse & de subtilité.
@mxhaa_dz@JustLydou C’est pas ce que j’appelle avoir la vision, pour le coup t’étais pas seul hein, elle est bien côtée.
Perso j’ai la vision sur des persos sous-côtés depuis longtemps comme sur Mito, Yugito, Tsume, l’infirmière Otoha et la mère de Hinata pour moi à son prime ça devait être R9.
@sa_tire_a_balle@mhhhviande2@suukrr_ Ça fait toujours pas de toi un riche, ça va dépendre de ta situation sociale et économique. Si tu es marié, que tu as des enfants et que c’est ton seul revenu, c’est vraiment pas énorme hein. Si tu vis seul et que tu as juste un appart correct, là ok déjà mieux mais pas riche.
@guenonistee@nrsaad63the2nd J’ai ma théorie sur ces blédards marocains avec des pp esthétique Gacha qui fait que se confirmer. Des gens pathétiques qui veulent se faire passer pour des mecs terminally online et ressembler aux attardés qui passent leur temps sur 4chan en reprenant leur humour et leurs codes.
@mouse_math Not only it doesn’t need AC, but it doesn’t even need the axiom of powerset: for any function `f` whose domain is `A`, you can construct by `Δ₀`-separation the set `D`, whose members are all the members of `A` that aren’t members of their image under `f`, then `D ∉ ran(f)`.